×

用同余闭包计算扩展有限模型搜索。 (英语) Zbl 1109.68643号

Buchberger,Bruno(编辑)等人,《人工智能和符号计算》。2004年9月22日至24日,第七届国际会议,AISC 2004,奥地利林茨。诉讼程序。柏林:施普林格(ISBN 3-540-23212-5/pbk)。计算机科学课堂讲稿3249。《人工智能课堂讲稿》,94-102(2004)。
摘要:模型生成问题作为约束满足问题(CSP)的一个特例,在人工智能、计算机科学和数学中有许多应用。本文描述了如何使用地面同余闭包算法来增加约束的传播。实验结果表明,使用同余闭包算法可以减少一些基准问题的搜索空间。
关于整个系列,请参见[Zbl 1062.68002号].

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68吨15 定理证明(演绎、解析等)(MSC2010)

软件:

查找器
PDF格式BibTeX公司 XML格式引用
全文: 内政部