An Adaptive Approach to Qualitative Modeling in Design

一种物理设备定性建模的自适应方法 将被调查。 物理设备的行为， 方法，通过修改和组合结构获得 已知设备的行为模型和通用设备的行为模型 域机制 一个具体的结构-行为模型 设备明确指定其结构、功能和 内部因果行为，显示其结构如何实现其 功能协调发展的 通用域机制的行为模型 规定了已知设备的功能和型号， 模型修订计划，其中每个计划适应特定类型 在结构或功能上的差异 已知的设备。 模型修订过程的重点是 已知设备的内部因果行为的知识。 该研究将评估适应性方法，以定性 建模，解决设计验证任务。 设计- 验证任务是预测拟议的设计是否会 提供所需的功能。这项研究将有助于 定性建模提供了一个统一的观点，定性 建模、模型记忆和模型学习。

An adaptive approach to qualitative modeling of physical devices will be investigated. The behaviors of a physical device, in this approach, are acquired by modifying and combining structure behavior models of known devices and behavioral models of generic domain mechanisms. The structure-behavior model of a specific device explicitly specifies its structure, its functions, and the internal causal behaviors that show how its structure achieves its functions. The behavioral model of a generic domain mechanism specifies its function and model of a known device is revised by model-revision plans, where each plan accommodates a specific type of structural or functional difference between the new and the known devices. The process of model revision is focused by knowledge of the internal causal behaviors of the known device. The research will evaluate the adaptive approach to qualitative modeling for solving the task of design verification. The design- verification task is to predict whether a proposed design will deliver the functions desired of it. This research will contribute to qualitative modeling by providing a unified view of qualitative modeling, model memory, and model learning.