Nonmonotonic reasoning and modal logic, from negation as failure to default logic - Laboratoire d'Informatique de Paris-Nord Accéder directement au contenu
Communication Dans Un Congrès Année : 1991

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

Résumé

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 characterizes provability in logic programming with respect to SLDNF-resolution while in modal logic Pr (the modal logic of provability) it characterizes unprovability in logic programs.
Fichier principal
Vignette du fichier
Nonmonotonic reasoning and modal logic, from negation as failure to default logic.pdf (517.45 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04011851 , version 1 (02-03-2023)

Identifiants

Citer

Philippe Balbiani. Nonmonotonic reasoning and modal logic, from negation as failure to default logic. 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 1990), Jul 1990, Paris, France. pp.223--231, ⟨10.1007/BFb0028107⟩. ⟨hal-04011851⟩
6 Consultations
19 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More