Логическое программирование
Логические языки, соотношение их свойств с методами рассуждений, поддерживающих типовые экспертные системы: формальные, PROLOG, MBASE. Исчисление высказываний и предикатов, поиск доказательства в системе резолюций, процедурная дедукция в системе PLANNER.
Подобные документы
Научный подход к описанию структурной связи информационных систем и искусственного интеллекта. Эвристическое программирование в экспертных системах. Формальное представление системы программирования Prolog, как языка предикатов математической логики.
курсовая работа, добавлен 15.05.2014Применение и описание системы логического программирования Turbo Prolog. Особенности, предназначение предикатов xpositive и xnegative. Специфика программы классификации животных по признакам, выбранным пользователем. Роль главного модуля do expert job.
реферат, добавлен 11.12.2015Процесс разработки одной из разновидностей словесных игр и изучение программирования на языке Prolog. Характеристика требований к информационной системе. Лингвистическое обеспечение и требования к документированию. Используемые программные средства.
курсовая работа, добавлен 06.01.2014Структура программного и технического обеспечения любого компьютера. Понятие операционной системы как наиболее сложного и важного элемента программного обеспечения. Формальные языки и грамматики. Основные атрибуты языка алгоритмического программирования.
лекция, добавлен 15.12.2010Введение в логическое программирование на языке Prolog. Арифметические операции, ввод данных пользователем, разветвление. Работа со списками и файловой системой. Создание динамических баз данных. Создание экспертных систем. Решение логических задач.
методичка, добавлен 07.04.2016- 6. Разработка элементов интеллектуальных систем с использованием логической модели представления знаний
Основы логического программирования на примере Visual Prolog 5.2. Описание родственных связей с помощью правил и предикатов. Поиск с возвратом и рекурсия. Программа, реализующая авиасправочник. Решение логических задач на соответствие и поиска решения.
контрольная работа, добавлен 06.08.2013 Языки операционных систем и формальные языки программирования. Машинно-ориентированные и проблемно-ориентированные алгоритмические языки. Сравнительные данные формальных алгоритмических языков программирования. Разработка базы данных в MS Access.
контрольная работа, добавлен 15.04.2016Характеристика особенностей prolog, которая является языком, основанным на программировании логики. Ознакомление с интерфейсом Visual Prolog. Рассмотрение рабочего окна редактора. Исследование процесса разработки графического интерфейса пользователя.
методичка, добавлен 11.12.2015Возможности языка и системы логического программирования Turbo Prolog в создании экспертных систем. Список атрибутов для распознавания животного внутри каждого подмножества в экспертной системе. Алгоритм выбора на базе ответов, данных пользователем.
курсовая работа, добавлен 10.12.2015Язык программирования как способ записи программ решения различных задач на ЭВМ в понятной для компьютера форме. Высокоуровневые языки программирования: понятие и основные характеристики. Логические выражения и особенности системы Турбо Паскаль.
курсовая работа, добавлен 22.03.2014Инструментальные средства разработки экспертных систем. Характеристика систем EXSYS и GURU. Важнейшие критерии создания экспертной системы. Зарождение системы MatLab. Prolog как язык логического программирования, основанный на логике дизъюнктов Хорна.
реферат, добавлен 13.11.2011- 12. Базы данных
Логическое проектирование базы данных. Работа с таблицами в системе управления баз данных Visual FoxPro. Программирование на языке FoxPro. Создание экранных форм, отчетов, этикеток, меню. Визуальное программирование. Структурированный язык запросов SQL.
методичка, добавлен 23.09.2014 История создания и развития языка Prolog, первая его реализация с использованием компилятора Никлауса Вирта "Algol-W". Сферы использования языка, его применение при решении задач составления сложных расписаний. Синтаксис и константы Пролог-системы.
реферат, добавлен 16.12.2015Характеристика дерева синтаксического анализа: определение, представление в DCG и Prolog, применение для извлечения смысла. Особенности использования синтаксических и семантических конструкций в системе обозначений DCG. Преобразование интерпретатором.
презентация, добавлен 17.10.2013Способы доказательства истинности рассуждений: прямое, формальное, аналитическое и доказательство от противного. Анализ алгоритма Вонга и алгоритма метода пропозициональной резолюций с помощью алгоритмической меры количества информации по Колмогорову.
курсовая работа, добавлен 13.06.2014Ведение в веб программирование. Что такое веб-программирование. Права доступа и изменение атрибутов файла. Формирование структуры сайта при помощи PHP/ On-Line голосование. Клиентские языки. Сервисные языки. Команды языка. Переменные. Массивы.
учебное пособие, добавлен 26.09.2008Классификация и понятие языков программирования. Алгоритмы, трансляторы, язык Ассемблера. Проблемно-ориентированные языки программирования: fortran, algol, cobol. Специализированные языки: lisp, prolog. Современные языки высокого уровня: basic, pascal.
методичка, добавлен 28.05.2010История создания и основные этапы развития языка программирования Пролог. Источники создания программы: логика предикатов 1-го порядка, теория рекурсивных функций, методы логического вывода. Сущность констант и переменных. Отличия от Visual Prolog.
реферат, добавлен 29.10.2013Два основных вида языков программирования: машинно-ориентированные и машинно-независимые языки, их характеристика. История развития промышленного программирования. Индустрия искусственного интеллекта. Экспертные системы, их назначение и функционирование.
курсовая работа, добавлен 08.04.2014Полная и неполная индукция. Наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Дедукция, аналогия, эвристика, эвристический метод. Основные приемы решения тех или иных задач.
презентация, добавлен 16.10.2013Знаки и знаковые системы. Естественные и формальные языки программирования. Рассмотрение форм представления информации. Двоичное кодирование информационных данных. Процесс преобразования непрерывной информации. Алфавитный подход к измерению информации.
шпаргалка, добавлен 20.01.2016Высказывания, устанавливающие отношения между двумя ресурсами в сети. Разработка новых типов высказываний и связей. Основные языки Семантической Сети. Система классов и свойств языка описания RDF словарей. Реификация или материализация утверждений.
лекция, добавлен 19.10.2013- 23. Представление бинарных предикатов информационной системы с помощью свободного предикатного параметра
Решение задачи представления предикатов в параметрической форме с использованием свободного предикатного параметра. Использование общих видов описываемых классов для более детального исследования специфики определенных отношений в информационной системе.
статья, добавлен 14.07.2016 - 24. Применение предикции при параллельной обработке цепочек предикатов в регулярно-логических выражениях
Проблема выбора режима исполнения (последовательный или параллельный) при обработке цепочек предикатов в регулярно-логических выражениях. Описание сути регулярно-логических выражений, их известных применений; видов и состава цепочек предикатов.
статья, добавлен 08.03.2019 Язык логического программирования KL0. Взаимосвязь логического программирования и языка Пролог. Логическое программирование на Лиспе. Базовые типы языка KL0. Размер элементов массива и диапазон значений элементов строки. Алгоритм лисповских функций.
реферат, добавлен 07.08.2013