Вопрос 3: Представление знаний и работа с ними. Обзор языков представления знаний
Знания - это закономерности предметной области (принципы, связи, законы), полученные в результате практической деятельности и проффесионального опыта, позволяющие спкциалистам ставить и решать задачи в этой области. Отличительными свойствами знаний являются внутренняя интерпретируемость, структурированность, связность, активность. Знания основаны на данных, полученных эмпирическим путём. Они представляют результат практической деятельности человека, направленной на обобщениие его опыта, полученного в результате практической деятельности.
Данные - это отдельные факты, характерезующие объекты, процессы и явления предметной области,а также значения их свойств.
По способам организации знаний и их обрвботки различают следующие основные группы методов представления: логические, продукционные, сетевые, фреймовые (подробнее о них всех в вопросе 5, я не знаю, чем 3 вопрос отличается от 5 в её понимании.).
Языки представления знаний:
(взяла из вики, у Новаковой не нашла)
Loom. Имеет формальную семантику, которая отображает объявления в Loom на утверждения в теории множеств и логике первого порядка . Эта формальная семантика позволяет использовать механизм проверки теорем, называемый классификатором. Классификатор может анализировать модели Loom (известные как онтологии) и вывести различные вещи о модели.
Пролог: основан на языке предикатов математической логики дизъюнктов Хорна( дизъюнктивный одночлен с не более чем одним положительным литералом, н-р: L || !L1||!L2), представляющей собой подмножество логики предикатов первого порядка.Язык сосредоточен вокруг небольшого набора основных механизмов, включая сопоставление с образцом, древовидного представления структур данных и автоматического перебора с возвратами. Хорошо подходит для решения задач, где рассматриваются объекты (в частности структурированные объекты) и отношения между ними.
Другие языки: CycL, IKL,KIF