×
欧内斯特·戴维斯

使用间隔标签约束传播。 （英语） Zbl 0642.68176号

Artif公司。智力。 32, 281-331 (1987).
在人工智能系统中，约束传播通常用于对数量进行推断。本文研究了一种特殊的约束传播，其中用符号或区间标记数量，这些标记通过记录的约束传播。我们回顾了此类推理方案在各种人工智能系统中的应用，并评估了它们的优缺点。特别地，我们确定了各种标签和约束的约束传播的完整性和运行时间。

引用于1审查
引用于52文件

MSC公司：

68T99型 人工智能

关键词：

数量知识库；约束传播；推理方案
PDF格式BibTeX公司 XML格式引用
\textit{E.Davis}，阿蒂夫。智力。32281--331（1987；Zbl 0642.68176）
全文： 内政部

参考文献：

[1] Waltz，D.，《理解阴影场景的线条画》（Winston，P.，《计算机视觉心理学》（1975），麦格劳-希尔：麦格劳–希尔纽约）
[2] Stefik，M.，《带约束的规划》（MOLGEN:第1部分），《人工智能》，第16期，第111-139页（1981年）
[3] 德克莱尔，J。；Brown，J.S.，《基于融合的定性物理学》，人工智能，24，7-83（1984）
[4] Davis，R.，《通过因果推理进行诊断：相互作用的途径和局部性原则》（Proceedings AAAI-83）。会议记录AAAI-83，华盛顿特区（1983年），88-92
[5] Kuipers，B.，《因果关系的常识推理：从结构中导出行为》，人工智能，24169-203（1984）
[6] Simmons，R.，《常识性算术推理》（Proceedings AAAI-86）。美国宾夕法尼亚州费城AAAI-86会议记录（1986年）
[7] Brooks，R.A.，《三维模型和二维图像之间的符号推理》，《人工智能》，第17期，第285-348页（1981年）·Zbl 1497.68485号
[8] Ambler，A.P。；Popplestone，R.J.，《从特定空间关系推断物体位置》，《人工智能》，第6期，第157-174页（1975年）·兹比尔0303.68059
[9] Lozano-Perez，T.，《机械装配系统的设计》，（《技术报告》AI-TR-397（1976），麻省理工学院：马萨诸塞州剑桥分校）
[10] Taylor，R.H.，《从任务级规范合成机械手控制程序》（Memo AIM 282（1976），斯坦福大学：斯坦福大学，加利福尼亚州斯坦福）
[11] 萨瑟兰，I.E.，《SKETCHPAD:人机图形通信系统》
[12] Borning，A.，ThingLab——一种使用约束构建仿真的面向对象系统（Proceedings IJCAI-77）。马萨诸塞州坎布里奇市IJCAI-77会议记录（1977年），497-499
[13] 苏斯曼，G.J。；Steele，G.L.，CONSTRAINTS-一种表达几乎层次化描述的语言，《人工智能》，14，1-39（1980）
[14] Southwell，R.，（《工程科学中的松弛方法》（1940），克拉伦登：克拉伦登牛津）·Zbl 0028.02002号
[15] Hummel，R.A。；Zucker，S.W.，《基于松弛标记过程的基础》，IEEE Trans。帕特。分析。机器。智力。，5, 267-287 (1983) ·Zbl 0523.90086号
[16] McDermott，D.V。；Davis，E.，《通过不确定区域规划路线》，人工智能，22107-156（1984）
[17] Davis，E.，《代表和获取地理知识》（研究报告292（1984），耶鲁大学：耶鲁大学纽黑文分校，CT）·Zbl 0825.68031号
[18] Mackworth，A.K。；弗洛伊德，E.C.，约束满足问题多项式网络一致性算法的复杂性，人工智能，25，65-74（1985）
[19] Mackworth，A.K.，关系网络的一致性，人工智能，899-118（1977）·Zbl 0341.68061号
[20] 弗洛伊德，E.，综合约束表达式，Commun。美国医学会，21，11，958-966（1978）·Zbl 0386.68065号
[21] McDermott，D.V.，《基于地面的空间推断，简单物体上的度量公式》（研究报告173（1980），耶鲁大学：耶鲁大学纽黑文分校，康涅狄格州）
[22] Bogges，L.，英语空间介词的计算解释，（报告T-75（1979），伊利诺伊大学CSL：伊利诺伊州乌尔班纳·香槟大学CSL）
[23] Dean，T.，《时间意象：推理计划和问题解决时间的方法》（研究报告433（1985），耶鲁大学：耶鲁大学纽黑文分校，康涅狄格州）
[24] Alefeld，G。；Herzberger，J.（区间计算导论（1983），学术出版社：纽约学术出版社）·Zbl 0552.65041号
[25] 温诺格拉德，T.（《理解自然语言》（1972），学术出版社：纽约学术出版社）
[26] Forbus，K.，《定性过程理论，人工智能》，24，85-168（1984）
[27] Sacerdoti，E.（《计划与行为的结构》（1977），爱思唯尔：爱思唯尔纽约）·Zbl 0385.68076号
[28] Vere，S.，《及时规划：活动和目标的窗口和持续时间》，IEEE Trans。帕特。分析。机器。智力。，5, 3, 246-267 (1983)
[29] Fahlman，S.E.，机器人建造任务规划系统，人工智能，5，1-49（1974）
[30] Malik，J。；Binford，T.O.，《时间和空间中的推理》（Proceedings IJCAI-83。《IJCAI-83程序集》，卡尔斯鲁厄，F.R.G.（1983），343-345
[31] Allen，J.F.，《保持时间间隔知识》，Commun。ACM，26832-843（1983）·Zbl 0519.68079号
[32] 维兰，M。；Kautz，H.，用于时间推理的约束传播算法，（美国学术期刊AAAI-86。美国宾夕法尼亚州费城AAAI-86会议记录（1986年）
[33] 威廉姆斯，B.C.，MOS电路的定性分析，人工智能，24281-346（1984）
[34] Yemini，Y.，《位置-位置问题的一些理论方面》（第20届计算机科学基础研讨会论文集（1979）），1-7
[35] Kozen，D。；Yap，C.K.，NC中的代数细胞分解，（第26届计算机科学基础研讨会论文集（1985）），515-521
[36] Richardson，D.，涉及实变量初等函数的一些不可判定问题，J.符号逻辑，33514-520（1968）·Zbl 0175.27404号
[37] Karmakar，N.，《线性规划的一种新的多项式时间算法》，（第16届ACM计算理论研讨会论文集。第16届AC计算理论研讨会，华盛顿特区（1984）），302-311
[38] Garey，M.R。；Johnson，D.S.，（《计算机与不可处理性：NP-完备性理论指南》（1979），弗里曼：弗里曼旧金山，加利福尼亚州）·Zbl 0411.68039号
[39] McAllester，D.，《真理维护展望》（《技术备忘录521》（1980），麻省理工学院人工智能实验室：麻省理工大剑桥人工智能实验室）
[40] Luenberger，D.G.（线性和非线性规划（1973），Addison-Wesley：Addison-Whesley Reading，MA）·Zbl 0241.90052号
[41] Davis，E.，《组织空间知识》（研究报告193（1981），耶鲁大学：耶鲁大学纽黑文分校，康涅狄格州）
[42] Kahn，K。；Gorry，G.A.，机械化时间知识，人工智能，987-108（1977）
[43] Dean，T.，《不确定性下的规划和时间推理》（IEEE知识表示会议论文集。IEEE知识表达会议论文集，科罗拉多州丹佛（1984））
[44] Doyle，J.，《真实维护系统》，《人工智能》，第12期，第231-272页（1979年）
[45] McDermott，D.V.，《不等式的数据依赖性》（Proceedings AAAI-83）。《AAAI-83程序集》，卡尔斯鲁厄，F.R.G.（1983），266-269
[46] Kuipers，B.，《个人沟通》。；Kuipers，B.，《个人沟通》。
[47] Shostak，R.，《通过计算回路剩余判定线性不等式》，J.ACM，28，4，769-779（1981）·Zbl 0468.68073号
[48] Aho，A.V。；霍普克罗夫特，J。；Ullman，J.（计算机算法的设计与分析（1974），Addison-Wesley：Addison-Whesley Reading，MA）·Zbl 0326.68005号
[49] 弗雷德曼，M.L。；Tarjan，R.，Fibonacci堆及其在改进网络优化算法中的应用，（计算机科学基础会议论文集（1984）），338-346
[50] 艾伦，J。；Kautz，H.，天真时间推理模型，（Hobbs，J.；Moore，R.，《常识世界的形式理论》（1985），Ablex:Ablex-Norwood，NJ），251-268
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。