Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Forward Chaining Rule Ordering System For Reasoning With Nonmonotonic Rule Systems
 

Summary: FROST:
A Forward Chaining Rule Ordering System
For Reasoning With Nonmonotonic Rule Systems
Sean P. Engelson Ronen Feldmany Moshe Koppel
Department of Mathematics and Computer Science
Bar-Ilan University
Ramat Gan 52900
Israel
Phone: (03) 531-8407
Fax: (03) 535-3325
fengelson,feldman,koppelg@bimacs.cs.biu.ac.il
Anil Nerodez Je rey B. Remmelx
Mathematical Sciences Institute Department of Mathematics
Cornell University University of California at San Diego
Ithaca, NY 14853. La Jolla, CA 92903
anil@math.cornell.edu jremmel@ucsd.edu
Abstract
Nonmonotonic rule systems capture the essential features of many types of nonmonotonic
reasoning formalisms including general logic programming, default logics, deductive data-
bases, pointwise circumscription, and truth maintenance systems. There is a simple forward

  

Source: Argamon, Shlomo - Department of Computer Science, Illinois Institute of Technology

 

Collections: Computer Technologies and Information Sciences