米查·罗纳 有限域上的最小推理问题：复杂性的景观。 （英语） Zbl 1491.68213号 Baldcucini，Marcelo（编辑）等人，《逻辑编程与非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 101-113 (2017). 摘要：布尔逻辑（或等价于二元域）中命题限定的一般推理问题的复杂性最近被分类。本文将该问题推广到任意有限域。我们在这里研究的问题是由一组关系（约束语言）参数化的，从中我们可以建立一个知识库，以及用于比较模型的域上的线性顺序。为了理解约束满足问题的复杂性，我们使用最初提供的代数方法给出了有限域上最小推理问题的第一个非平凡二分法和可处理性结果。关于整个系列，请参见[Zbl 1367.68005号]. MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 PDF格式BibTeX公司 XML格式引用 \textit{M.Wrona}，莱克特。注释计算。科学。10377101-113（2017年；兹bl 1491.68213） 全文： 内政部