Создание модели продукционной базы знаний для интеллектуальной системы. Характеристика описания разработки механизма логического вывода. Анализ формирования удобного и дружественного пользовательского интерфейса. Особенность исчисления предикатов.
Аннотация к работе
Корсаковым, создавшим механические устройства, так называемые «интеллектуальные машины», позволявшие находить решения по заданным условиям, например, определять наиболее вероятные причины поломки оборудования. Предложил пять механических устройств, так называемых “интеллектуальных машин” для информационного поиска и классификации, в конструкции которых впервые в истории информатики применил перфорированные карты. Широко известный своими работами, Корсаков пояснял принцип работы своих машин на простом примере поиска необходимых инструментов для ремонта. Единожды составленные, такие перфорированные таблицы могли впоследствии легко тиражироваться, и менее квалифицированный газодобывающий1 работник, например ассистент инженера, мог бы, используя готовую таблицу и машины Корсакова, подобрать перечень необходимых инструментов по непосредственно наблюдаемым у механизма повреждениям, даже не имея возможности точно диагностировать поломку. Название системы происходит от слияния трех слов «Engineer» - инженер, «Fix» - чинить, «Tool» - набор инструментов, то есть те самые компоненты, которыми оперирует данная Интеллектуальная система.Одним из направлений исследования экспертных систем является обработка моделей знаний, которая подразумевает средства представления знаний и методы манипуляции знаниями. Под термином «представление знаний» чаще всего подразумеваются способы представления знаний, ориентированные на автоматическую обработку современными ИС, и, в частности, представления, состоящие из явных объектов и из суждений или утверждений о них. Преимущество данного метода является: · отсутствие необходимости указывать, как конкретный фрагмент знания должен быть использован, · удобство внесения изменений в БЗ, · близость к естественной форме описания знаний. При использовании данного метода имеются следующие преимущества: легко представляются знания вычислительного характера, более естественный способ для выражения многовариантного взаимодействия между блоками, на которые разделены знания. К достоинствам логических моделей представления знаний можно отнести следующие характеристики: · В качестве «фундамента» здесь используется классический аппарат математической логики, методы которой достаточно хорошо изучены и формально обоснованы (формальная семантика проста и ясна, синтез четок), · Существуют достаточно эффективные процедуры вывода, в том числе реализованные в языке логического программирования Пролог, использующие механизмы автоматического доказательства теорем для поиска и логически осмысленного вывода информации (наличие единой процедуры доказательства истинности), · В базах знаний можно хранить лишь множество аксиом, а все остальные знания получать из них по правилам вывода, а также Данные, факты и другие сведения о людях, предметах, событиях и процессах (не требуется хранить все формулы в БЗ, а достаточно лишь хранения аксиом.
План
Содержание
Введение
1. Постановка задачи «Интеллектуальной системы поддержки принятий решений при эксплуатации трубопровода»
2. Методы интеллектуальных систем
3. Выбор и обоснование механизма логического вывода