Искусственный интеллект – Севастополь, реализация эс на Плэнере - davaiknam.ru o_O
Главная
Поиск по ключевым словам:
страница 1
Похожие работы
Название работы Кол-во страниц Размер
Искусственный интеллект – Севастополь – День 07, лекции № 1 144.93kb.
Искусственный интеллект с алгоритмами нейрокибернетики 1 99.27kb.
Реферат "Искусственный интеллект настоящее и будущее ". Москва, 2001... 1 98.22kb.
Информационные структуры 1 125.85kb.
Возможен ли искусственный интеллект? 1 179.53kb.
Результаты коллоквиумов и Экзаменационная оценка по курсу «искусственный... 1 282.44kb.
Искусственный интеллект на основе теории инвариантного представления... 1 105.7kb.
Искусственный интеллект 1 39.65kb.
Самостоятельная работа Искусственный интеллект vs сознание человека 1 110.56kb.
Лекции №17, №18 08. 11. 2011. Реализация на Лиспе и Плэнере алгоритма... 1 59.29kb.
Лекции 72 часа Форма контроля экзамен (в письменной форме), промежуточные... 1 41.76kb.
Ключи в командной строке 1 58.8kb.
Направления изучения представлений о справедливости 1 202.17kb.

Искусственный интеллект – Севастополь, реализация эс на Плэнере - страница №1/1


Искусственный интеллект – Севастополь, реализация ЭС на Плэнере


Реализация модельной экспертной системы на Плэнере:
Модельная экспертная система решает задачу распознавания вида животного (тигр) на основе группы взаимосвязанных признаков:

Система работает с базой данных, в которой хранятся утверждения следующих типов:


(<имя> = <вид>) → ОБСН: <обоснование> ( )

(<имя> - <класс> ) → ОБСН: <обоснование> ( )

(<имя> имеет <свойство> ) → ОТВ: ДА НЕТ

(<имя> питается <пища> )


Для определения вида животного используется аппарат теорем. Часть информации, необходимой для решения задачи представлена в виде утвереждений базы данных, часть запрашивается у пользователя. В списках свойств утверждений представлены ответы пользователя и обоснование решения системы.

[define main (lambda ( )

[prog (ОТВ ИМЯ КЛАСС ОБ)

[while T


[print ‘Работает эксперт по распознаванию животных‘]

[print ‘У Вас есть задача на распознавание?‘]

[pset ОТВ [yes-no]]

[cond ([eq .ОТВ НЕТ] [exit main main])]

[print ‘Введите имя распознаваемого объекта‘]

[pset ИМЯ [read]]

[if ([perm [goal (.ИМЯ = *КЛАСС)]]

[pset ОБ [geta (.ИМЯ = *КЛАСС) ОБСН]]

[output .ИМЯ .КЛАСС .ОБ] )

(T [mprint Кем является .ИМЯ я не знаю ])]

[cleardb] ] ])]
[define Тигр? (conseq (ИМЯ ОБ ОБ1 ОБ2)

(*ИМЯ = ТИГР)

[goal (.ИМЯ - млекопитающее)]

[goal (.ИМЯ - хищник)]

[goal (.ИМЯ имеет рыжевато-кор) (test ОТВ ДА)]

[goal (.ИМЯ имеет темные-полосы) (test ОТВ ДА)]

[pset ОБ1 [geta (.ИМЯ - млекопитающее) ОБСН]]

[pset ОБ2 [geta (.ИМЯ - хищник) ОБСН]]

[pset ОБ ( ( (.ИМЯ = ТИГР) так как (.ИМЯ – млекопитающее)

(.ИМЯ – хищник) (.ИМЯ имеет рыжевато-коричневую окраску)

(.ИМЯ имеет темные полосы)) !.ОБ1 !.ОБ2)]

[passert (.ИМЯ = ТИГР) (with ОБСН .ОБ)] )]


[define Окраска? (conseq (ИМЯ ОТВ)

(*ИМЯ имеет рыжевато-кор)

[if ([search1 (.ИМЯ имеет рыжевато-кор) (test ОТВ *ОТВ)])

(T [mprint .ИМЯ имеет рыжевато-коричневую окраску?]

[pset ОТВ [yes-no]]

[passert (.ИМЯ имеет рыжевато-кор) (with ОТВ .ОТВ)])]

[cond ([eq .ОТВ НЕТ] [fail])] )]
[define Полосы? (conseq (ИМЯ ОТВ)

(*ИМЯ имеет темные-полосы)

[if ([search1 (.ИМЯ имеет темные-полосы) (test ОТВ *ОТВ)])

(T [mprint .ИМЯ имеет темные полосы?]

[pset [yes-no]]

[passert (.ИМЯ имеет темные-полосы ) (with ОТВ .ОТВ)])]

[cond ([eq .ОТВ НЕТ] [fail])] )]
[define Хищник1? (conseq (ИМЯ ОБ)

(*ИМЯ - хищник)

[goal (.ИМЯ питается мясом)]

[pset ОБ ( ( (.ИМЯ - хищник) так как (питается мясом)))]

[passert (.ИМЯ - хищник) (with ОБСН .ОБ)] )]
[define Хищник2? (conseq (ИМЯ ОБ)

(*ИМЯ - хищник)

[goal (.ИМЯ имеет острокон-зубы)]

[goal (.ИМЯ имеет когти)]

[goal (.ИМЯ имеет глаза-спереди)]

[pset ОБ ( ( (.ИМЯ - хищник) так как (.ИМЯ имеет остроконечные зубы) (.ИМЯ имеет когти)

(.ИМЯ имеет глаза спереди)))]

[passert (.ИМЯ - хищник) (with ОБСН .ОБ)] )]

[define yes-no (lambda ( ) [read])]

[define output (lambda (x y z ) [prog ( ) [print .x] [print.y] [print .z]])]



[assert (Муся питается мясом)]

[assert (Муся - млекопитающее)]

%[assert (Муся имеет темные-полосы) (with ОТВ ДА)]%

[assert (Муся имеет рыжевато-кор) (with ОТВ ДА)]

[main]









Лгать — значит признавать превосходство того, кому вы лжете. Сэмюэл Батлер
ещё >>