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

Приводятся основные сведения о логике предикатов первого порядка

Подробно рассмотрен язык логического программирования Visual Prolog и его теоретические основы. Наряду с подробным изложением принципов, методов и особенностей программирования подробно рассмотрены модели и структуры представления знаний: простые и составные объекты, списки, деревья, графы, объекты и классы.

Книга содержит щесть глав: логика, аксиоматические системы, представление знаний и рассуждений, логика и модифицируемые рассуждения, формальные грамматики и логическое программирование, ПРОЛОГ и логическое программирование.

Наряду с подробным изоложением языка логического программирования ПРОЛОГ в книге уделяется большое внимание представлению знаний на ПРОЛОГ'е. В частности, рассматривается представление данных списками, деревьями, графами. Обсуждаются вопросы создания экспертных систем на ПРОЛГ'е.

Книга посвящена вопросам проектирования и применения систем искусственного интеллекта. Содержит главу, посвященную предствлению знаний (задач).

Книга посвящена изложению как теоретических, так и практических основ искусственного интеллекта и дает достаточно полное предстваление о современном состоянии развития в этой облаксти науки. Содержит отдельную главу, посвященную представлению знаний.

Статья "Математическая теория связи" на английском языке

Количество информации Комбинаторный подход Хартли Вероятностный подход Шеннона Алгоритмический подход Колмогорова

Параграф в электронном учебнике

Теорема Котельникова в изложении студента Московского авиационного института

Полное содержание главы 2 "Математическая теория информации" дано в прилагаемом файле Math_TI.doc

После прочтения этой главы Вы сможете: 1)рассуждать о дискретных и непрерывных сигналах; 2)рассказать о модели системы передачи информации Шеннона и перечислить основные части системы; 3)рассказать о кодировании сообщений и 4) перечислить ограничения при кодировании; 5) ответить на вопросы принципиального значения при кодировании; 6) объяснить смысл кодирования блоками; 7)рассуждать о свойствах оптимального кода Шеннона - Фано; 8)написать формулу для пропускной способности дискретного канала связи без помех

Глава 3 "Энтропия сложных систем"

Предлагаемая книга названа «Системы искусственного интеллекта». Точней ее было бы назвать «Введение в искусственный интеллект на основе формальных логических систем». Первая глава является введением в искусственный интеллект. В ней приводятся краткие сведения о предмете искусственного интеллекта, рассматриваются агенты различного типа и среды, с которыми им приходится иметь дело. •Во второй главе рассматривается одна из наиболее простых логик – логика высказываний, в рамках этой логики рассматриваются принципы рассуждений, осуществляемых агентами на основе использования логики высказываний, вводится ряд важных понятий, обобщаемых и используемых в дальнейшем, приводятся простейшие примеры построения комбинационного и целенаправленного агентов. •Третья глава посвящена логике предикатов первого порядка. На тех же примерах, использованных в предыдущей главе, показывается, почему логика предикатов первого порядка обладает большими выразительными возможностями и более удобна для рассуждений, осуществляемых агентами, по сравнению с логикой высказываний. •В четвертой главе рассматриваются собственно вопросы вывода или рассуждения в логике предикатов первого порядка и примеры построения целенаправленных агентов. •Пятая глава делает первый шаг в направлении построения исчислений. Поскольку любое исчисление – это прежде всего некоторый формальный язык представления знаний, то в ней вводится понятие формального языка, рассматривается связь языка и среды, приводятся примеры представления сред в формальном языке и построение по этому описанию наилучшего в определенном смысл последовательностного агента. •Процедуры рассуждений связаны с поиском цели. Поэтому в шестой главе рассматриваются различные стратегии поиска и их выбор в зависимости от типа и доступных знаний о среде. •В седьмой главе вводится достаточно универсальная ситуационная модель среды, которая может использоваться в различных прикладных задачах информатики. •Восьмая глава посвящена исчислению, называемому иначе модальной логикой и вопросам использования ее для анализа корректности программ. •В девятой главе рассматривается исчисление более общего типа, называемое ситуационным, которое может быть использовано для создания агентов и их совокупностей для решения различных прикладных задач в области моделирования и управления в дискретных средах. •В десятой главе показано, каким образом строятся дедуктивные базы данных на основе ситуационной модели среды и как в них осуществляется поиск с использованием ситуационного исчисления. •Одиннадцатая глава посвящена вопросам извлечения планов в процессе рассуждений на основе ситуационного исчисления. •Двенадцатая глава посвящена нечеткой логике как средству построения агентов, имеющих дело с неполной информацией о средах. •Наконец, в тринадцатой главе рассмотрено решение практических задач на основе методов искусственного интеллекта.

Пред. | 1 | 2