Graduate studies at Western
Theoria 68 (1):13-51 (2008)
|Abstract||The phrase ‘autoepistemic logic’ was introduced in Moore  to refer to a study inspired in large part by criticisms in Stalnaker  of a particular nonmonotonic logic proposed by McDermott and Doyle.1 Very informative discussions for those who have not encountered this area are provided by Moore  and the wide-ranging survey article Konolige , and the scant remarks in the present introductory section do not pretend to serve in place of those treatments as summaries of the field. A good deal of the material omitted here pertains to the specifically nonmonotonic nature of autoepistemic logic as standardly developed, but as we shall urge, there is from one point of view nothing distinctively nonmonotonic about the basic motivating ideas of the subject.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Arnon Avron, General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.
Niki Pfeifer & G. D. Kleiter (2006). Is Human Reasoning About Nonmonotonic Conditionals Probabilistically Coherent? In Proceedings of the 7 T H Workshop on Uncertainty Processing.
Anna Gomolińska (1998). On the Logic of Acceptance and Rejection. Studia Logica 60 (2):233-251.
Charles B. Cross (2003). Nonmonotonic Inconsistency. Artificial Intelligence 149 (2):161-178.
Henry E. Kyburg Jr (2001). Real Logic is Nonmonotonic. Minds and Machines 11 (4):577-595.
Henry E. Kyburg (2001). Real Logic is Nonmonotonic. Minds and Machines 11 (4):577-595.
Gerhard Brewka (1991). Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press.
Agustín Arrieta (1995). Comentarios Sobre la Relación Entre la Programación Logica Y Las Lógicas No Monótonas. Theoria 10 (3):181-198.
Riccardo Rosati (1999). Reasoning About Minimal Knowledge in Nonmonotonic Modal Logics. Journal of Logic, Language and Information 8 (2):187-203.
Anna Gomolińska (1997). A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection. Studia Logica 58 (1):113-127.
Added to index2009-01-28
Total downloads6 ( #154,981 of 738,654 )
Recent downloads (6 months)0
How can I increase my downloads?