Логическое программирование

Логические языки, соотношение их свойств с методами рассуждений, поддерживающих типовые экспертные системы: формальные, PROLOG, MBASE. Исчисление высказываний и предикатов, поиск доказательства в системе резолюций, процедурная дедукция в системе PLANNER.

Подобные документы

  • Рассмотрение современных компьютерных систем и областей их практического применения. Искусственный интеллект как наука. Логическое программирование деятельности человека. Потенциальные последствия и преимущества использования искусственного интеллекта.

    статья, добавлен 10.03.2019

  • Создание одномерных, двухмерных и многомерных числовых массивов, операции с матрицами в системе MATLAB. Обозначения для операций с массивами и их отличия. Создание векторов и матриц, функции линейной алгебры и операции создания квадратных матриц.

    реферат, добавлен 31.05.2010

  • Технологическая платформа в продуктах "1С: Предприятие". Типовые конфигурации системы для автоматизации отдельных сфер деятельности предприятий. Автоматизированная подготовка любых первичных документов. Версии программных продуктов и их возможности.

    реферат, добавлен 25.10.2013

  • Анализ системы искусственного интеллекта. Описание моделей представления знаний как одного из важнейших направлений исследований в области искусственного интеллекта. Продукционная, фреймовая и логическая модели, семантические сети; экспертные системы.

    реферат, добавлен 04.05.2014

  • Вторая мировая война и большой толчок в развитии вычислительной техники. Идея создания искусственного интеллекта. Языки программирования и их подразделение на три общих типа: машинные, ассемблерные и языки высокого уровня. История создания языка С.

    реферат, добавлен 31.05.2015

  • Описание системы Cropos. Требования к разрабатываемому модулю. Выбор средств реализации. Языки программирования, проектирование модели жизненного цикла системы. Отладка и тестирование системы. Тестирование модуля после внедрения в систему "Cropos".

    курсовая работа, добавлен 07.08.2018

  • Понятие и характеристика языков программирования. Две группы языков программирования: языки низкого и высокого уровня. Способы реализации языков программирования. Стандартизация и классификация языков программирования. Типы, виды и структура данных.

    реферат, добавлен 25.03.2010

  • Эволюция языков программирования. Модульное программирование. Понятие "модуль". Языки объектно-ориентированными программирования Visual Basic, Visual Basic for Application (VBA), Delphi. Инкапсуляция. Иерархия объектов приложения Word. Полиморфизм.

    курсовая работа, добавлен 20.11.2008

  • Сущность понятия "языки программирования" и их классификация. Особенности и требования к функциональному программированию. Примеры и свойства функциональных языков. Описание преимуществ функциональных языков на примере сортировки списка методом Хоара.

    реферат, добавлен 26.05.2015

  • Процедурное или функциональное программирование - метод создания монолитных приложений, все функции которых сконцентрированы в модулях кода. Интерфейс – совокупность общедоступных свойств, сгруппированых для инкапсуляции конкретной функциональности.

    статья, добавлен 02.04.2021

  • Использование математических методов и среды программирования для решения задач и различных вычислений. Рассмотрение способов добавления свойств и методов. Определение свойств и методов в конструкторе. Возможности создания нескольких методов в классе.

    контрольная работа, добавлен 19.05.2022

  • Популярные языки программирования. Применение языка Ада в системах реального времени. Описание алгоритмов решения вычислительных задач с помощью Алгол. Предназначение Бейсика. Процедурно-ориентированный язык Паскаль. Возникновение и эволюция языка C++.

    реферат, добавлен 24.03.2010

  • Экспертные системы (ЭС) как одно из направлений развития искусственного интеллекта. Состояние и современные тенденции развития искусственного интеллекта. Главные причины успеха коммерческих ЭС. Классификация ЭС, их основные преимущества и недостатки.

    реферат, добавлен 18.05.2016

  • Наиболее влиятельные и популярные объектные или объектно-ориентированные языки программирования: Smalltalk, Object Pascal, Common Lisp Object System, Eiffel и Ada. История развития унифицированного языка моделирования. Использование базовых функций.

    курсовая работа, добавлен 07.05.2012

  • Основные виды трансляторов: интерпретаторы и компиляторы. Описание машинно-ориентированных языков. Машинно-независимые языки как средство описания алгоритмов решения задач и информации, подлежащей обработке. Развитие языков программирования, Ассемблер.

    реферат, добавлен 09.06.2013

  • Программирование циклов с предусловием и постусловием. Преобразование типов данных. Циклы типа for. Структура оператора switch. Операции сравнения числовых величин. Разработка программы с разветвлениями и циклами. Логические переменных true и false.

    лекция, добавлен 09.12.2013

  • Основные требования к информационному обеспечению, характеристика и архитектура программы. Технологическая блок-схема решения задачи и описание пользовательского интерфейса, визуальное программирование Windows-приложений в системе инструментария Delphi.

    курсовая работа, добавлен 27.07.2014

  • Описание подхода к разработке ПО, основанного на использовании визуального программирования и позволяющего быстро и легко модифицировать визуальный язык программирования. Реализация такого подхода в системе QReal - проекте научно-исследовательской группы.

    статья, добавлен 15.01.2019

  • Общие понятия объектно-ориентированного подхода и их преломление в объектно-ориентированных базах данных (ООБД): достоинства, недостатки и примеры реализации. Логическая и физическая структура модели. Языки программирования систем ООБД и языки запросов.

    реферат, добавлен 31.07.2014

  • Основные понятия баз данных, структура простейшей базы данных. Режимы работы с базами данных, их объекты, запросы и формы. Понятие системы программирования, экспертные системы. История развития и классификация СУБД. СУБД крупных ЭВМ, настольные СУБД.

    курсовая работа, добавлен 20.05.2015

  • Первые шаги автоматизации программирования и классификация его языков. Языки программирования высокого уровня: Кобол и Фортран. Создание Basic и Pascal. Языки искусственного интеллекта, объектно-ориентированного и визуального программирования: C++ и Java.

    презентация, добавлен 18.05.2014

  • Основные понятия и свойства информационных поисковых языков. Основные информационно-поисковые языки, их классификация. Дескрипторные информационно–поисковые языки и системы на их основе. Технология полнотекстового поиска в Internet и её протоколы.

    реферат, добавлен 17.06.2012

  • Применение динамического программирования для решения задач оптимизации. Programme mathematique - обозначение системы неравенств, которые надо решить. Задача о Черепашке, решение задач методами динамического программирования. Алгоритм Нудельмана-Вунша.

    курсовая работа, добавлен 11.03.2010

  • Изучение видов современных языков программирования. Императивная и декларативная модель. Функциональное и логическое программирование. Метапрограммирование: трансляторы, компилятор, интерпретатор. Типизация данных. Динамическая и статическая типизация.

    отчет по практике, добавлен 31.05.2013

  • Эволюция классификация языков программирования. Уровни, поколения, классификация и обзор языков программирования. Объектно-ориентированное программирование. Компьютерные вирусы и способы их распространения. Основные признаки появления в системе вируса.

    контрольная работа, добавлен 08.10.2011

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.