Prolog表示否定谓词

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

没有找到相关结果

    已邀请:

    倾坞髓

            子句“如果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谓词）。     
    2020-02-02 0 0
    分享

    膏焦凑

            您是否听说过Prolog裁员？ 无论如何，我对Prolog标准了解不多，但是在SWI-Prolog中，符号“ 5”表示取反。我知道不必在每个Prolog的解释器中都可以使用。 您可以使用Prolog的cut进行谓词否定。谓词的定义如下： 
    not(Goal) :- call(Goal),!,fail.
not(Goal).
    这意味着无法证明目标，不是目标是错误的。 也许此Prolog＆Cut链接将很有用。     
    2020-02-02 0 0
    分享

    蔬谢窗港

            可以通过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”，但可能不是理想的。     
    2020-02-02 0 0
    分享

    悲帽慑彤电

            您可以使用最少的逻辑来定义负头。以最小的逻辑 〜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), fail), B, (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     
    2020-02-02 0 0
    分享
    为什么被折叠? 0 个回复被折叠

    要回复问题请先登录或注册

    或代码 OrCode.com 备案号：粤ICP备15020848号-1
    Escape time: 0.042643070220947