Введение в проблему искусственного интеллекта



Особенности реализации экспертных систем на базе логической модели знаний. - часть 3


Конъюнкция (?? ) используется для образования составных фраз:

Учится ( Иванов, эк.-университет ) ? располагается ( эк.-университет, Киев )

ППФ, построенные с помощью связки конъюнкция, наз-ся просто конъюнкциями.

Дизъюнкция  ( ? ) реализует функцию не исключающего “или”.

Находятся ( Иванов, аудит.-147) И находится ( Иванов, библиотека ).

ППФ, построенные с помощью связки дизъюнкция, наз-ся дизъюнкциями.

Связка импликация ( ? ) используется для представления утверждения типа “если, то”.

Владеть ( Иванов, машина-1) ? марка ( машина-1, “BMW”).

ППФ, построенная путем соединения формул с помощью связки импликация, наз-ся импликацией.

Левая сторона импликации наз-ся антецедент, правая - конциквент. Импликация имеет значение “истина”, если антецедент и конциквент имеют значения “истина”, либо антецедент имеет значение “ложь” независимо от конциквента. В остальных случаях импликация имеет значения “ложь”.

ППФ со знаком отрицания ( ~ ) пред ней наз-ся отрицанием.

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

Квантор - это операция, в которой участвуют все значения переменной одного предиката.

Квантор служит для указания меры, в какой экземпляры переменной (?), то есть константы должны быть истинными, чтобы все значения в целом были истинными.

Различают квантор общности ? и квантор сущестовования ? . Если перед предикатом записан квантор ? для какой-то переменной, напр. ?(х), то это означает, что значение предиката будет истинным только в том случае, если все значения переменной х будут истинными.

?(х) ( специалист-по-ЭВМ (х) ? программист )

Если перед предикатом записан квантор ?, напр. ?(х), то для истинности предиката достаточно, чтобы только некотрые значения переменной, по крайней мере одно, были истинными.




Содержание  Назад  Вперед