 |
 |
 |
 |
|
 |
 |
60
имеющая детей. Формализация понятия на Прологе может выражаться конкретными фактами.
Примеры:
мама (Люба, Оля)
—
Люба — мама Оли;
мама (Зина, Люба)
—
Зина — мама Любы.
2. Понятие — «бабушка». Объем понятия — совокупность всех бабушек. Содержание понятия —
«бабушка — это мама мамы или папы». Формализация этого понятия на Прологе:
бабушка(х,z) <- мама(х,у), мама(у,z)
—
бабушка — это мама мамы;
бабушка(х,z) <- мама(х,у), nana(y,z)
—
бабушка — это мама папы.
3. Понятие «музыкант». Объем понятия — совокупность людей, занимающихся музыкой.
Содержание понятия — «музыкант — человек, который любит музыку и занимается музыкой». Это
понятие на языке Пролог можно записать в виде правила:
музыкант (х) <- любит (х, музыка), занятие (х, музыка)
4. Понятие «студент». Объем и содержание понятия — учащиеся в вузах, университетах и
колледжах. Определение этого понятия на Прологе можно записать в виде набора правил:
студент (х) <— занятие (х, учеба), место (х, университет);
студент (х) <— занятие (х, учеба), место (х, институт);
студент (х) <— занятие (х, учеба), место (х, колледж);
Для создания сложных баз знаний может понадобиться целая система понятий, характеризующих
объекты в заданной предметной области. Эта система определений базируется на наборе признаков, где
каждый признак является характеристикой некоторого объекта.
Вопросы
1. Что такое базы знаний?
2. Что такое факты на языке Пролог?
3. Что такое вопросы на языке Пролог?
4. Что такое правила на языке Пролог?
5. Что такое содержание понятия?
6. Что такое объем понятия?
Задания
1. Найдите в Интернет интерпретатор Пролога.
2. Проверьте на ЭВМ примеры на языке Пролог.
3. Опишите на языке Пролог данные о своей семье: о маме, папе, сестрах, братьях, дедушках и бабушках - кто
кому приходится мамой и папой. Подберитевопросы и проверьте их на ЭВМ.
4. Опишите данные о своих друзьях с указанием их увлечений (кто что любит), занятий (кто чем занимается).
Подберите правила для определения понятий и вопросы на их проверку на ЭВМ:
а) сластена;
д) спортсмен;
б) филателист;
е) бизнесмен;
в) математик;
ж) музыкант;
г) программист;
з) мусорщик.
5. Опишите в форме фактов для себя и своих ближайших друзей-одноклассников данные об оценках по
предметам и проверьте их на ЭВМ над конкретными сведения об успехах своих товарищей:
а) литература;
г) физкультура;
б) математика;
д) информатика;
в) физика;
е) история.
6. Подберите правила определения понятий и проверьте их на ЭВМ на некоторой группе фактов:
а) математик;
д) физик;
б) историк;
е) лирик;