Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.