Re: implementing negation and controlling the reasoning for contradictions

On Thu, 19 Feb 2009 09:52:12 -0800 (PST), Hamid <hhaidarian@xxxxxxxxx>
wrote:

Hello All,

I am trying to control the reasoning, and also implement normal
negation in Prolog. The aim is to control the reasoning process so
that with the following code, the reasoner would notice a
contradiction. The contradiction results from the fact that Picnic
(today) and nPicnic(today) can both be derived. I want to ignore these
contradictions.


Check the book "Techniques of Prolog Programming with Implementation
of Logical Negation and Quantified Goals" by T Van Le, J. Willey, 1993

A.L.

.

Relevant Pages

  • implementing negation and controlling the reasoning for contradictions
    ... I am trying to control the reasoning, ... negation in Prolog. ... The contradiction results from the fact that Picnic ...
    (comp.lang.prolog)
  • Re: A question about FOL theories and models
    ... in our reasoning knowledge, and less satisfactory. ... some sort of relativity principle to the very foundation of FOl. ... There has to be some way to limit where negation can be used. ...
    (sci.logic)
  • Re: A question about FOL theories and models
    ... in our reasoning knowledge, and less satisfactory. ... some sort of relativity principle to the very foundation of FOl. ... There has to be some way to limit where negation can be used. ...
    (sci.logic)
  • Re: [Civil War]Thought Experiment: Your SHRA
    ... fairly clear to me what Tony Stark's _overt_ reasoning behind backing ... this whole Super Hero Registration Act thing centers upon: ... Training heroes to a degree of competence that would presumably ... Avoid a similar institutions of control being set up with people ...
    (rec.arts.comics.marvel.universe)
  • Re: You have the Right to Drive
    ... insidious means of "control". ... Just an assertion - and circular reasoning from there. ... As in German-style "competency testing" for auto drivers. ... lighting standards that "control" the types of lights we put on our ...
    (rec.autos.driving)