.png){kind=icon}
返回
Reasoning about nonlinear system identification
.png){kind=icon}
PRE
AI
DOI：10.1016/S0004-3702(01)00143-6.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
System identification is the process of deducing a mathematical model of the internal dynamics of a system from observations of its outputs. The computer program PRET automates this process by building a layer of artificial intelligence (AI) techniques around a set of traditional formal engineering methods. PRET takes a generate-and-test approach, using a small, powerful meta-domain theory that tailors the space of candidate models to the problem at hand. It then tests these models against the known behavior of the target system using a large set of more-general mathematical rules. The complex interplay of heterogeneous reasoning modes that is involved in this process is orchestrated by a special first-order logic system that uses static abstraction levels, dynamic declarative meta control, and a simple form of truth maintenance in order to test models quickly and cheaply. Unlike other modeling tools-most of which use libraries to model small, well-posed problems in limited domains and rely on their users to supply detailed descriptions of the target system-PRET works with nonlinear systems in multiple domains and interacts directly with the real world via sensors and actuators. This approach has met with success in a variety of simulated and real applications, ranging from textbook systems to real-world engineering problems. (C) 2001 Elsevier Science B.V. All rights reserved.
Keyword:
automated model building
system identification
qualitative reasoning
qualitative physics
knowledge representation framework
reasoning framework
input-output modeling
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
暂无机构信息
引用论文
.png){kind=icon}
分享收藏Diagnostics of Ne–Ar mixture plasma using a fine‐structure resolved collisional radiative model
PREAI
分享收藏Can Emerging Computing Paradigms Help Enhancing Reliability Towards the End of Technology Roadmap?新兴计算范式能否在技术路线图末期提升可靠性？
PREAI
分享收藏分享收藏
查看更多内容