Prolog表示否定谓词

如何解决Prolog表示否定谓词

| 如何在PROLOG中编写以下规则：如果P则不是Q 我知道您可以轻松地写出P到Q这样的谓词，如q(X) :- p(X)，但是您如何否定q/1谓词呢？我不想用诸如“ 2”之类的其他语义来定义新的谓词。

解决方法

子句“如果P则不是Q \”在逻辑上等效于否定子句““不是P或不是Q \””。这样，它是一个没有正文字的Horn子句，并且作为SLD定理证明和Horn子句的对应关系的应用，可以在Prolog编程中表示为target子句或“ query”：

?- P,Q.

让我们稍后再回到这个想法。但是目标条款可能不是您想到的那种表示形式。构成Prolog“知识库”的事实和规则是定冠词，即Horn子句中的每一个都恰好有一个正文字面。 \“如果P则不是Q \”没有正文字面，因此从这个意义上说，它不能表示（作为定句）。如果P和Q都可以证明，则上面的目标子句“询问”。 Prolog提供了“否定即失败”的概念，因此更自然的方法是：“是否为非P或不是Q”为：

?- not((P,Q)).

然后，如果P或Q失败，我们将获得成功；如果P或Q都成功，则我们将获得失败。但是，如果您的目的是主张否定知识库中的某些内容，那么Prolog并不自然地支持这一点。根据您的应用程序，可能存在一种合理的方法来解决Prolog语法并完成所需的操作（执行此操作总是一种不合理的方法，正如您暗示的那样使用non_q谓词）。 , 您是否听说过Prolog裁员？无论如何，我对Prolog标准了解不多，但是在SWI-Prolog中，符号“ 5”表示取反。我知道不必在每个Prolog的解释器中都可以使用。您可以使用Prolog的cut进行谓词否定。谓词的定义如下：

not(Goal) :- call(Goal),!,fail.
not(Goal).

这意味着无法证明目标，不是目标是错误的。也许此Prolog＆Cut链接将很有用。 , 可以通过then7ѭif-then控制流谓词（例如，GNU）以及\\+否定（或'not-provable \'）运算符（例如， GNU），如下所示： (P -> \\+ Q), 请注意，通常，“ 5”将实现所谓的“否定否定”。即，子目标/表达式\\+ Q将在Q无法成功的情况下成功。注意，在ѭ5。下对Q的求值不会影响表达式execution12ѭ中存在的任何变量的绑定。例如，考虑：

foo(a).
bar(b).

鉴于这些事实，以下内容成立：

foo(a) -> \\+ bar(a). % succeeds,as bar(a) is not provable.
foo(a) -> \\+ bar(b). % fails,as bar(b) is provable.
foo(a) -> \\+ bar(X). % fails,as bar(X) is provable; note that X remains unbound.
foo(X) -> \\+ bar(X). % succeeds,as bar(X) where X unified to \'a\' isn\'t provable.

正如您所描述的，按照您的意愿（类似于“规则”）实施类似于ѭ18的操作并非易事，但是潜在的黑客攻击是：

q(X) :- p(X),fail.

该定义仅反映了“ 20”对于所有“ 21”都会失败的意图，如果“ 22”成功了，前提是在“ 20”的任何其他子句之前断言了“ 20”，但可能不是理想的。 , 您可以使用最少的逻辑来定义负头。以最小的逻辑〜A可以视为A-> ff。因此以下

P -> ~Q

可以视为：

P -> (Q -> ff).

现在，如果我们采用以下身份（A->（B-> C））=（A＆B-> C），我们看到上面等同于：

P & Q -> ff.

现在有一个问题，我们怎么问否定查询？有一个利用与否定不同的最小逻辑的方式失败。这个想法是对以下形式的查询：

G |- A -> B

通过将A暂时添加到序言程序G中来回答，然后尝试求解B，即执行以下操作：

G,A |- B

现在转到Prolog表示法，我们将显示p和p->〜q 通过执行（最小逻辑）Prolog程序表示〜q。的序言程序是：

p.
ff :- p,q.

查询是：

?- q -: ff.

我们首先需要定义新的连接词（-：）/ 2。快速解决方案如下：

(A -: B) :- (assert(A); retract(A),fail),B,(retract(A); assert(A),fail).

在这里，您可以看到SWI Prolog中这种最小逻辑取反的实现：

Welcome to SWI-Prolog (Multi-threaded,64 bits,Version 5.10.4)
Copyright (c) 1990-2011 University of Amsterdam,VU Amsterdam

1 ?- [user].
:- op(1200,xfy,-:).
|: (A -: B) :- (assertz(A); retract(A),(retract(A); assertz(A),fail).
|: p.
|: ff :- p,q.
|:
% user://1 compiled 0.02 sec,1,832 bytes
true.

2 ?- q -: ff.
true .

最好的祝福参考：统一证明是逻辑编程的基础（1989） Dale Miller，Gopalan Nadathur，Frank Pfenning，Andre Scedrov

Prolog表示否定谓词

如何解决Prolog表示否定谓词

解决方法

相关推荐