×
刘继明

一种基于定性三角的空间推理方法。 （英语） Zbl 0903.68179号

Artif公司。智力。 98，编号1-2137-168（1998）.
摘要：由于缺乏准确的定量信息或难以获取或处理此类信息，定性空间知识表示和推理往往成为解决科学和工程中空间约束问题的重要手段。本文提出了一种在二维欧氏空间中表示和推理空间约束的计算方法，其中先验空间信息没有精确地用定量术语表示。本工作中考虑的空间量是定性距离和定性方位角。在这里，我们明确定义了这些量的语义，然后制定了定性三角（QTRIG）的表示。由此产生的QTRIG形式主义为定性空间推理提供了必要的推理规则。在本文中，我们说明了QTRIG关系如何用于生成二维欧几里德几何问题中的定性空间描述，以及导出的定性空间说明如何用于指导基于模拟退火的精确定量值分配。最后，我们讨论了所提出的空间推理方法在计算机辅助预参数化机构设计中的运动约束分析中的应用。

引用于4文件

MSC公司：

68立方英尺 知识表示

关键词：

空间推理；定性三角学；知识表示；运动学分析

软件：

牛顿
PDF格式BibTeX公司 XML格式引用
\textit{J.Liu}，阿蒂夫。智力。98，编号1-2137-168（1998年；兹bl 0903.68179）
全文： 内政部

参考文献：

[1] Allen，J.F.，《保持对时间间隔的了解》，美国医学委员会，26，11，832-843（1983）·Zbl 0519.68079号
[2] Arnheim，R.（艺术与视觉感知（1974），加州大学出版社：加州大学伯克利分校出版社）
[3] Bernasconi，J.，《低自相关二进制序列：统计力学和配置空间分析》，J.Physique，48，4，559-567（1987）
[4] Blackwell，A.，使用部分距离排序的定性几何推理，（Gero，J.S.；Stanton，R.，《人工智能开发与应用》（1988），北荷兰人：北荷兰阿姆斯特丹），217-229
[5] Boseniuk，T。；埃贝林，W。；恩格尔。；玻尔兹曼，J。；Darwin，R.，《复杂优化策略》，物理快报。，125, 6-7, 307-310 (1987)
[6] Brost，R.，《计算配置空间障碍物的度量和拓扑特性》，（1989年IEEE机器人与自动化国际会议论文集。1989年IEEE-机器人与自动化世界会议论文集，亚利桑那州斯科茨代尔（1989）），170-176
[7] Cerny，V.，《旅行商问题的热力学方法：一种有效的模拟算法》，J.优化理论应用。，45, 1, 41-51 (1985) ·Zbl 0534.90091号
[8] （Bobrow，D.G.，《关于物理系统的定性推理》（1985年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥），7-83，另见：
[9] Dubois，D。；Prade，H.，用模糊关系进行数量级排序推理，（IFAC自动控制高级信息处理研讨会论文集。IFAC自动控制器高级信息处理会议论文集，法国南希（1989）），195-200
[10] Fallings，B.，配置空间中机构的定性位置词汇，（伊利诺伊大学计算机科学系博士论文（1987年）：伊利诺伊州乌班纳·香槟大学计算机科学部）
[11] Faltings，B.，机构定性运动学，人工智能，44，1-2，89-119（1990）
[12] Faltings，B.，《定性运动学的符号方法》，人工智能，56，2-3，139-170（1992）
[13] Faltings，B。；Baechler，E。；Primus，J.，《运动学拓扑推理》（Proceedings IJCAI-89）。《IJCAI-89会议记录》，密歇根州底特律（1989），1331-1336·Zbl 0718.68101号
[14] 福布斯，K.D。；尼尔森，P。；Faltings，B.，《定性运动学：框架》（Proceedings IJCAI-87）。IJCAI-87会议记录，意大利米兰（1987），430-435
[15] 福布斯，K.D。；尼尔森，P。；Fallings，B.，《定性空间推理：时钟项目》，人工智能，51，1-3，417-471（1991）
[16] Foster，D.H.，《视觉模式刺激的离散内部表征分析》（Beck，J.，《知觉中的组织和表征》（1982），劳伦斯·埃尔鲍姆协会：劳伦斯·埃尔鲍姆协会，新泽西州希尔斯代尔），319-341
[17] Freksa，C.，《定性空间推理》（Mark，D.M.；Frank，A.U.，《地理空间的认知和语言方面》（1991），Kluwer:Kluwer-Dordrechl）
[18] Gusgen，H.W.，《基于艾伦时间逻辑的空间推理》，（技术代表TR-89-049（1989），国际计算机科学研究所：加州伯克利国际计算机科学学院）
[19] Hajek，B.，最佳退火冷却计划，数学。操作。研究，13，2，311-329（1988）·Zbl 0652.65050号
[20] 亨特，K.H.，《机构运动几何学》（牛津工程科学丛书（1978），牛津大学出版社：牛津大学出版社）·Zbl 0726.70002号
[21] Joskowicz，L。；Neville，D.，机械行为的表示语言，工程中的人工智能，10109-116（1996）
[22] Joskowicz，L。；Sacks，E.，《机构分析的增量配置空间构建》（Proceedings AAAI-91）。AAAI-91会议记录，加利福尼亚州阿纳海姆（1991），888-893
[23] Kanizza，G.（《组织愿景》（1979），Praeger出版社：纽约Praege出版社）
[24] Kirkparlick，S。；盖拉特医学博士。；Vecchi，M.P.，《模拟退火优化》，《科学》，220671-680（1983）·Zbl 1225.90162号
[25] 科拉，S。；艾德曼，A.G。；莱利，D.R。；埃斯特林，A。；Slagle，J.R.，基于网络的机构智能设计专家系统，AI EDAM，2，1，17-32（1988）
[26] Kramer，G.A.，《求解几何约束系统》（Proceedings AAAI-90，Vol.2（1990）），708-714，马萨诸塞州波士顿
[27] Latecki，L。；Rohrig，R.，《空间推理的方向和定性角度》（Proceedings IJCAI-93）。法国尚伯里（1993）《国际商会会刊-93》，1544-1549
[28] Liu，J.，平面机构定性运动学框架，（技术报告，TR-CIM-90-14（1990），麦吉尔大学智能机械中心：魁北克省蒙特利尔麦吉尔大学，智能机械中心）
[29] Liu，J.，质量建模环境中机器人柔顺运动和最优路径的空间推理，国际机器人研究杂志，15，2，181-210（1996）
[30] 刘杰。；Daneshmend，L.K.，机器人任务规划的定性物理学，第一部分：语法推理和常识增强，（1991年IEEE/RSJ智能机器人和系统国际研讨会论文集（IROS-91）。1991年IEEE/RSJ智能机器人和系统国际研讨会论文集（IROS-91），日本大阪（1991）
[31] 刘杰。；Daneshmend，L.K.，《机器人激光规划的定性物理学》，第二部分：机械装置的运动学（1991年IEEE/RSJ智能机器人和系统国际研讨会论文集（IROS-91）。1991年IEEE/RSJ智能机器人和系统国际研讨会论文集（IROS-91），日本大阪（1991）
[32] 刘杰。；Daneshmend，L.K.，《用于复杂运动规划的任务运动学定性分析》，（1991年IEEE机器人与自动化国际会议论文集，1991年，IEEE机器人和自动化国际会议文献集，加利福尼亚州萨克拉门托（1991）），1258-1265
[33] M.Lundy。；Mees，A.，退火算法的收敛性，数学。编程，34，111-124（1987）·Zbl 0581.90061号
[34] Mavrovouniotis，M.L。；Stephanopulos，G.，《数量级推理和近似关系》（Proceedings AAAI-87）。《AAAI-87会议录》，西雅图，华盛顿州（1987），AAAI出版社/麻省理工学院出版社，626-630
[35] 北卡罗来纳州大都会。；罗森布鲁斯，A。；罗森布鲁思，M。；出纳员，A。；Teller，E.，《快速计算机器的状态方程计算》，J.Chem。物理。，21, 1087-1091 (1953) ·Zbl 1431.65006号
[36] Molitor，P.，《通过模拟退火、微处理和微编程进行层分配》，16，4-5，345-349（1985）·Zbl 0627.68002号
[37] Mukerjee，A.，《偶然对准：定性视觉方法》（IEEE机器人与自动化国际会议论文集。IEEE机器人和自动化国际会议文献集，加利福尼亚州萨克拉门托（1991）），1096-1101
[38] Orgill，C.H.，《使用正交物理约束的机器人装配在线移动模型》（《工业应用人工智能国际研讨会论文集》（1988）），401-410
[39] Pu，P.，普通和间歇机构的定性模拟，（宾夕法尼亚大学计算机和信息科学系博士论文（1989）：宾夕法尼亚大学费城分校计算机和信息学系，宾夕法尼亚州）
[40] Raiman，O.，《数量级推理》，（《AAAI-86程序集》。美国宾夕法尼亚州费城AAAI-86会议记录（1986），100-104
[41] Rock，I.（《感知的逻辑》（1983），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥）
[42] 萨克斯，E。；Joskowicz，L.，机构的自动建模和运动仿真，计算机辅助设计，25，2，106-118（1993）·Zbl 0800.70004号
[43] Sandor，G.N。；Erdman，A.G.，（高级机构设计：分析与合成（1984），Prentice-Hall：Prentice-Hall Englewood Cliffs，NJ）
[44] Stanfill，C.，《一个大领域的分解：关于机器的推理》，（美国学术期刊AAAI-83。会议记录AAAI-83，华盛顿特区（1983年），387-390
[45] Travé-Massuyès，L。；皮埃拉，N。；Missier，A.，《我们今天能用定性微积分做什么》（IFAC自动控制高级信息处理研讨会论文集。IFAC自动控制器高级信息处理会议论文集，法国南希（1989）），207-212
[46] Van Hentenryck，P。；洛朗，M。；Benhamou，F.，Newton：非线性约束上的约束规划，《科学规划》（1997），提交
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。