论文标题
非正常模态描述中的推理逻辑
Reasoning in Non-normal Modal Description Logics
论文作者
论文摘要
在概括通常的关系语义的邻里模型上解释的非正态模态逻辑已经在多个领域（例如认知，deontic和联盟推理）中发现了应用。我们在这里提出了通过将ALC与非正常模态算子相结合获得的模态描述逻辑家族中推理的初步结果。首先，我们提供了一个终止，正确和完整的图表算法的框架，以使用基于不同域的语义来检查公式在此类逻辑中的满意度。然后，我们通过限制模态操作员仅在公式中的应用，并在具有恒定域的模型上解释这些语言获得的这些语言的片段中的满足性问题，从而提供了严格的复杂性结果。
Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, and coalitional reasoning. We present here preliminary results on reasoning in a family of modal description logics obtained by combining ALC with non-normal modal operators. First, we provide a framework of terminating, correct, and complete tableau algorithms to check satisfiability of formulas in such logics with the semantics based on varying domains. We then investigate the satisfiability problems in fragments of these languages obtained by restricting the application of modal operators to formulas only, and interpreted on models with constant domains, providing tight complexity results.
