KZ

Программирование баз знаний на языке Пролог

  • Понятие о базах знаний. Языки представления баз знаний. Модели баз знаний. Семантические сети. Фреймы. Программирование баз знаний на основе семантических сетей на языке Пролог. Логические модели. Логика высказываний. Логика предикатов. Исчисление предикатов. Принцип резолюции. Элементы языка Пролог. Демонстрация метода резолюций на примере дерева вывода. Построение деревьев унификации процедур логических программ.
  • Образовательная программа 6B06103 Информатика (сетевые и WEB-технологии)
  • ВУЗ Кокшетауский университет имени Шокана Уалиханова
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 2
  • Семестр 1
Top