Лабораторная работа №1
Реализация механизма обратного вывода в рамках учебного проекта оболочки ЭС.
Зададим в нотации Бэкуса-Наура язык абстрактного эксперта :
<ПРЕДЛОЖЕНИЕ> :: = <ПРАВИЛО>| < ЦЕЛЬ><ОКОНЧАНИЕ ПРЕДЛОЖЕНИЯ>
<ПРАВИЛО> ::= <(ЗАГОЛОВОК ПРАВИЛА)> < РАЗДЕЛИТЕЛЬ ВЫТЕКАЕТ ЕСЛИ > <(УСЛОВИЕ)>
<(УСЛОВИЕ)> ::= <(ВЫРАЖЕНИЕ)> | <(ВЫРАЖЕНИЕ)> <РАЗДЕЛИТЕЛЬ И> <(УСЛОВИЕ)>
<ВЫРАЖЕНИЕ> ::= <АТРИБУТ> <ЗНАЧЕНИЕ>
<АТРИБУТ> ::= < ЛЕКСЕМА > <ЗНАЧЕНИЕ> | <ЛЕКСЕМА>
<ОКОНЧАНИЕ ПРЕДЛОЖЕНИЯ>::= .
<РАЗДЕЛИТЕЛЬ ВЫТЕКАЕТ ЕСЛИ > ::= >
<РАЗДЕЛИТЕЛЬ И>::= &
Необходимо реализовать механизм обратного вывода на основе опровержения резолюций при следующих допущениях :
Пример внешнего вида модуля приведен на рис. 1
Рис 1 .
На рисунке представлен двухоконный интерфейс модуля обратного вывода
Правило вводится в виде заголовка и условия. Разделитель > между заголовком и условиями. Условия задаются через & . Правило завершается .
Пример : На(Х, Z ) > На( X , B )&На( B , Z ).
Факт представляют собой констатацию выполнения отношения между обьектами.
Принципы функционирования МОВ .
Порядок выполнения работы .
Для выполнения используется Visual C ++6.0