迈克尔·马赫（Michael J.Maher）。 线性算术约束的推导。 （英语） Zbl 1165.68493号 Gabbrielli，Maurizio（编辑）等人，《逻辑编程》。2005年10月2日至5日在西班牙西奇举行的第21届国际会议，ICLP 2005。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29208-X/pbk）。计算机科学课堂讲稿3668174-188（2005）。 摘要：诱拐通常在部分定义的谓词上执行。本文研究了用于完全定义谓词的溯因，特别是实数上的线性算术约束。在这种情况下，诱拐可以应用于使用视图和类型推断进行查询回答，并且与并发/约束/逻辑程序的分析具有潜在的相关性。我们证明，线性算术约束上的外推问题只有很少的情况下有唯一的最一般的答案。我们描述了存在大多数一般答案的情况。一般来说，可能有无穷多个最大一般性的答案，甚至可能有没有用最大一般性答案表示的答案。我们采取措施，有限地表达这些答案。关于整个系列，请参见[Zbl 1086.68004号]. 引用于1文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68N17号 逻辑编程 68T27型 人工智能中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Maher}，莱克特。注释计算。科学。3668174-188（2005年；Zbl 1165.68493） 全文： 内政部