Инженерное образование: Каталог ресурсов: Информационные системы и технологии

Специальные ресурсы/Информатика и информационные технологии/Информационные системы и технологии

Рекурсивный вывод в ПРОЛОГ'е
В.В.Девятков

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

Программы на ПРОЛОГ'е
В.В.Девятков

Рассматриваются принципы создания простейших программ на ПРОЛОГ'е

Введение в язык логического программирования ПРОЛОГ
В.В.Девятков

Рассматриваются основные идеи и конструкции, положенные в основу создания языка логического программирования ПРОЛОГ

Прямой и обратный вывод в логике предикатов первого порядка
В.В.Девятков

Рассматриваются принципы прямого и обратного выводов в исчислениях предикатов первого порядка

Хорновские формулы и их использование
В.В.Девятков

Рассматриваются Хорновские формулы и их использование как теоретической основы логическог программирования

Рассуждения в терминах интервалов
В.В.Девятков

Рассмтатриваюця принципы логических рассуждений на основе использования формул исчисления высказываний в интервальном виде

Искусственный интеллект
В.В.Девятков

Приводятся основные определения и понятия искусственного интеллекта, уотребляемые в дальнейшем

Рекурсивный вывод в ПРОЛОГ'е
В.В.Девятков

Рассматриваются принципы вывода решения (достижения цели) в языке логического программирования на основе рекурсивного поиска. Рассмотрение ведется на примере с подробным пояснением используемых шагов.

Нерекурсивный вывод в ПРОЛОГ'е
В.В.Девятков

Рассматриваются принципы вывода решения (достижения цели) в языке логического программирования на основе нерекурсивного поиска с возвратом. Рассмотрение ведется на примере с подробным пояснением используемых шагов.

Программы на ПРОЛОГ'е
В.В.Девятков

Приводятся принципы составления неркурсивных и рекурсивных программ на языке логического программирования ПРОЛОГ.

Экспертные системы
В.В.Девятков

Дается толкование понятия "экспертные системы". Очерчивается роль экспертных систем. Приводятся литературные источники на русском языке, содержащие описания общих и частных вопросов, касающихся экспертных систем.

Извлечение знаний
В.В.Девятков

Рассматриваются общие принципы извлечения знаний

Вывод в логике предикатов перового порядка
В.В.Девятков

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

Логика высказываний

Рассматривается одна из простейших логик, используемых для представления знаний - логика высказывания. Знание основ логики высказываний необходимо для понимания других средств представления знаний, поскольку она, в определнной степени, является прародителем и источником терминологии для других логик.

Р.Фано. Передача информации. Статистическая теория связи. – Мир, 1965г.
Р.Фано

Л.И. Хромов, А.К.Цыцулин, А.Н.Куликов Видеоинформатика Передача и компьютерная обработка видеоинформации М 1991
Л.И.Хромов, А.Н.Куликов, А.К.Цыцулин

Станфорд Голдман Теория информации. – Изд. Иностранной литературы, М., 1957
Станфорд Голдман

Описательные (терминологические)логики

Рассматриваются основы современной логики представления знаний - описательной (терминологической) логики, являющейся развитием более ранних представлений знаний типа семанических сетей, фреймов и других графовых моделей.

Семантические сети и фреймы
В.В.Девятков

Рассматриваются модели представления знаний, называемые семантическими сетями и фреймами.

Продукции
В.В.Девятков

Рассматривается модель представления знаний, называемая продукциями или продукционными системами.

1 | 2 | След.


Copyright © 2003 «Инженерное образование» E-mail: techno@bmstu.ru \| тел.: +7 (095) 263-68-63	Вход для редакторов