[Top] [All Lists]

Re: [ontolog-forum] The Open world assumption shoe does not always fit

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: semanticweb@xxxxxxxxxxxxxxx, welty@xxxxxxxxxx, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, public-semweb-lifesci hcls <public-semweb-lifesci@xxxxxx>, semantic_web@xxxxxxxxxxxxxxxx
From: Pat Hayes <phayes@xxxxxxx>
Date: Fri, 4 Jul 2008 12:07:56 -0700
Message-id: <p06230910c494251db46e@[]>
At 1:55 PM -0400 7/4/08, John F. Sowa wrote:
>The issue of nonmonotonic reasoning is important for many practical
>applications, and I'd like mention a version that I recommended in my
>knowledge representation book.  The method is based on "prioritized
>defaults," as developed by Benjamin Grosof:    (01)

...    (02)

As this thread was originally about NAF, how would one use this 
method to do NAF-style reasoning? It appears to be about default 
reasoning, which is not exactly the same (though both are, indeed, 
non-monotonic.)    (03)

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    (04)

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    (05)

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