home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / ai / 5070 < prev    next >
Encoding:
Internet Message Format  |  1993-01-28  |  1.0 KB
  1. Path: sparky!uunet!math.fu-berlin.de!uni-paderborn.de!urmel.informatik.rwth-aachen.de!gmd.de!newsserver.jvnc.net!netnews.upenn.edu!cronkite.ocis.temple.edu!picasso.ocis.temple.edu!renoir
  2. From: renoir@picasso.ocis.temple.edu (Khemdut Purang)
  3. Newsgroups: comp.ai
  4. Subject: Non monotonic reasoning
  5. Message-ID: <1993Jan27.175706.21301@cronkite.ocis.temple.edu>
  6. Date: 27 Jan 93 17:57:06 GMT
  7. Sender: news@cronkite.ocis.temple.edu (NetWork News (readnews))
  8. Organization: Temple University
  9. Lines: 21
  10. X-Newsreader: TIN [version 1.1 PL8]
  11.  
  12.  
  13.     hi
  14.  
  15.     i wonder if anyone knows about any work done on some
  16.     form of practical( or nearly so) non monotonic reasoning 
  17.     system and if there has been any comparison of the
  18.     various forms of non monotonic reasoning - default logic,
  19.     modal logic, or circumscription.
  20.  
  21.     all i can find in the literature are very small toy
  22.     problems.
  23.     
  24.     also, i would like to know if anyone has had any experience
  25.     with ginsberg's mvl system, and if it can easily do
  26.     circumscription and other forms of non monotonic logic as
  27.     claimed.
  28.  
  29.     thanks a lot.
  30.     
  31.  
  32.     kpurang
  33.