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. Conditional entailment is encoded in ASP and a complexity upper-bound is provided.

翻译：本文提出了一种条件回答集编程框架（Conditional ASP），用于定义回答集编程（ASP）的条件扩展。该方法建立在具有典型性的条件逻辑之上，通过将条件知识库与ASP程序相结合，允许对程序的回答集进行条件推理。该形式体系依赖于多偏好语义，并以KLM偏好语义作为特例。条件蕴涵被编码于ASP中，并给出了复杂度的上界。