KSL-92-46 + redirect page
Acquiring (Ir)relevance Knowledge for Problem solving + Has identifier
Acquiring (Ir)relevance Knowledge for Problem solving + Ksl tr id
Acquiring (Ir)relevance Knowledge for Problem solving + Number
| Acquiring (Ir)relevance Knowledge for Problem solving |
Bibtype
techreport
Has publishing details
April,1992
Has title
Acquiring (Ir)relevance Knowledge for Problem solving
Has where published
KSL-92-46
Has year
1992
Title
Acquiring (Ir)relevance Knowledge for Problem solving
Year
1992
Abstract
A major drawback of artificial intelligenc … A major drawback of artificial intelligence systems that rely on declarative representations is that the efficiency of reasoning degrades quickly as the size of the knowledge base increases. To address this problem when building a system, we need to acquire not only knowledge about the domain, but also knowledge about the control of reasoning. In this paper, we discuss one type of such control knowledge, namely, relevance of our knowledge to specific problem solving goals. We show how this knowledge can be used by the problem solver either to ignore part of its knowledge or to automatically create abstractions and how the system can guide the acquisition of such knowledge.We ground our discussion in a framework in which knowledge about relevance can be stated, reasoned with and analyzed. We apply the framework to the problem of modeling physical devices, where creating abstractions for a given task is crucial in order to perform effective problem solving. rder to perform effective problem solving.
Author
Alon Y. Halevy and Yumi Iwasaki and Hiroshi Motoda +
Has author
Alon Y. Halevy and Yumi Iwasaki and Hiroshi Motoda +
Has identifier
Acquiring (Ir)relevance Knowledge for Problem solving +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
Acquiring (Ir)relevance Knowledge for Problem solving +
Month
April +
Number
Acquiring (Ir)relevance Knowledge for Problem solving +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
