TY - GEN
T1 - Nonmonotonic logics and their algebraic foundations
AU - Truszczyński, Mirosław
PY - 2006
Y1 - 2006
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=33750318637&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33750318637&partnerID=8YFLogxK
U2 - 10.1007/11874683_4
DO - 10.1007/11874683_4
M3 - Conference contribution
AN - SCOPUS:33750318637
SN - 3540454586
SN - 9783540454588
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 58
EP - 71
BT - Computer Science Logic - 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Proceedings
T2 - 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL
Y2 - 25 September 2006 through 29 September 2006
ER -