A modal computational framework for default reasoning

Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1997). A modal computational framework for default reasoning. In: Brewka, Gerhard, Habel, Christopher and Nebel, Bernhard, KI-97: Advances in Artificial Intelligence. 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, (373-376). 9 - 12 September 1997. doi:10.1007/3540634932_30

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
UQ9689_OA.pdf Full text (open access) application/pdf 108.88KB 459

Author Artosi, Alberto
Cattabriga, Paola
Governatori, Guido
Title of paper A modal computational framework for default reasoning
Conference name 21st Annual German Conference on Artificial Intelligence
Conference location Freiburg, Germany
Conference dates 9 - 12 September 1997
Proceedings title KI-97: Advances in Artificial Intelligence   Check publisher's open access policy
Series Lecture Notes in Computer Science
Publication Year 1997
Sub-type Fully published paper
DOI 10.1007/3540634932_30
Open Access Status File (Author Post-print)
ISBN 9783540634935
9783540695820
ISSN 0302-9743
Editor Brewka, Gerhard
Habel, Christopher
Nebel, Bernhard
Volume 1303
Start page 373
End page 376
Language eng
Abstract/Summary Usually a default rule A : B/C is intended to mean that if A holds in a state of affairs a B is consistent, then C follows by default. However, C is not a necessary conclusion: different states of affairs are possible (conceivable). According to this view, Meyer and van der Hoek developed a multimodal logic, called S5P(n), for treating non-monotonic reasoning in a monotonic setting. In this paper we shall describe a proof search algorithm for S5P(n) which has been implemented as a Prolog Interpreter.
Keyword Default logic
Non-monotonic logic
Theorem prover
Labelled tableaux
Normative reasoning
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Mon, 21 Mar 2005, 10:00:00 EST by Guido Governatori on behalf of Scholarly Communication and Digitisation Service