Dependency semantics for sequences of extended logic programs

作者：Kruempelmann Patrick

来源：Logic Journal of the IGPL, 2012, 20(5): 943-966.

DOI：10.1093/jigpal/jzs012

• Dependency
• extended logic programming
• inconsistency

In this work, we present a framework based on the notion of dependencies. We use this framework to define semantics for inconsistent belief bases in a modular way to define general tools for handling inconsistency. We consider belief bases represented by non-monotonic formalisms, and in particular use extended logic programs and belief bases represented by sequences of these. We show the presented frameworks appliance with the answer set semantics for consistent belief bases. Moreover, we define various instantiations of the framework and show relations to other approaches. We present ways to improve the resulting semantics by means of changes to modules of the framework that lead to the definition of improved approaches to conflict handling in logic programming-based knowledge bases.

• 出版日期2012-10