Составители:
Рубрика:
(3.24)
∀vY → X ↔ ∃v[Y → X].
(3.25)
∃vY → X ↔ ∀v[Y → X].
(3.26)
[U &[X ∨ Y]→ Z]↔[U & X → Z]&[U & Y → Z].
(3.27)
[U &[X → Y]→ Z]↔[U → X ∨ Z]&[U & Y → Z].
Пример 3.1. Дана стандартная форма:
∀x ∀y Планета(y) & вращается_вокруг(x,y) → спутник(x,y).
Перевод в клаузальную форму (в скобках указаны номера используемых
правил):
(п3) ⎤[планета(y) & вращается_вокруг(x,y)] ∨ спутник(x,y);
(п6) ⎤планета(y) ∨ ⎤вращается_вокруг(x,y) ∨ спутник(x,y);
(п15) спутник(x,y) ← планета(y), вращается_вокруг(x,y).
Пример 3.2. Дано предложение на русском языке:
Каждый совершает ошибки.
Введем функцию Сколема ошибка(y) и запишем это предложение в
стандартной форме:
∀x∃y[человек(x) → совершает(x,y) & ошибка(y)].
Перевод в клаузальную форму:
(функция Сколема)
человек(x) → совершает(x,ош(x))& ошибка(ош(x)),
где ош(x) - функциональный символ;
(п3) ⎤человек(x) ∨ [совершает(x,ош(x)) & ошибка(ош(x))]
(п11) [⎤человек(x) ∨ совершает(x,ош(x))] &
[⎤человек(x) ∨ ошибка(ош(x))];
(п15) совершает(x,ош(x)) ← человек(x),
ошибка(ош(x)) ← человек(x).
3.3. Логическое программирование
Основные трудности, с которыми постоянно сталкиваются
разработчики программного обеспечения, связаны с построением
систем, осуществляющих простую и быструю работу с данными. Это
прежде всего задачи из области искусственного интеллекта:
синтаксический и семантический анализ текста, организация баз
данных и знаний, распознавание образов, диагностика
127
Страницы
- « первая
- ‹ предыдущая
- …
- 41
- 42
- 43
- 44
- 45
- …
- следующая ›
- последняя »
