Практическая работа № 5 "ипс-самоделка-2"

Сегодня мы продолжим знакомство с приемами конструирования простейших ИПС средствами Пролога-Д. Прежде всего надо вспомнить основные режимы работы в Прологе.

Вот на ваш компьютер загружена система Пролог-Д, и на экране появилось окно исходного текста редактора этой системы. Напомним, что в этом окне вы можете записывать и изменять текст пролог-программ.

Какую же ИПС вы будете создавать сегодня? Давайте поговорим о словаре синонимов. Те из вас, кому приходилось сочинять какие-либо тексты, без сомнения знают, как иногда бывает трудно без такого словаря подобрать подходящее слово, чтобы не повторяться. Но и словарь листать - тоже работа не из увлекательных. Пока страничку с нужным словом отыщешь, мысль потеряется. То ли дело спросить у компьютера - он-то сразу даст ответ. Итак, учимся составлять электронный словарь синонимов. Пусть сначала в этом словаре совсем немного фактов - ведь его никогда не поздно расширить. Например, в нем будут такие сведения:

синоним(мама, мать);

синоним(папа, отец);

синоним(сопротивление, резистор);

синоним(космонавт, астронавт);

синоним(спутник, сателлит);

Запишите эти факты в окно исходного текста. Проверьте, что ЭВМ вас поняла (для этого нажмите клавишу F9).

А теперь составьте несколько запросов и получите на них ответы. Скажем, запрос может быть таким:

?синоним(мама, x);- какое слово является синонимом слова мама?

Но вот какое неудобство. На запрос, к примеру,

?синоним(астронавт, x);- какое слово является синонимом слова астронавт?

компьютер выдаст НЕТ

И это потому, что значение "астронавт" имеется лишь у второго аргумента!

Что же делать? Разумеется, можно переписать все факты еще раз, поменяв местами значения первого и второго аргументов. Пока фактов не так уж много (как в нашем случае), это решение приемлемо. Но обычно словарь содержит сотни слов. Такое дублирование записей уже не кажется столь безобидным.

На помощь приходят свойства отношений. вы наверняка уже выяснили, что отношение "быть синонимами" симметрично. А система Пролог-Д сконструирована так, что она понимает свойства отношений, записанные в указанной выше схематичной форме. К примеру, симметричность отношения "быть синонимами" записывается на Прологе так:

синоним(x, y)<-синоним(y,x);

Если вы считаете, что это отношение еще и транзитивно, то такое свойство на Прологе-Д запишется так:

синоним(x,y)<-синоним(x,z),синоним(z,y);

Обратите внимание: вместо знака & используется просто запятая. Дополните вашу пролог-программу записью симметричности отношения "быть синонимами" и задайте запрос

?синоним(астронавт, x); - какое слово является синонимом слова астронавт? Что теперь ответил вам компьютер? Настоящий мастер, поработав, всегда сложит инструменты на отведенное для них место. Чтобы завершить работу с системой Пролог-Д, нужно нажать клавишу <F10>.

Задания.

1. Составьте словарь синонимов русского языка.

2. Составьте словарь синонимов английского языка.

3. Составьте англо-русский словарь

4. Используя три, упомянутые выше словаря для того поиска английских синонимов какому-нибудь русскому слову.

5. Как вы считаете, что означает, тот факт, что вы не нашли синоним для данного слова?