Принцип резолюции в исчислении высказываний и логике предикатов и его модификации

Описание:
Экспертные системы реального времени. Основные производители. История возникновения и развития языка ПРОЛОГ. Исчисление высказываний. Исчисление предикатов. Программирование на ПРОЛОГЕ. Принцип резолюций. Поиск доказательства в системе резолюций.

Ключевые слова: программа ghtlbrfn
Вид: курсовая работа
Рубрика: Программирование, компьютеры и кибернетика
Предмет: Экспертные системы и системы искусственного интеллекта
Язык: русский
Автор: Евгений
Добавлено: 15.04.2008

Скачать (146.2 K)
Просмотреть в html: Принцип резолюции в исчислении высказываний и логике предикатов и его модификации

Найти "Принцип резолюции в исчислении высказываний и логике предикатов и его модификации" в Каталоге рефератов

Подобные работы:
1. Разработка системы реального времени в виде планировщика исполнения заданий курсовая работа [263.1 K], 15.02.2005
2. Моделирование информацийных потоков контрольная работа [280.4 K], 30.08.2007
3. Автоматические системы управления курсовая работа [29.7 K], 12.12.2002
4. Основные понятия и программное обеспечение систем реального времени реферат [391.5 K], 28.12.2007
5. Динамическое программирование и вариационное исчисление реферат [59.9 K], 29.09.2008
6. Язык программирования C++ реферат [26.4 K], 03.06.2004
7. История языка программирования Lisp доклад [16.9 K], 22.09.2008
8. Программирование и достижения компьютерной техники реферат [54.6 K], 02.06.2008
9. Объектно-ориентированное программирование на Borland C++ курс лекций [51.9 K], 03.10.2008
10. Современные технологии программирования реферат [66.0 K], 17.07.2008