马克西米利安·潘塞尔；安妮·亚斯敏（Anni-Yasmin Turhan） 在描述逻辑的不可行推理中包括量化{标高}_{\bot}\）。 （英语） Zbl 1491.68206号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10377, 78-84 (2017). 摘要：可失效描述逻辑（DDL）可以声明可失效的概念包含，并且通常根据KLM假设使用有理闭包进行推理。如果在带有量化的DDL中，概念之间存在可定义的包含关系，那么如果这些概念嵌套在存在限制中，也可以保持这种关系。早期的推理算法没有检测到这种关系。我们设计了一种新形式的正则模型，对经典模型进行了扩展{标高}_{\bot}\）通过满足越来越多可解释知识的元素，并表明推理w.r.t.这些模型会产生缺失的理性蕴涵。有关整个系列，请参见[Zbl 1367.68005号]. 引用于5文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 PDF格式BibTeX公司 XML格式引用 \textit{M.Pensel}和\textit{A.-Y.Turhan}，莱克特。票据计算。科学。10377，78-84（2017；Zbl 1491.68206） 全文： 内政部