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