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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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