| Abstract
|
A major drawback of artificial intelligenc … A major drawback of artificial intelligence systems that rely on declarativerepresentations is that the efficiency of reasoning degrades quickly as thesize of the knowledge base increases. To address this problem when building asystem, we need to acquire not only knowledge about the domain, but alsoknowledge about the control of reasoning. In this paper, we discuss one typeof such control knowledge, namely, relevance of our knowledge to specificproblem solving goals. We show how this knowledge can be used by the problemsolver either to ignore part of its knowledge or to automatically createabstractions and how the system can guide the acquisition of such knowledge.We ground our discussion in a framework in which knowledge about relevance canbe stated, reasoned with and analyzed. We apply the framework to the problemof modeling physcial devices, where creating abstractions for a given task iscrucial in order to perform effective problem solving. rder to perform effective problem solving.
|
