Составители:
Рубрика:
is_free(symbol)
block(symbol)
cov(symbol)
clauses
on(a,b).
on(d,a).
on(d,c).
on(e,f).
block(X):-on(X,_).
block(X):-on(_,X).
cov(Y):- block(X),block(Y),X<>Y, on(X,Y).
is_free(X):-block(X),not(cov(X)).
Введя цель is_free(X), получим
X=d
X=d
X=e
3 solutions .
3.5. Другие варианты логики
Модальная логика
Модальная логика [13] изучает структуру и законы построения
рассуждений, содержащих так называемые модальности, выражаемые в
естественном языке словами “необходимо”, “возможно”, “мочь” и т.д. Наряду с
пропозициональными связками классического исчисления высказываний (⎤, \/,
&), в модальной логике для выражения модальностей используются модальные
операторы:
• оператор необходимости, который будем обозначать символом
(читается: “необходимо, что …”);
• оператор возможности, который будем обозначать символом (читается:
“возможно, что …”).
Логическое значение сложного высказывания, образованного с помощью
модального оператора, чувствительно к смыслу и, поэтому, не определяется
однозначно логическим значением того высказывания, к которому применяется
136
Страницы
- « первая
- ‹ предыдущая
- …
- 50
- 51
- 52
- 53
- 54
- …
- следующая ›
- последняя »
