Категория
Информатика
Тип
курсовая работа
Страницы
5 стр.
Дата
27.01.2008
Формат файла
.rtf — Rich Text Format (Wordpad)
Архив
137523.zip — 153.46 kb
  • princip-rezoljucii-v-ischislenii-vyskazyvanij-i-logike-predikatov-i-ego-modifikacii_137523_1.rtf — 1127.9 Kb
  • Readme_docus.me.txt — 125 Bytes
Рейтинг
10  из 10
Оценок
1
Оцените работу
Хорошо  или  Плохо


Текст работы

С отступом;
ab;
;
Основной текст таб;
Оглавление;
Михаил

7
Содержание .
Введение
…………………………… ……. …………
…………………….3
1. Основные производители
……………………………… … …………..5
2.
История возникновения и р азвития языка ПРОЛОГ……… . ……….6
3. Исчисление высказываний
………………………………… ………9
3.1. Исчисление предикатов
………………………………… … ……….11
3.2. П рограммирование на ПРОЛОГЕ…………………………………14
3.3. Принцип резолюций
…………………………………… .. …………16
3.4. Поиск доказательства в системе
резолюций ……………… ….
…..18 Заключение ……………………
…………………… … ………………….22
Список литературы ……
….. …………………………… ……………..
…24
Введение .
Программные средства, базирующиеся на технологии и методах искусственного интеллекта, получили значительное распространение в мире. Их важность, и, в первую очередь, экспертных систем и нейронных сетей, состоит в том, что данные технологии существенно расширяют круг практически значимых задач, которые можно решать на компьютерах, и их решение приносит значительный экономический эффект. В то же время, технология экспертных систем является важнейшим средством в решении глобальных проблем традиционного программирования: длительность и, следовательно, высокая стоимость разработки приложений; высокая стоимость сопровождения сложных систем; повторная используемость программ и т.п. Кроме того, объединение технологий экспертных систем и нейронных сетей с технологией традиционного программирования добавляет новые качества к коммерческим продуктам
за счет обеспечения динамической модификации приложений пользователем, а не программистом, большей "прозрачности" приложения (например,



Ваше мнение



CAPTCHA