The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the emergence of nonmonotonic logics and introduce two major nonmonotonic formalisms, default and autoepistemic logics. We then point out to algebraic principles behind the two logics and present an abstract algebraic theory that unifies them and provides an effective framework to study properties of nonmonotonic reasoning. We conclude with comments on other major research directions in nonmonotonic logics. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Truszczyński, M. (2006). Nonmonotonic logics and their algebraic foundations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4207 LNCS, pp. 58–71). Springer Verlag. https://doi.org/10.1007/11874683_4
Mendeley helps you to discover research relevant for your work.