Реферат: Базы знаний

При доступе к информации возникают проблемы распознавания форм, которые использовались на предыдущем этапе для образования древовид­ных структур, прямых и инверсных элементарных правил. Управление по­иском идет с помощью метаправил и в более общем виде с помощью моде­лей знаний высоких уровней, которые позволяют проводить распознавание в зависимости от стратегии, связанной с контекстом, и задерживать выбор на возможно более долгое время.

Многие экспертные системы, основанные на продукционных правилах, в
частности CRYSALIS, ARGOS II, POLITICS, OPS, TANGO, SNARK, уже
содержат элементы ответов на поставленные три вопроса. Этому способст­вует прежде всего четкое разделение между самим знанием и обработкой с
помощью итерационной интерпретации, которая позволяет четко разделить..
и анализировать эти три проблемы.

Таким образом, экспертные системы предлагают качественно новьй под­ход к программированию. Из двух главных управляющих структур — про­верки и цикла — они оставляют только первую, которая позволяет довольно легко формулировать элементарные факты для интерпретатора, а также по­вторять циклы наполнения проверок и обработку. Таким образом устраня­ются два неизбежных недостатка классического программирования: после­довательный порядок выполнения операций и приказной характер элемен­тарных инструкций. Вместо инструкций — неупорядоченные отдельные данные, порядок использования которых заранее нельзя предвидеть.

Но в еще большей степени экспертные системы позволяют обойтись без всех средств произвольных языков программирования. Действительно, пользователь, эксперт по мере потребностей определяют собственные кон­цепты, специальную терминологию, выбирая подходящий для себя уровень детализации, пригодный для решения поставленных задач.

В отличие от этого и к большому неудобству исследователей в области искусственного интеллекта современные языки программирования являют­ся языками слишком низкого уровня. Простое действие, элементарный факт чаще всего оказываются растворенными в большом числе инструкций, и каждая их модификация оказывается трудоемкой и опасной. Таким обра­зом, основной целью исследователей в области искусственного интеллекта является создание форм представления и интерпретации знаний типа экс­пертных систем, которые, можно назвать языками будущего. Им присущи абсолютная модульность, четкость, полное разделение между данными и управлением, большие возможности по обработке информации, эффектив­ное взаимодействие между человеком и программой, возможность со­ставления программного обеспечения очень больших объемов, имеющего не обязательно алгоритмическую природу.

Для того чтобы подобные системы были полезны и за пределами разработавших их лабораторий, осталось выполнить определенный объем работ. В частности, необходимо решить две проблемы. Во-первых, исследовать формальные законы языков, на которых выражаются правила и метапра­вила, их синтаксис и семантику, типы логических связей, основные прими­тивы. Необходимо выполнить работу, аналогичную той, которая уже про­делана для классических языков программирования, но с учетом интер­претаторов и современных ЭВМ.

Во-вторых, вывести работы в области искусственного интеллекта за пре­делы университетских лабораторий, в частности для экспертных систем разработку эффективных интерпретаторов и механизмов вывода, которые должны найти новых пользователей, как это было при разработке компиляторов.

Экспертные системы доказали возможность совершенно нового подхода к развитию информатики. Он заключается в формализации нашего знания с помощью декларативных независимых понятий, в организации четко определенных структур, таких, как продукционные правила, фреймы,скрип­ты и семантические сети, с помощью которых можно получить изящное решение поставленных задач.

Литература

1. Лорьер, Жан-Луи. Системы искусственного интеллекта - М.: 1991;

2. К. Нейлор. Как построить свою экспертную систему. - М.: Энерго-
АтомИздат, 1991;

3. Глушков В.М. Основы безбумажной информатики – М.: Наука, 1982

4. Каймин В.А. Информатика и дистанционное образование – М.: 1998

5. Каймин В.А. Информатика: Учебник-2е изд., переработанное и дополненное – М.: ИНФРА-М, 2002.