, integer, symbol) _answer (history, integer, symbol, integer, integer) _expert_job.
/* База знань (БЗ) */(1, "Собака", "Короткошерста собака" , [1]).
rule (2, "Собака", "Довгошерста собака", [2]).
rule (3, "Короткошерста собака", "Англійський бульдог", [3,5,7]).
rule (4, "Короткошерста собака", "Гонча", [3,6,7]).
rule (5, "Короткошерста собака", "Німецький Дог", [5,6,7,8]).
rule (6, "Короткошерста собака", "Американський фоксхаунд",
[4,6,7]).
rule (7, "Довгошерста собака", "Кокер спанієль", [3,5,6,7]).
rule (8, "Довгошерста собака", "Ірландський Сетер", [4,6]).
rule (9, "Довгошерста собака", "Коллі", [4,5,7]).
rule (10, "Довгошерста собака", "Сенбернар", [5,7,8]).
cond (1, "Короткошерста").
cond (2, "Довгошерста").
cond (3, "Висота в холці не більше 57 см").
cond (4, "Висота в холці не більше 77 см").
cond (5, "Низько посаджений хвіст").
cond (6, "Довгі вуха").
cond (7, "Доброзичливий характер").
cond (8, "Вага більше 45 кг").
/* Система користувальницького інтерфейсу */
do_expert_job: -
makewindow (1,7,7, "ЕКСПЕРТ ПО породи собак", 0, 0, 25, 80),
do_consulting, nl, nl, nl, nl, write ("Натисніть будь-яку клавішу"), (_), exit._consulting:-goes (Mygoal), go ([], Mygoal), !. _consulting:-nl, write ("Вибачте, я не зможу Вам допомогти"), clear.
do_consulting. (Mygoal): - clear, clearwindow, nl, nl, nl, nl, ("ЛАСКАВО ПРОСИМО"), nl, nl, nl,
write ("Проводиться ідентифікація породи"), nl,
write ("Для того, щоб почати процес ідентифікації,"), nl,
write ("введіть слово 'Собака'."), nl, nl, readln (Mygoal),!.
inpo (HISTORY, RNO, BNO, TEXT):-write ("?: -", TEXT, "?"),
makewindow (2,7,7, "Для відповіді на запитання", 10,54,7,35),
write ("введіть 1, якщо Ваша відповідь" так ","),
write ("введіть 2, якщо Ваша відповідь 'ні',"),
write ("введіть 0, для виходу з системи"), nl,
Readint (RESPONSE),, shiftwindow (1), _answer (HISTORY, RNO, TEXT, BNO, RESPONSE). p align="justify">/* Механізм виведення */(HISTORY, Mygoal):-rule (RNO, Mygoal, NY, COND ), (RNO, HISTORY, COND),!, ([RNO | HISTORY], NY). (_, Mygoal):-not (rule (_, Mygoal, _, _)),!,, write (" Ймовірно Ваша собака - ", Mygoal,". "), nl, nl, nl. (RNO, HISTORY, [BNO | REST]): -
yes (BNO),!, check (RNO, HISTORY, REST). (_, _, [BNO | _]): - no (BNO),!, fail. (RNO, HISTORY , [BNO | REST]):-cond (BNO, TEXT), (HISTORY, RNO, BNO, TEXT), (RNO, HISTORY, REST). (_, _, []). _answer (_, _, _ , _, 0): - exit._answer (_, _, _, BNO, 1):-assert (yes (BNO)), write (yes), nl._answer (_, _, _, BNO, 2) :-assert (no (BNO)), write (no), nl, fail.: - retract (yes (_)), retract (no (_)), fail,! ..
/* Кінець програми */
Вибір типу ЕС
Програми для вибору породи собаки, наведені вище, використовуються для ілюстрації методів побудови системи, що базується на правилах, і системи, що базується на фактах. Таким чином, є можливість порівняти два різних підходи при роботі з одними і тими ж даними і зробити деякі важливі висновки. p align="justify"> Отже, якщо експертна система, яку Ви хочете зробити, в кінцевому рахунку може містити сотні продукційних правил, то важко визначити ефект від додавання додаткових правил. У Турбо-Пролозі продукційні правила поміщаються в програму, і, отже, розміри програми збільшуються у міру додавання правил. Розміри пам'яті, зрештою, обмежують число правил. У цьому випадку використання системи на правилах стає проблематичним. У той же час, в системі, що базується на логіці, де база знань може знаходитися у файлі на диску, обмеження на розміри бази знань не накладаються. Тому система, заснов...
