Minimal belief and negation as failure

Fangzhen Lin and Yoav Shoham defined a propositional nonmonotonic logic which uses two independent modal operators. One of them represents minimal knowledge, the other is related to the ideas of justification (as understood in default logic) and of negation as failure. We describe a simplified versi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Artificial intelligence 1994-10, Vol.70 (1), p.53-72
1. Verfasser:	Lifschitz, Vladimir
Format:	Artikel
Sprache:	eng
Schlagworte:	Artificial intelligence Propositional nonmonotonic logic
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!