 |
 |
 |
 |
|
 |
 |
59
Запись вопросов в языке Пролог начинается со знака ?, за которым записывается предикат либо
группа предикатов, разделяемых запятыми. Запятая в сложносоставных вопросах на языке Пролог
играет роль логической связки «И» («AND»).
Примеры сложносоставных вопросов на языке Пролог:
? мама (х,у), мама (у, Оля)
—
Кто мама у мамы Оли?
х = Зина
у = Люба
? мама (х,у), папа (у, Оля)
—
Кто мама у папы Оли?
НЕТ
Правила в Прологе — это правила логического вывода. Слева в правилах записывается следствие, а
справа — предусловие. Предусловие может состоять из одного или нескольких предикатов,
разделяемых запятыми. Примеры записи правил вывода на Прологе:
студент(х) <— занятие(х,учеба)
—
студент — тот, кто занят учебой;
нумизмат(х) <— собирает(х,монеты)
—
нумизмат — тот, кто собирает монеты.
Примеры вопросов на использование этих правил:
? студент(х)
—
Кто — студент?
х = Алеша
х = Лена
? нумизмат(у)
—
Кто — нумизмат?
у = Алеша
В правилах со сложносоставными определениями запятая также играет роль логической связки и
объединяет условия, образующие определение. Такого рода правила позволяют создавать сложные базы
знаний по различным предметным областям и применениям.
Базы знаний на ЭВМ могут содержать правила вывода следующих видов:
— правила определения понятий;
— правила принятия решений;
— способы решения задач;
— правила поведения и т. п.
Обобщенные сведения в базах знаний записываются в форме правил вывода, выражающих
определения понятий. Примеры обобщенных сведений:
бабушка (x,z) <— мама(х,у), мама(у,z)
—
бабушка — это мама мамы;
двоечник(х) <— оценка(х,_ ,2)
—
двоечник — тот, у кого есть двойки.
Используя совокупность конкретных и обобщенных фактов и правил, компьютеры могут давать
ответы на широкий круг осмысленных вопросов. Для этого соответствующая база знаний с
соответствующей системой понятий и правил вывода должна храниться в памяти ЭВМ.
При определении новых понятий необходимо различать их объем и содержание. Объем понятия —
это совокупность вещей или явлений, отвечающих данному понятию. Объем понятий соотносит словам
и терминам соответствующие объекты предметной области.
Содержание понятия
— это совокупность логических признаков, выделяющих объекты,
отвечающие данному понятию, среди других объектов. С логической точки зрения определение
понятия представляет описание совокупности признаков, характеризующих его содержание.
Приведем примеры определения понятий.
1. Понятие «мама». Объем понятия — совокупность всех мам. Содержание понятия — женщина,