- From: Pat Hayes <phayes@ihmc.us>
- Date: Fri, 4 Jul 2008 12:07:56 -0700
- To: "[ontolog-forum] " <ontolog-forum@ontolog.cim3.net>
- Cc: "[ontolog-forum]" <ontolog-forum@ontolog.cim3.net>, semanticweb@yahoogroups.com, welty@us.ibm.com, public-semweb-lifesci hcls <public-semweb-lifesci@w3.org>, semantic_web@googlegroups.com, "John F. Sowa" <sowa@bestweb.net>
At 1:55 PM -0400 7/4/08, John F. Sowa wrote: >Folks, > >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: ... 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.) 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
Received on Friday, 4 July 2008 19:08:35 UTC