Дизъюнкция Хорна в анализе структуры информационных систем
Курсовая работа, 07 Мая 2014, автор: пользователь скрыл имя
Краткое описание
Объектом исследования в данной курсовой работе являются логическая основа синтаксиса программных инструментов и его значение в принятии решений в управленческой деятельности посредством использования информационных интеллектуальных систем. Задача - рассмотреть в процессе представления работы критерии анализа структурного ядра ИС, и конструирующих его функционал математических формализмов. В частности, предметом исследования является программная реализация ИС «FoundTree», написанная на языке Prolog, в основу которого входит максима формализма предикатов первого порядка.
Содержание
Введение……………………………………………………..…………...... 2
Глава 1. Научный подход к описанию структурной связи информационных систем и искусственного интеллекта………………... 4
1.1 Эвристическое программирование в экспертных системах..............7
Глава 2. Формальное представление системы программирования Prolog, как языка предикатов математической логики. ………….............................10
Глава 3. Оценка процедурной части программы «TreeFound»……...…..14
Заключение………………………………………….…………………......22
Список использованных источников...…………….………………...…..25