An abstract, argumentation-theoretic approach to default reasoning
作者:
摘要
We present an abstract framework for default reasoning, which includes Theorist, default logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain instances of circumscription as special cases. The framework can be understood as a generalisation of Theorist. The generalisation allows any theory formulated in a monotonic logic to be extended by a defeasible set of assumptions.
论文关键词:Default reasoning,Nonmonotonic reasoning,Abduction,Argumentation,Nonmonotonic logics,Default logic,Autoepistemic logic,Nonmonotonic modal logics,Circumscription,Logic programming,Theorist
论文评审过程:Available online 19 May 1998.
论文官网地址:https://doi.org/10.1016/S0004-3702(97)00015-5