Published: 1996 November
Buchtitel: Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW-96), Banff, Canada, November 9-14, 1996
Most papers in model-based diagnosis and most papers in knowledge engineering on problem-solving methods focus on the description of reasoning strategies and discuss their underlying assumptions as a side-aspect. We take a complementary point of view by focusing on these underlying assumptions as these assumptions play an important role: They are necessary to characterise the precise competence of a problem-solving method in terms of the tasks that can be solved by it and in terms of the domain knowledge that is required by it. They are necessary to enable tractable problem solving for complex problems. Their introduction and the refinement of existing assumptions can be used to develop new problem-solving methods or to adapt existing ones according to task and domain-specific circumstances of a given application. For this purpose, one require a framework for dealing with these assumptions. The paper makes a step in this direction by summarizing the assumptions that can be found in the literature on component-based diagnosis. The main contribution of the paper is to collect these assumptions, to make their role for the reasoning process explicit, and to systematize these assumptions by making explicit their relationships.
Weitere Informationen unter: Link