Экспертные системы и системы искусственного интеллекта

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

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

15.04.2008 | Экспертные системы и системы искусственного интеллекта | Программирование, компьютеры и кибернетика | Язык: русский | Просмотры: 81