Санкт-Петербургский государственный университет телекоммуникаций

Санкт-Петербургский государственный университет телекоммуникаций

им. проф. М.А. Бонч-Бруевича

факультет Информационных систем и технологий

Отчёт по лабораторной работе №2

Тема: «Логические модели представления знаний»

Предмет: Интеллектуальные информационные системы

Выполнил: студент группы ИСТ-03

Брынский А.О.

Санкт-Петербург

Цель работы

Получить навыки разработки простейших логических моделей представления знаний с использованием языка логического программирования Prolog

Вариант 1

1. Дерево родственных отношений

	Известны факты: родитель, пол - двухаргументные. Написать правила: прадедушка, сын,мать, счастлив тот, кто имеет детей, сестра Проверить все правила.

2. Листинг программы

domains

s=symbol

predicates

parent(s,s).

male(s).

female(s).

greatgrandfather(s,s).

mother(s,s).

son(s,s).

sister(s,s).

happy(s).

clauses

Parent(ann,olga).

Parent(ann,ben).

Parent(bob,olga).

Parent(bob,ben).

Parent(olga,pam).

Parent(olga,mikl).

Parent(ben,selina).

Parent(kelly,selina).

Parent(selina,david).

Parent(pam,alex).

Male(bob).

Male(ben).

Male(mikl).

Male(alex).

Male(david).

Female(ann).

Female(olga).

Female(kelly).

Female(pam).

Female(selina).

greatgrandfather(X,Y):-Parent(X,U),Parent(U,Z),Parent(Z,Y),male(X).

son(X,Y):-Parent(Y,X),male(X).

mother(X,Y):-Parent(X,Y),female(X).

happy(X):-Parent(X,Y).

sister(X,Y):-Parent(Z,X),Parent(Z,Y),female(X).

Кто чей родитель?

Goal: parent(X,Y)

X=ann, Y=olga

X=ann, Y=ben

X=bob, Y=olga

X=bob, Y=ben

X=olga, Y=pam

X=olga, Y=mikl

X=ben, Y=selina

X=kelly, Y=selina

X=selina, Y=david

X=pam, Y=alex

10 Solutions

3. Результаты проверки правил.

Проверка правила «прадедушка»

Goal: greatgrandfather(bob,alex)

Yes

Goal: greatgrandfather(bob,david)

Yes

Проверка правила «сын»

Goal: son(ben,ann)

Yes

Goal: son(ben,bob)

Yes

Goal: son(mikl,olga)

Yes

Goal: son(alex,pam)

Yes

Goal: son(david,selina)

Yes

Проверка правила «мать»

Goal: mother(ann,olga)

Yes

Goal: mother(ann,ben)

Yes

Goal: mother(kelly,selina)

Yes

Goal: mother(selina,david)

Yes

Goal: mother(olga,pam)

Yes

Goal: mother(olga,mikl)

Yes

Goal: mother(pam, alex)

Yes

Проверка правила «счастлив тот, кто имеет детей»

Goal: happy(ann)

Yes

Goal: happy(bob)

Yes

Goal: happy(olga)

Yes

Goal: happy(selina)

Yes

Goal: happy(pam)

Yes

Goal: happy(alex)

No

Goal: happy(david)

No

Goal: happy(ben)

Yes

Goal: happy(mikl)

No

Goal: happy(kelly)

Yes

Проверка правила «сестра»

Goal: sister(pam,mikl)

Yes

Goal: sister(olga,ben)

Yes

Goal: sister(mikl,pam)

No

Вывод

Получены навыки разработки простейших логических моделей представления знаний с использованием языка логического программирования Prolog. Написаны правила, которые указаны в варианте задания, протестирована программа, проверены все правила.

Дата добавления: 2015-08-29