arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1302.6832cs.AI
收藏

基于模型的定性时间不确定性诊断

Model-Based Diagnosis with Qualitative Temporal Uncertainty

RWTH Aachen(亚琛工业大学)

Wolfgang Nejdl, Johann Gamper

摘要:

在本文中,我们描述了一个框架,基于模型的诊断的动态系统,扩展了以前的工作在这一领域中使用和表达的时间不确定性的形式的定性区间关系的一个艾伦。基于定性和定量的时间约束扩展的逻辑框架,我们展示了如何描述行为模型(一致性和溯因),讨论如何使用抽象的观察,并显示如何计算抽象的时间诊断。这产生了一个表达框架,它允许表示复杂的时间行为,使我们能够表示时间的不确定性。由于它的抽象能力,计算独立于时间设置中的观测和时间点的数量。在整个论文中使用了肝炎诊断的一个例子。

英文摘要:

In this paper we describe a framework for model-based diagnosis of dynamic systems, which extends previous work in this field by using and expressing temporal uncertainty in the form of qualitative interval relations a la Allen. Based on a logical framework extended by qualitative and quantitative temporal constraints we show how to describe behavioral models (both consistency- and abductive-based), discuss how to use abstract observations and show how abstract temporal diagnoses are computed. This yields an expressive framework, which allows the representation of complex temporal behavior allowing us to represent temporal uncertainty. Due to its abstraction capabilities computation is made independent of the number of observations and time points in a temporal setting. An example of hepatitis diagnosis is used throughout the paper.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑