ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Executable English and Logic (Was: accounting inteop

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Adrian Walker" <adriandwalker@xxxxxxxxx>
Date: Sun, 11 May 2008 10:42:03 -0400
Message-id: <1e89d6a40805110742v6190c9e2t2f264c6f4e57987a@xxxxxxxxxxxxxx>
Pat --

You can probably answer this off the top of your head. 

Is it correct to say that the model theoretic semantics of the following are compatible? 

(1) Datalog extended with NAF 

          (Minimal model, stratified)

(2) Classical first order logic.

I think it's often loosely stated that Datalog + NAF is a subset of FOL, but that refers to syntax, and only holds if you -- dangerously -- use the same sign for negation in both.

                                   Cheers,  -- Adrian

Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English over SQL
Online at www.reengineeringllc.com    Shared use is free

Adrian Walker
Reengineering


On Sun, May 11, 2008 at 9:51 AM, Pat Hayes <phayes@xxxxxxx> wrote:
At 10:26 PM -0400 5/10/08, John F. Sowa wrote:
>Adrian,
>
>  > Unfortunately, classical logic assigns a meaning to negation
>  > that differs from the way databases are actually used.
>
>That is true.  There are four widely used options:
>
>   1. The closed-world assumption (CWA) in which any ground clause
>      (n-tuple of constants) not asserted to be true is assumed
>      to be false.  This is typical of airline reservations:  if
>      your reservation is not in the DB, you don't have one.
>
>   2. The open-world assumption (OWA) in which any ground clause
>      not asserted to be true has an unknown truth value.  This
>      is typical of most databases generated from observations.
>      Anything not observed is not known to be true or false.
>
>   3. Three-valued logic (TVL) in which some ground clauses are
>      asserted to be true, others are asserted to be false, and
>      any others have an unknown truth value.
>
>   4. The whatever assumption (WA) in which anything not asserted
>      to be true may be false, unknown, or whatever.  This is the
>      widely used method of code-and-debug until you get tired
>      or the deadline has passed.
>
>
>  > Unfortunately, classical logic assigns a meaning to negation
>  > that differs from the way databases are actually used.
>
>Classical negation corresponds to the CWA.

I think you mean the OWA.

Pat
--
---------------------------------------------------------------------
IHMC            (850)434 8903 or (650)494 3973   home
40 South Alcaniz St.    (850)202 4416   office
Pensacola                       (850)202 4440   fax
FL 32502                        (850)291 0667    cell
http://www.ihmc.us/users/phayes      phayesAT-SIGNihmc.us
http://www.flickr.com/pathayes/collections



_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx



_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

<Prev in Thread] Current Thread [Next in Thread>