Scholay

学术搜索 · AI 审稿 · LaTeX 协作

A framework for model-based repair

作者:Ying Sun, Daniel S. Weld · 年份:1993 · 被引用次数:19 · 研究领域:Model-Driven Software Engineering Techniques、Software Engineering Research、AI-based Problem Solving and Planning

We describe irs, a program that combines partialorder planning with gde-style, model-based diagnosis to achieve an integrated approach to repair. Our system makes three contributions to the field of diagnosis. First, we provide a unified treatment of both information-gathering and state-altering actions via the uwl representation language. Second, we describe a way to use part-replacement operations (in addition to probes) to gather diagnostic information. Finally, we define a cost function for decision making that accounts for both the eventual need to repair broken parts and the dependence of costs on the device state. Introduction Although researchers have investigated model-based diagnosis for many years, only recently has attention turned to what should, perhaps, have been the central question all along: repair. When field-replaceable parts contain multiple components, focusing on determining the exact component responsible for faulty behavior can be counterproductive, since the ...