| | |
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
|
