×

自动推理中模拟的范围和限制。 (英语) Zbl 1351.68302号

摘要:在科学计算和真实图形动画中,模拟(即逐步计算物理系统的完整轨迹)是最常见和最重要的计算模式之一。在本文中,我们讨论了仿真在涉及高级物理推理的人工智能任务中的使用范围和限制。我们认为,在许多情况下,模拟最多只能发挥有限的作用。当任务是预测,当有完整的信息可用,当有相当高质量的理论可用,以及当涉及的尺度范围(时间和空间)不极端时,模拟最有效。当这些条件不成立时,模拟效果较差或完全不合适。我们讨论了物理推理问题的十二个特征,这些特征对基于仿真的推理提出了挑战。我们简要介绍了不依赖模拟的物理推理的替代技术。

MSC公司:

68岁20岁 模拟(MSC2010)
68吨99 人工智能

关键词:

物理推理;模拟

软件:

教堂;盖泽博
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Ang,A。;Tang,W.,《工程、规划和设计中的概率概念》(2007),威利出版社:威利纽约
[2] 巴塔利亚,P。;哈姆里克,J。;Tenenbaum,J.,《模拟作为物理场景理解引擎》,Proc。国家。阿卡德。科学。,110, 45, 18327-18332 (2013)
[3] Benger,W.,《碰撞星系、旋转中子星和合并黑洞——在任意网格上可视化高维数据集》,《新物理学杂志》。,2008年10月
[4] 波音公司。;Bräunl,T.,实时仿真系统评估,Graphite(2007)
[5] 波音公司。;Bräunl,T.,《利用多个模拟器跨越现实差距》(第十二届控制、自动化、机器人和视觉国际会议,第十二届中国广州控制、自动化和视觉国际大会(2012年))
[6] Bridson,R.,《计算机图形的流体模拟》(2008年),A.K.Peters:A.K.彼得斯·韦尔斯利,马萨诸塞州。
[7] Celani,A.,《湍流计算的前沿:挑战与展望》,J.Turbul。,8 (2007) ·Zbl 1273.76007号
[8] 查普曼,D.,《联合目标规划》,Artif。智力。,32, 3, 333-379 (1987) ·Zbl 0642.68171号
[9] Cousot,P.,通过抽象解释进行形式验证,(Goodloe,A.;Person,S.,第四届NASA形式方法研讨会。第四届美国国家航空航天局形式方法研讨会,计算机科学讲稿,第7211卷(2012),Springer:Springer-Norfolk,弗吉尼亚州),3-7
[10] Davis,E.,《固体物体行为常识预测的逻辑框架》,Artif。智力。工程师,3,3,125-140(1988)
[11] Davis,E.,《天真的物理困惑》,AI Mag.,19,4,51-79(1998年冬季)
[12] Davis,E.,《物理推理》(van Harmelen,F.;Lifschitz,V.;Porter,B.,《知识表示手册》(2008),Elsevier),597-620
[13] 戴维斯,E.,盒子是怎么工作的?,Artif公司。智力。,175, 1, 299-345 (2011) ·Zbl 1216.68259号
[14] Davis,E.,《解释文本和叙事中的定性空间推理》(spatial Cognition and Computation,2013)
[15] 戴维斯,E。;马库斯,G。;Chen,A.,《从根本不完整信息中推理:容器的案例》,(第二届认知系统进步年会(2013年),273-288
[16] 德克莱尔,J。;Brown,J.,《基于合流的定性物理学》,(Bobrow,D.,《关于物理系统的定性推理》(1985),麻省理工学院出版社:麻省理学学院出版社剑桥),7-84
[17] 埃罗尔,K。;亨德勒,J。;Nau,D.,UMCP:分层任务网络规划的健全完整程序,(《人工智能规划系统国际会议论文集》(1994年),249-254
[18] Falkenhainer,B。;Forbus,K.,《建立大规模定性模型》(《全国人工智能会议论文集》,美国人工智能学会论文集,AAAI-88(1988))
[19] Forbus,K.,《定性过程理论》(Bobrow,D.,《关于物理系统的定性推理》(1985年),麻省理工学院出版社:麻萨诸塞州坎布里奇),85-168
[20] Fromherz,M。;Bobrow,D。;de Kleer,J.,可重构系统设计和控制的基于模型的计算,AI Mag.,24,4,120(2003)
[21] Gentner,D。;Forbus,K.,《类比的计算模型》,Wiley Interdiscip。版次,认知。科学。,266-276年2月3日(2011年)
[22] 古德曼,N。;马辛卡,V。;罗伊博士。;Bonawitz,K。;Tenenbaum,J.,Church:生成模型的语言,(《人工智能的不确定性》,《人工智能中的不确定性,UAI》(2008))
[23] 海尔,E。;卢比奇,C。;Wanner,B.,《常微分方程的几何-数值积分结构保持算法》(2006),Springer:Springer New York·Zbl 1094.65125号
[24] Hayes,P.,《天真的物理宣言》(Michie,D.,《微电子时代的专家系统》(1979),爱丁堡大学出版社:爱丁堡学院出版社)
[25] Hayes,P.,《天真物理学1:液体本体论》(Hobbs,J.;Moore,R.,《常识世界的形式理论》(1985),Ablex:Ablex Norwood,NJ),71-107
[26] (霍夫曼,K.;施赖伯,M.,《计算统计物理:从台球到蒙特卡罗》(2002),施普林格:施普林格纽约)
[27] P.I.Hurtado。;Espigares,C.P。;del Pozo,J.J。;Garrido,P.L.,《非平衡扩散系统中电流的热力学:理论和模拟》,J.Stat.Phys。,154, 1-2, 214-264 (2014) ·Zbl 1291.82104号
[28] 约翰斯顿,B。;Williams,M.,常识推理系统中近似模拟的通用框架,(常识推理逻辑形式化国际研讨会(2007))
[29] Kapitaniak,M。;斯特扎尔科,J。;Grabski,J。;Kapitaniak,T.,《掷骰子的三维动力学》,《混沌》,22,4(2012)
[30] 考夫曼,D。;Vouga,E。;Tamstorf,R。;Grinspun,E.,《同时影响的反思》,《计算》。图表。(2012)
[31] 考夫曼,H。;Meyer,B.,《增强现实中的模拟教育物理实验》(SIGGRAPH Asia’08(2008))
[32] 卡普,B。;Lüdtke,J。;Maienborn,C.,“抽屉仍然关闭”:在处理描述状态的句子时模拟过去和未来的动作,Brain Lang.,112,3,159-166(2010)
[33] Klenk,M。;Bobrow,D。;德克莱尔,J。;Jansen,B.,《使模型适用于形式方法》(第十届国际模型会议论文集。第十届世界模型会议论文集中,瑞典隆德(2014))
[34] Koenig,N。;Howard,H.,《开源多机器人模拟器GAZEBO的设计和使用范例》(Intelligent Robots and Systems.Intelligence Robots and-Systems,IROS(2004))
[35] Kuehne,S.,《理解物理现象的自然语言描述》(2004),西北大学:伊利诺伊州埃文斯顿西北大学
[36] Kuipers,B.,定性模拟,Artif。智力。,29, 3, 289-338 (1986) ·兹比尔062468098
[37] 拉普拉斯,P.,《概率哲学随笔》(1814)
[38] 劳厄,T。;斯皮斯,K。;Rofer,T.,SimRobot-通用物理机器人模拟器及其在robocup中的应用,(robocup 2005:机器人足球世界杯第九届(2006),Springer:Springer Berlin),173-183
[39] 莱曼,J。;Chan,M。;Bundy,A.,物理学中本体进化的高阶方法,J.Data Semant。,1-25 (2012)
[40] 贷款,P。;卡加泰,B。;Rosen,J.,《外科模拟:急诊医学培训的新兴技术》,《临场感》,6,2,147-159(1997)
[41] 洛维特,A。;Tomei,E。;福布斯,K。;Usher,J.,通过两阶段类比映射解决几何类比问题,Cogn。科学。,33, 7, 1192-1231 (2009)
[42] 马库斯,G。;Davis,E.,《认知模型中模拟的范围和限制》(未出版)
[43] Markman,K。;克莱因,W。;Suhr,J.,《想象和心理模拟手册》(2009),心理学出版社:纽约心理学出版社
[44] 麦卡锡,J。;Hayes,P.,《从人工智能的角度来看的一些哲学问题》,(Meltzer,B.;Michie,D.,Mach.Intell.,vol.4(1969),爱丁堡大学出版社:爱丁堡美国出版社),463-502·Zbl 0226.68044号
[45] K.蒙巴里。;Berns,K.,《双足步行的建模、仿真和优化》(2013),Springer
[46] 穆尔曼,S。;Chan,W。;阿夫托斯米斯,M。;Meakin,R.,《CFD应用中规定刚体运动的接口》(第41届AIAA航空航天科学会议(2003年))
[47] Nayak,P.,因果近似,Artif。智力。,70, 1-2, 277-334 (1994) ·Zbl 0938.68845号
[48] Nyga,D。;Beetz,M.,《机器人总是想知道家务事的一切》(IEEE/RSJ智能机器人和系统国际会议(2012))
[49] Pang,T.,《计算物理导论》(2006),剑桥大学出版社:剑桥大学出版社·Zbl 1095.65002号
[50] 价格,C。;Pugh,D。;Wilson,M。;Snooke,N.,《FLAME系统:自动化电气故障模式和影响分析(FEMA)》,(IEEE可靠性和可维护性研讨会(1995年),90-95
[51] 拉希米安,A。;拉舒克,I。;韦拉帕内尼,S。;Chandramowlishwaran,A。;Malhotra,D。;月亮,L。;Biros,G.,Petascale直接数值模拟200K核和异构结构上的血流,超级计算,1-11(2010)
[52] Reiter,R.,《行动中的知识:指定和实现动态系统的逻辑基础》(2001),麻省理工学院出版社:麻省理工大剑桥出版社·Zbl 1018.03022号
[53] Robinson,S.,《模拟:模型开发和使用的实践》(2004),Wiley:Wiley Hoboken,N.J。
[54] Sanborn,A.N。;马辛卡,V.K。;Griffiths,T.L.,《协调碰撞物体的直观物理和牛顿力学》,《心理学》。版本:120,411-437(2013)
[55] Shanahan,M.,《解决框架问题:对常识惯性定律的数学研究》(1989年),麻省理工学院出版社:麻省理学院出版社剑桥,马萨诸塞州。
[56] 雪莱,M。;Zhang,J.,摆动和弯曲物体与流体流动的相互作用,Annu。流体力学版次。,43, 449-465 (2011) ·Zbl 1299.76001号
[57] Souris,J。;Delmas,D.,《Astree对安全关键航空电子软件的实验评估》,(Saglietti,F.;Oster,N.,《计算机安全、可靠性和安全》,计算机安全、可靠和安全,第26届国际会议4680。计算机安全、可靠性和安全性。计算机安全、可靠性和安全,第26届国际会议4680,计算机科学讲义(2007),施普林格:施普林格纽伦堡,德国),479-490
[58] Stewart,D.,摩擦和冲击的刚体动力学,SIAM Rev.,42,1,3-39(2000)·Zbl 0962.70010号
[60] Vogelsberger,M。;通用,S。;斯普林格尔,V。;托里,P。;Sijacki,D。;徐,D。;Hernquist,L.,《流体动力学模拟再现的星系属性》,《自然》,509,177-182(2014)
[61] 冯德拉克,M。;西格尔,L。;Jenkins,O.,概率运动跟踪的物理模拟,计算。视觉。模式识别。(2008)
[62] Weld,D.,《近似改写》,(全国人工智能会议进程,全国人工智能大会进程,AAAI-90(1990))
[63] Weld,D.,关于模型准确性的推理,Artif。智力。,56, 2, 255-300 (1992) ·Zbl 0787.68090号
[64] Weld,D.,《最少承诺计划导论》,AI Mag.,15,4,27-61(1994)
[65] 焊缝,D。;de Kleer,J.,《关于物理系统的定性推理》(1989),Morgan Kaufmann:Morgan Koufmann San Mateo,Calif。
[66] Willemain,T.,《模型公式:专家的想法和时间》,Oper。Res.,43,61916-932(1995年)
[67] 齐克,S。;Veloso,M.,《目标驱动刚体控制的基于战术的行为规划》(计算机图形论坛(2009))
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。