Non-Monotonic Logic I

Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6303

Full metadata record

DC Field	Value	Language
dc.creator	McDermott, Drew	-
dc.creator	Doyle, John	-
dc.date	2004-10-04T14:49:53Z	-
dc.date	2004-10-04T14:49:53Z	-
dc.date	1979-01-01	-
dc.date.accessioned	2013-10-09T02:44:48Z	-
dc.date.available	2013-10-09T02:44:48Z	-
dc.date.issued	2013-10-09	-
dc.identifier	AIM-486a	-
dc.identifier	http://hdl.handle.net/1721.1/6303	-
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721	-
dc.description	"Non-monotonic" logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such logics are very important in modeling the beliefs of active processes which, acting in the presence of incomplete information, must make and subsequently revise predictions in light of new observations. We present the motivation and history of such logics. We develop model and proof theories, a proof procedure, and applications for one important non-monotonic logic. In particular, we prove the completeness of the non-monotonic predicate calculus and the decidability of the non-monotonic sentential calculus. We also discuss characteristic properties of this logic and its relationship to stronger logics, logics of incomplete information, and truth maintenance systems.	-
dc.format	37 p.	-
dc.format	16803830 bytes	-
dc.format	12742930 bytes	-
dc.format	application/postscript	-
dc.format	application/pdf	-
dc.language	en_US	-
dc.relation	AIM-486a	-
dc.title	Non-Monotonic Logic I	-
Appears in Collections:	MIT Items

Files in This Item:

There are no files associated with this item.

DSpace JSPUI