朱利亚·辛多尼;胜彦三野;约翰·G·斯特尔。 公理化离散空间关系。 （英语） Zbl 1518.68367号 Desharnais，Jules（编辑）等人，《计算机科学中的关系和代数方法》。2018年10月29日至11月1日在荷兰格罗宁根举行的第17届RAMiCS 2018国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11194, 113-130 (2018). 概述：定性空间关系在人工智能中用于建模常识概念，例如空间区域重叠、仅接触其边界或分离。在本文中，我们通过提出一种具有通用模态的双直觉模态逻辑，即UBiSKt，扩展了先前关于离散空间中定性关系的工作。这个逻辑有一个语义，其中公式被解释为子图。我们展示了如何在UBiSKt中定义各种定性空间关系。我们基本上利用了逻辑的健全和完整公理化以及基于表格的定理证明器的实现来建立这些空间关系的新属性。我们还探讨了UBiSKt在表达空间关系的多个细节层次上的作用。逻辑的特性允许它表示在详细级别上的子图是如何在较粗级别上近似的。关于整个系列，请参见[Zbl 1398.68023号]. 引用于1文件 MSC公司： 68T27型 人工智能中的逻辑 03B45号 模态逻辑（包括规范逻辑） 68伏15 定理证明（自动和交互式定理证明、演绎、解析等） 关键词：空间关系;离散空间;直觉模态逻辑;定性表示与推理 软件：MetTeL公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Sindoni}等人，Lect。注释计算。科学。11194113-130（2018年；Zbl 1518.68367） 全文： 内政部 链接