Re: RIF Negation

If we want to distinguish between classical negation of negation as
failure in the syntax, we should not use "Not", because for many people
this is either naturally classical or naturally default negation.

Instead, we should use Naf for negation as failure.


Adrian Paschke wrote:
> Right, probably it makes sense to have explicit constructs for
> Explicit/Strong/Classical negation                Neg
> Default/Negation-as-failure/Weak/Inflationary     Not
> -Adrian
> -----Ursprüngliche Nachricht-----
> Von: Sandro Hawke [] 
> Gesendet: Dienstag, 28. April 2009 13:34
> An: Adrian Paschke
> Cc: 'Christian De Sainte Marie';
> Betreff: Re: AW: [Admin] Agenda for RIF telecon 28 April *ADDENDUM* 
>> We discussed it in the last PRD telecon. The semantics of a generic
>> "not" in case of PRD is clear since it used in a production rule set,
>> i.e. it is inflationary not.
> But is it also classical negation and NAF?  In particular, if I have
> this ruleset:
>    forall ?x
>       if not ex:p(?x) then ex:q(?x)
> this proposal defines that as a PRD ruleset.  To my eye, it could just
> as easily be FOL or LPD.  As long as the semantics in all cases would be
> the same, they could all use the same "not", but otherwise, it seems
> like they need to use different operators.
>> Alternative we could introduce many different constructs for
>> negations, but this might be counterproductive to the interchange
>> purpose of RIF. I would propose that the intended semantics of a rule
>> set such as stratified, well-founded, stable models, is denoted by a
>> special label (e.g. an attribute or additional construct) for the rule
>> set and not by different constructs for negations. Otherwise a simple
>> (business) rule set cannot be interchanged between a WFS rule engine
>> and a Stable rule engine without a translation.
> How would that work?  If a ruleset was labeled
> "use-well-founded-semantics" and I was a "stable-semantics" engine, what
> would I do with it?
>      -- Sandro

+43 1 58801 18470

Jos de Bruijn,
Many would be cowards if they had courage
  - Thomas Fuller

Received on Tuesday, 28 April 2009 11:57:40 UTC