×

从点到间隔。 (英语) Zbl 0794.03094号

可表示关系代数具有网络的某种性质。关系代数的表示可以进一步分为齐次表示和泛表示。这些特性还具有网络特性(合并和联合嵌入特性)。对于齐次、普适的情形,给出了从点代数构造区间代数的方法。这被用于给出一个区间的度量代数,一个能够表示Allen的区间关系以及度量约束的关系代数。

MSC公司:

03G15年 柱代数和多代数;关系代数
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Allen J.F.,通信ACM 26(11)第832页–(1983)·Zbl 0519.68079号 ·数字对象标识代码:10.1145/182.358434
[2] Allen,J.F.和Koomen,J.A.,1983年。”使用时间世界模型进行规划。程序。第八届国际米兰。人工智能联合会议(IJCAI'83),西德卡尔斯鲁厄”。741–747.
[3] van Beek P.,计算智能6 pp 132–(1990)·文件编号:10.1111/j.1467-8640.1990.tb00130.x
[4] 院长。1987年,“McDermott临时数据库管理。人工智能,32“。
[5] Dechter Meiri,珀尔。时间约束网络。人工智能,49(1991)·Zbl 0737.68070号
[6] 赫希,R.1990年。”艾伦点代数和区间代数的表现力。帝国理工学院手稿”。
[7] Kautz,H.A.和Ladkin,P.1991年。”整合度量和定性时间推理。程序。第九届全国人工智能大会(AAAI'91),加利福尼亚州安杰姆”。241–246之间。
[8] Ladkin,P.和Maddux,R.,1988年。”关于二进制约束网络。加州帕洛阿尔托凯斯特尔研究所技术报告”·Zbl 0813.03045号
[9] Ladkin,P.1989。”区间的度量约束满意度。技术报告TR-89-083,ICSI,Berkeley”。
[10] Ligozat,G.1990年。”区间代数的弱表示。程序。第八届全国人工智能大会(AAAI'90),马萨诸塞州波士顿”。715–720.
[11] 林登,R.1950。”关系代数的表示。数学年鉴,51(3)“·Zbl 0037.29302号 ·doi:10.2307/1969375
[12] McKenzie,R.1970年。”积分关系代数的表示。密歇根数学杂志,17“·Zbl 0191.01102号
[13] Meiri,I.1991年。”在时间推理中结合定性和定量约束。技术报告R-160,加州大学洛杉矶分校,12月。”。
[14] 佩拉文,R.N.1988。”一种采用并行行动和外部事件进行规划的正式方法。纽约罗切斯特大学博士论文”。
[15] Vilain,M.和Kautz,H.1986年。”时间推理的约束传播算法。程序。国家人工智能大会(AAAI'86)”。377–382.
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。