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

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

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

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

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

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

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

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

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

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

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

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

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

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

Искусственный интеллект
12.02.2005 17:52 | В.В.Девятков

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

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

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

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

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

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

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

Экспертные системы
1.02.2005 14:59 | В.В.Девятков

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

Извлечение знаний
1.02.2005 14:51 | В.В.Девятков

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

Вывод в логике предикатов перового порядка
1.02.2005 14:44 | В.В.Девятков

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

Логика высказываний
1.02.2005 14:36

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

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

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

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

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

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

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

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

Продукции
15.01.2005 17:35 | В.В.Девятков

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

1 | 2 | След.


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