Представления знаний в интеллектуальных системах, экспертные системы

[inchernar]

Побольше бы живых примеров. К продукционным МПЗ было бы очень уместно добавить описание системы CLIPS и более подробное описание механизма машины логического вывода. Или тот же Prolog. Слишком бедная статья получилась, даже с академической точки зрения(

[Larkailya]

Исправил, добавил. Спасибо большое за замечания!

[AlexVist]

Пример из медицины выглядит не совсем удачно. Желательно что-то менее спорное приводить в качестве примера.
И не понятно каким именно образом будут выявляться дефекты системы. Даже, с учетом вывода данных и "мышления" системы?
Хотелось бы так же услышать о прикладной модели внесения данных. И, что более важно, исправления ошибок в заложенных данных и логической модели. Еще бы и схематично отобразить такой бизнесс-процесс с учетом ролей. Это не критика, а замечание относительно содержимого статьи.

[Rigidus]

Я использовал самописную продукционную экспертную систему для задач автоматизации поиска работы. Подход себя оправдывает. Хотелось бы несколько более развернутого экскурса в историю, с примерами развития концепций экспертных систем

[Larkailya]

Добавил раздел эволюции экспертных систем. Спасибо большое за замечания!

[asiver]

А почему в логической МПЗ только логика первого порядка, а не более общая логика высшего порядка?
Например, самая полная онтология SUMO https://en.wikipedia.org/wiki/Suggested_Upper_Merged_Ontology представлена в терминах логики высшего порядка.

[IVA48]

Об экспертных системах заговорили в начале 70'х когда появились диалоговые средства общения человека с компьютером в текстовом виде. Первые программы с текстовым диалогом считались в то время интеллектуальными, что по нынешним меркам выглядит наивно. Экспертные системы, рекламный бум которых был в 80'х годах, так и НЕ нашли широкого применения по одной причине: отсутствием специализированных инструментальных средств для их разработки. Языки программирования, ориентированные на создания ЭС такие как Clips, Prolog, Refal и др, "зашивали" базу знаний и логику рассуждений непосредственно в код программы и работали сугубо автономно без возможности встраивания как компонента в информационную систему.