A framework for Conditional Reasoning in Answer Set Programming
This work addresses a specific challenge in logic programming and knowledge representation, offering an incremental extension to ASP for researchers and practitioners in these domains.
The paper tackles the problem of enabling conditional reasoning within Answer Set Programming (ASP) by introducing a Conditional ASP framework that integrates a conditional logic with typicality and a multi-preferential semantics, resulting in a formalism that allows for conditional reasoning over answer sets.
In this paper we introduce a Conditional Answer Set Programming framework (Conditional ASP) for the definition of conditional extensions of Answer Set Programming (ASP). The approach builds on a conditional logic with typicality, and on the combination of a conditional knowledge base with an ASP program, and allows for conditional reasoning over the answer sets of the program. The formalism relies on a multi-preferential semantics (and on the KLM preferential semantics, as a special case) to provide an interpretation of conditionals.