A Sphere World Semantics for Default Reasoning
作者： João C. P. Silva , Sheila R. M. Veloso
关键词:
摘要: The purpose of this paper is to show that we can consider an extension a Reiter's default theory (W,Δ) as the expansion (belief) set W by some maximal D consequences defaults in Δ. We will use model revision functions proposed Grove [13] characterize models extensions logic [24], showing class obtain special case when (i.e., new sentence A added belief K and no deleted), logic. Furthermore, Poole's system for reasoning be characterized same way.
springer.com
sci-hub.st 参考文章(22)
Miroslaw Truszczynski, V. Wiktor Marek, Stable Semantics for Logic Programs and Default Theories. NACLP. pp. 243- 256 ,(1989)
Witold Lukaszewicz, Considerations on Default Logic. non-monotonic reasoning. pp. 165- 193 ,(1984)
Gerhard Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense ,(1991)
Philippe Besnard, An introduction to default logic ,(1989)
David Makinson, General theory of cumulative inference non-monotonic reasoning. pp. 1- 18 ,(1988) , 10.1007/3-540-50701-9_16
Witold Łukaszewicz, Non-monotonic reasoning : formalization of commonsense reasoning Ellis Horwood. ,(1990)
Craig Boutilier, Unifying default reasoning and belief revision in a modal framework Artificial Intelligence. ,vol. 68, pp. 33- 85 ,(1994) , 10.1016/0004-3702(94)90095-7
CARLOS E. ALCHOURRON, DAVID MAKINSON, On the logic of theory change: Contraction functions and their associated revision functions Theoria. ,vol. 48, pp. 14- 37 ,(2008) , 10.1111/J.1755-2567.1982.TB00480.X
M. Truszczynski, Wiktor W. Marek, Nonmonotonic Logic: Context-Dependent Reasoning Springer-Verlag New York, Inc.. ,(1997)
Peter Gärdenfors, David Makinson, Nonmonotonic inference based on expectations Artificial Intelligence. ,vol. 65, pp. 197- 245 ,(1994) , 10.1016/0004-3702(94)90017-5