劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡（Gian Luca），披萨 优先描述逻辑。 （英语） Zbl 1137.68590号 Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，257-272（2007）。 摘要：我们用一个“典型性”操作符（mathbf T）扩展了描述逻辑（mathcal{ALC}），该操作符允许我们推理原型属性和异常继承。结果逻辑称为\（\mathcal{ALC}+{\mathbf T}\）。典型性操作符用于选择概念的“最正常”或“最典型”实例。在我们的框架中，知识库除了包含普通的ABoxe和TBoxe外，还可以包含形式为“（mathbf{T}（C）”的包含关系，表示典型的（C）成员具有属性（P）。典型算子的语义由一组与优先逻辑的Kraus-Lehmann-Magidor公理（mathbf{P}）密切相关的假设定义。我们首先证明了\（\mathbf｛T｝\）享有由具有偏好关系的普通结构提供的简单语义。这使我们能够获得典型算子的模态解释。利用这种模式解释，我们提出了一个确定（mathcal{ALC}+{mathbfT}）知识库可满足性的表演算。我们的演算给出了（mathcal{ALC}+{mathbfT}）可满足性的非确定性指数时间决策过程。然后，我们通过非单调补全来扩展（mathcal{ALC}+{mathbfT}）知识库，该补全允许推断特定概念实例的可定义属性。关于整个系列，请参见[Zbl 1136.68004号]. 引用于18文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 PDF格式BibTeX公司 XML格式引用 \文本{L.Giordano}等人，Lect。注释计算。科学。4790，257--272（2007；Zbl 1137.68590） 全文： DOI程序