|
|||||||||
|
|||||||||
|
|
Специальные ресурсы/Информатика и информационные технологии/Информационные системы и технологии
[ Учебные материалы ]
Рекурсивный вывод в ПРОЛОГ'е
Рассмтриваются принципы стратегии рекурсивного вывода на языке логического программирования ПРОЛОГ.
Программы на ПРОЛОГ'е
Рассматриваются принципы создания простейших программ на ПРОЛОГ'е
Введение в язык логического программирования ПРОЛОГ
Рассматриваются основные идеи и конструкции, положенные в основу создания языка логического
программирования ПРОЛОГ
Прямой и обратный вывод в логике предикатов первого порядка
Рассматриваются принципы прямого и обратного выводов в исчислениях предикатов первого порядка
Хорновские формулы и их использование
Рассматриваются Хорновские формулы и их использование как теоретической основы логическог программирования
Рассуждения в терминах интервалов
Рассмтатриваюця принципы логических рассуждений на основе использования формул исчисления высказываний в интервальном виде
Искусственный интеллект
Приводятся основные определения и понятия искусственного интеллекта, уотребляемые в дальнейшем
Рекурсивный вывод в ПРОЛОГ'е
Рассматриваются принципы вывода решения (достижения цели) в языке логического программирования
на основе рекурсивного поиска. Рассмотрение ведется на примере с подробным
пояснением используемых шагов.
Нерекурсивный вывод в ПРОЛОГ'е
Рассматриваются принципы вывода решения (достижения цели) в языке логического программирования
на основе нерекурсивного поиска с возвратом. Рассмотрение ведется на примере с подробным
пояснением используемых шагов.
Извлечение знаний
Рассматриваются общие принципы извлечения знаний
Р.Фано. Передача информации. Статистическая теория связи. – Мир, 1965г.
Станфорд Голдман Теория информации. – Изд. Иностранной литературы, М., 1957
Семантические сети и фреймы
Рассматриваются модели представления знаний, называемые семантическими сетями и фреймами.
Продукции
Рассматривается модель представления знаний, называемая продукциями или продукционными
системами.
Логика предикатов первого порядка
Приводятся основные сведения о логике предикатов первого порядка
Люгер Д.Ф. Искусственный интеллект: Пер. с англ. М.: Издательский дом "Вильямс",
2003, 863 стр.
Книга посвящена изложению как теоретических, так и практических основ искусственного
интеллекта и дает достаточно полное предстваление о современном состоянии развития
в этой облаксти науки. Содержит отдельную главу, посвященную представлению знаний.
Единицы измерения информации
Параграф в электронном учебнике
Основы математической теории информации
Полное содержание главы 2 "Математическая теория информации" дано в прилагаемом файле
Math_TI.doc
Передача информации по каналу связи без помех (Клод Шеннон). Кодирование сообщений
После прочтения этой главы Вы сможете: 1)рассуждать о дискретных и непрерывных сигналах;
2)рассказать о модели системы передачи информации Шеннона и перечислить основные
части системы; 3)рассказать о кодировании сообщений и 4) перечислить ограничения
при кодировании; 5) ответить на вопросы принципиального значения при кодировании;
6) объяснить смысл кодирования блоками; 7)рассуждать о свойствах оптимального кода
Шеннона - Фано; 8)написать формулу для пропускной способности дискретного канала
связи без помех
Энтропия сложных систем
Глава 3 "Энтропия сложных систем"
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Copyright © 2003 «Инженерное образование» E-mail: techno@bmstu.ru | тел.: +7 (095) 263-68-63 |
|