×

比较分析。 (英语) 兹伯利0654.93004

讨论了预测系统如何对参数扰动作出反应的重要问题。在这里,系统在某种意义上是指一组正则时间函数(参数),它们通过所谓的定性微分方程关联,即通过微分、加法、乘法和叠加上述参数上的一些单调函数而得到的常微分方程。在动态系统比较分析的框架内,提出了一种新的技术,称为微分定性分析(DQ),该框架基于定性仿真方法的许多概念。最初的形式仪器被开发出来,它通过形式推理(即通过应用一般推理规则)提供一组基本命题,对研究中的系统进行定性描述,并解释其动态行为。所报告理论的基本概念,如参数、地标值、系统、定性状态、行为、行为拓扑等,都是从常识而非严格的数学风格中推导出来的。但最不明显的命题得到了正式证明。
研究了两个离实际不远的模型,以显示DQ分析的优点和新技术的局限性。特别是,详细讨论了改变系统行为拓扑的扰动,并提出了一些启发式算法来克服这些困难。简要描述了一个基于LISP的计算机程序,该程序用于生成行为,对所选行为进行扰动分析,并将其结果转换为推理系统的断言。DQ被认为在本文解释的意义上是不完整的。本文中介绍的具有启发性且有点深奥的形式主义与所考虑的模型和情况的简单性形成了对比。
审核人:A.卡辛斯基

MSC公司:

93A10号 一般系统
68岁20岁 模拟(MSC2010)
93B35型 灵敏度(稳健性)
37-XX年 动力系统与遍历理论
54H20个 拓扑动力学(MSC2010)
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 蔡美儿。;Lin,P.,(《电子电路的计算机辅助分析:算法和技术》(1975),普伦蒂斯·霍尔:普伦蒂斯霍尔·恩格尔伍德·克利夫斯,新泽西州)·Zbl 0358.94002号
[2] 德克莱尔,J。;Brown,J.S.,《基于合流的定性物理学》,《人工智能》,24,7-83(1984)
[3] 德克莱尔,J。;多伊尔,J。;斯蒂尔,G.J。;Sussman,G.L.,AMORD:推理的显式控制,(人工智能和编程语言会议论文集(1977),SIGART:SIGART Rochester,NY)
[4] 德克莱尔,J。;威廉姆斯,B.,《回到回溯:控制ATMS》(AAAI-86会议记录)。美国宾夕法尼亚州费城AAAI-86会议记录(1986年)
[5] DeJong,G。;Mooney,R.,《基于解释的学习:另一种观点》,Mach。学习,1,2(1986)
[6] 福布斯,K.,《发生的逻辑》(Proceedings IJCAI-87)。IJCAI-87会议记录,意大利米兰(1987年),409-415
[7] Forbus,K.,《定性过程理论,人工智能》,24,85-168(1984)
[8] 福布斯,K。;史蒂文斯,A.,《使用定性模拟生成解释》(《技术报告》第4490页(1981年),博尔特·贝拉内克和纽曼:博尔特·伯拉内克与纽曼·剑桥,马萨诸塞州)
[9] Hamscher,W。;Davis,R.,《从第一原理诊断问题》(AI Memo 893(1987),麻省理工学院人工智能实验室:麻省理工大剑桥人工智能实验室)
[10] Hayes,P.,《天真物理学I:液体的本体论》(Hobbs,J.;Moore,R.,《常识世界的形式理论》(1985),Ablex:Ablex Norwood,NJ)
[11] Hayes,P.,《第二个天真的物理学宣言》(Hobbs,J.;Moore,R.,《常识世界的形式理论》(1985),Ablex:Ablex Norwood,NJ)
[12] Y.川崎。;Simon,H.,《设备行为中的因果关系》,人工智能,29,3-32(1986)
[13] Kedar-Cabelli,S.T。;McCarthy,L.T.,《基于解释的泛化作为归结定理证明》,(第四届机器学习国际研讨会论文集。第四届机械学习国际研讨会,加州欧文(1987))
[14] Kuipers,B.,《定性模拟的极限》(IJCAI-85会议录)。IJCAI-85会议记录,加利福尼亚州洛杉矶(1985年)·Zbl 0947.68561号
[15] Kuipers,B.,定性模拟,人工智能,29289-338(1986)·Zbl 0624.68098号
[16] 米切尔,T.M。;凯勒,R.M。;Kedar-Cabelli,S.T.,《基于解释的概括:统一观点》,马赫。学习,1,1(1986)
[17] Samuelson,P.(《经济分析基础》(1947),哈佛大学出版社:哈佛大学出版社,马萨诸塞州剑桥)·Zbl 0031.17401号
[18] Struss,P.,定性推理的数学方面,国际艺术杂志。因特尔。工程师。Struss,P.,定性推理的数学方面,国际艺术杂志。因特尔。工程师。·Zbl 0681.68118号
[19] Weld,D.,《解释复杂工程设备》(《技术报告》5489(1983),Bolt Beranek和Newman:Bolt Beranek和纽曼剑桥,马萨诸塞州)
[20] Weld,D.,关于夸张的初步报告,国际艺术杂志。因特尔。工程师。Weld,D.,关于夸张的初步报告,国际艺术杂志。因特尔。工程师。·Zbl 0722.76078号
[21] Weld,D.,《聚合在定性模拟中的应用》,人工智能,30,1,1-34(1986)
[22] Weld,D.,《比较分析技术的理论与评估》(博士论文(1988),麻省理工学院人工智能实验室:麻省理工大剑桥人工智能实验室)
[23] Williams,B.,《行动时间:将定性推理置于更坚实的基础上》(Proceedings AAAI-86)。美国宾夕法尼亚州费城AAAI-86会议记录(1986),105-112
[24] Williams,B.,驱魔控制恶魔调用:一项关于可处理非单调性的研究,(AI Memo 944(1987),麻省理工学院人工智能实验室:麻省理工学院人工智能实验室,马萨诸塞州剑桥)
[25] Williams,B.,基于定性行为描述的原则设计,(博士论文提案(1985年),麻省理工学院人工智能实验室:麻省理工大剑桥人工智能实验室)
[26] Williams,B.,MOS电路的定性分析,人工智能,24281-346(1984)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。