Nonmonotonic reasoning and modal logic, from negation as failure to default logic

We present a modal characterization of two well-known nonmonotonic formalisms : the negation as failure rule and default logic. The semantics of logic programming with the negation as failure rule is described through the definition of a modal completion. In modal logic K4, this completion character...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Balbiani, Philippe
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Computer Science Logic in Computer Science logic programming modal logic nonmonotonic reasoning
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!