Exploiting Relevance through Model-Based Reasoning

作者: Roni Khardon , Dan Roth

DOI:

关键词:

摘要: Since omnipotent reasoning is hard to perform it natural look for shortcuts that (sometime) well. We say some data relevant a task if supports an efficient computation performs correctly on the task. explore few aspects of relevance and show model-based can support these representations tasks. (1)Reasoning within context way use only information situation when arriving conclusions. present two approaches in which "context" information, incorporated with reasoning, makes computational problems easier. Using techniques intelligent agent construct its view world incrementally by pasting together many "narrower" views from different contexts. (2) In cases, where relatively simple environment very complex, modeling exactly would overload superfluous information. deduction tasks, maintaining partial (in form least upper bound theory) suffices, correct be done efficiently cases. (3) suggest machine learning approach performance measures depend learns in. this framework tasks are traditional sense become tractable. This, sense, captures intuition experience easier future Although presented separately, all based interwoven work together, contributing understanding relation between tractability AI problems. This builds recent results (Khardon & Roth 1994b; 1994a). Technical details omitted

参考文章(19)
Bart Selman, Henry Kautz, Knowledge compilation using horn approximations national conference on artificial intelligence. pp. 904- 909 ,(1991)
Marco Cadoli, Semantical and computational aspects of horn approximations international joint conference on artificial intelligence. pp. 39- 44 ,(1993)
Michael J Kearns, None, Oblivious PAC learning of concept hierarchies national conference on artificial intelligence. pp. 215- 222 ,(1992)
Bart Selman, Tractable default reasoning University of Toronto. ,(1992)
Dale Schuurmans, Russell Greiner, Learning Useful Horn Approximations. principles of knowledge representation and reasoning. pp. 383- 392 ,(1992)
Henry Kautz, Bart Selman, A General Framework for Knowledge Compilation PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge. pp. 287- 300 ,(1991) , 10.1007/BFB0013538
Roni Khardon, Dan Roth, Learning to reason national conference on artificial intelligence. pp. 682- 687 ,(1994)
JONATHAN AMSTERDAM, Extending the Valiant Learning Model international conference on machine learning. pp. 381- 394 ,(1988) , 10.1016/B978-0-934613-64-4.50044-X
Bart Selman, Henry A. Kautz, Michael J. Kearns, Reasoning with characteristic models national conference on artificial intelligence. pp. 34- 39 ,(1993)
Henry Kautz, Michael Kearns, Bart Selman, Horn approximations of empirical data Artificial Intelligence. ,vol. 74, pp. 129- 145 ,(1995) , 10.1016/0004-3702(94)00072-9