×

约束系统的组合Ⅱ:理性融合。 (英语) Zbl 0992.68192号

摘要:在之前的两篇论文中[F.巴德K.U.舒尔茨,莱克特。注释计算。科学。976, 380-397; 西奥。计算。科学。192,107-161(1998)],引入了“自由合并”的概念,作为交织符号约束的解决方案结构的通用方法,并说明了如何将两个组件的约束求解器提升为自由汞齐的约束解算器。在这里,我们讨论了组合解域的第二种通用方法,称为有理合并。在实践中,如果要组合的两个解决方案结构是“理性”或“无根据”域,则理性合并似乎是首选的组合原则。例如,它表示有理树和有理列表在Prolog III的解域中交织的方式,W.Rounds使用了一种变体来组合特征结构和遗传有限的非良基集。我们证明了合理合并是一个通用的组合原则,适用于一大类结构。与自由合并的情况一样,两个组件结构的约束解算器可以组合为其有理汞齐的约束求解器。从这个算法的角度来看,理性合并似乎很有趣,因为理性合并的组合技术避免了自由合并的相应方案中所需的一个非确定性来源。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)

软件:

MEDLAR公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] P.Aczel,非西方基金会,CSLI演讲笔记,第14卷,斯坦福大学,1988年。;P.Aczel,《非资金资助集》,CSLI讲稿,第14卷,斯坦福大学,1988年。
[2] 艾特·卡奇,H。;Podelski,A。;Smolka,G.,《包含逻辑编程的基于特征的约束系统》,Theoret。计算。科学。,122, 263-283 (1994) ·Zbl 0801.68023号
[3] F.Baader,K.U.Schulz,约束求解技术的组合:代数观点,研究报告CIS-Rep-94-75,慕尼黑大学,1994年,Proc。RTA’95,《计算机科学讲义》,第914卷,施普林格,柏林,1995年,第352-366页。;F.Baader,K.U.Schulz,约束求解技术的组合:代数观点,研究报告CIS-Rep-94-75,慕尼黑大学,1994年,Proc。RTA’95,《计算机科学讲义》,第914卷,施普林格,柏林,1995年,第352-366页。
[4] 巴德,F。;Schulz,K.U.,《关于符号约束、解域和约束求解器的组合》(Montanari,U.;Rossi,F.,Proc.CP’95)。程序。CP’95,计算机科学讲义,第976卷(1995),施普林格:施普林格柏林),380-397
[5] 巴德,F。;Schulz,K.U.,自由和准自由结构的约束求解器的组合,定理。计算。科学。,192, 107-161 (1998) ·Zbl 0895.68019号
[6] 巴科芬,R。;Smolka,G.,《一个完整的递归特征理论》,Theoret。计算。科学。,146, 243-268 (1995) ·Zbl 0873.68024号
[7] 巴科芬,R。;Treinen,R.,《如何用特征赢得游戏》,(Jouannaud,J.-P.,《计算逻辑中的约束》,CCL'94。计算逻辑中的约束,Proc。CCL’94,计算机科学讲义,第845卷(1994),施普林格:施普林格柏林),320-335·Zbl 1495.68045号
[8] A.Colmerauer,有限树和无限树上的方程和不等式,Proc。第二届第五代计算机系统国际会议,1984年,第85-99页。;A.Colmerauer,有限树和无限树上的方程和不等式,Proc。第二届第五代计算机系统国际会议,1984年,第85-99页。
[9] Colmerauer,A.,《PROLOG III简介》,C.ACM,33,69-90(1990)
[10] Courcelle,B.,《无限树的基本性质》,Theoret。计算。科学。,195-169年5月25日(1983年)·Zbl 0521.68013号
[11] D.M.Gabbay,《谎言语义和逻辑编织概述》,收录于:F.Baader,K.U.Schulz(编辑),Proc。第一国际。“组合系统的前沿”研讨会,FroCoS’96,应用逻辑系列,第3卷,Kluwer学术出版社,Dordrecht,1996年。;D.M.Gabbay,《谎言语义和逻辑编织概述》,收录于:F.Baader,K.U.Schulz(编辑),Proc。第一国际。“组合系统的前沿”研讨会,FroCoS’96,应用逻辑系列,第3卷,Kluwer学术出版社,Dordrecht,1996年·Zbl 0872.03007号
[12] S.Kepser,约束求解组合,慕尼黑大学CIS博士论文,1998年。;S.Kepser,约束求解组合,博士论文,CIS,慕尼黑大学,1998年。
[13] M.J.Maher,有限树、有理树和无限树的代数的完全公理化,在:Proc。第三年。症状。《计算机科学中的逻辑》,LICS’88,苏格兰爱丁堡,IEEE计算机社会出版社,马里兰州银泉出版社,1988年,第348-357页。;M.J.Maher,有限树、有理树和无限树代数的完全公理化,收录于:Proc。第三年。症状。《计算机科学中的逻辑》,LICS’88,苏格兰爱丁堡,IEEE计算机社会出版社,马里兰州银泉出版社,1988年,第348-357页。
[14] Mal'cev,A.I.,代数系统的元数学,逻辑研究和数学基础,第66卷(1971),北荷兰:北荷兰阿姆斯特丹
[15] Pfalzgraf,J.,《逻辑纤维和多上下文系统》(Jorrand,Ph.;Kelemen,J.《人工智能研究基础》,计算机科学讲稿,第535卷(1991),Springer:Springer-Berlin)·Zbl 0793.03027号
[16] Pfalzgraf,J。;Stokkerman,K.,《机器人场景和纤维结构建模》(Pfalzgraf,J.;Wang,D.,《符号计算中的Springer系列文本和专著》,《自动实用推理:代数方法》(1994),Springer:Springer Berlin)
[17] W.C.Rounds,为基于统一的语法形式主义和逻辑编程设置值,研究报告CSLI-88-129,斯坦福大学,1988年。;W.C.Rounds,基于统一的语法形式和逻辑编程的设置值,研究报告CSLI-88-129,斯坦福,1988年。
[18] 斯莫尔卡,G。;Treinen,R.,《逻辑编程记录》,J.Logic Programming,18,3,229-258(1994)·Zbl 0803.68021号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。