Изучение аналогии как механизма вывода. Базовый механизм Case Based Reasoning.

МОРФ

НГТУ

Кафедра Программных Систем

и Баз Данных

Лабораторная Работа №6

по дисциплине «Системы искусственного интеллекта»

Факультет:   ПМИ

Группа:           ПМ-06

Студенты:    Ким М.Ю.

Бейсенов К.В.

Проверил:       Шнитко А.Г.

Новосибирск

2004

Цель работы:

Изучение аналогии как механизма вывода, используемого в интеллектуальных системах.

Задание:

§  Реализовать на Прологе базовый механизм Case Based Reasoning (CBR), который способен на основе прецедента, давать ответ на поставленный вопрос.

§  Используя базовый механизм CBR, написать экспертную систему для мира геометрических фигур (варианты приведены ниже).

Условие

Текст программы:

DOMAINS

FIGURA  = inside(FIGURA, FIGURA);      % Быть внутри

above(FIGURA, FIGURA);      % Быть рядом

circle;                     % Окружность

triangle;                   % Треугольник

square;                     % Квадрат

null.                        % Пусто

SITUATION      = is_to(FIGURA, FIGURA).              % Причинно-следственное отношение

RULE           = symbol.                             % Имя правила        

PREDICATES

analogy( SITUATION, SITUATION )

match( FIGURA, FIGURA, RULE )

run

CLAUSES

analogy( is_to  ( A, B),  is_to  (A1, B1) ):match( A, B, Rule ),

match( A1, B1, Rule ).

match( inside(X, inside(Y,_)), inside(X,Y), delvf ).

match( inside(X,_), X, delvf).

match( inside(X,Y), above(X,Y), exter).

match( above(X,Y), inside(X,Y), inter).

match( inside(X,Y), inside(Y,X), invert).

match( inside(_,Y), inside(Y,Y), convert).

run:analogy(is_to(inside(square,inside(square,square)),inside(square,square)), is_to(inside(circle,inside(circle,circle)),Fi)),

write("Аналогия существует."),nl,

write("Полученное решение  ",Fi),nl.

run:- write("Нет аналогии между фигурой и причинно следственным отношением"),nl.

GOAL    run,nl.