Fast hypothetical reasoning using analogy on inference-path networks
暂无分享,去创建一个
[1] Dedre Gentner,et al. Structure-Mapping: A Theoretical Framework for Analogy , 1983, Cogn. Sci..
[2] Mitsuru Ishizuka,et al. Knowledge acquisition mechanisms for a logical knowledge base including hypotheses , 1990, Knowl. Based Syst..
[3] Mitsuru Ishizuka,et al. A Compiling Method of Propositional Knowledge Base for Abductive Generation of Lacked Knowledge , 1991 .
[4] Jean H. Gallier,et al. Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..
[5] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[6] Randy Goebel,et al. A Sketch of Analogy as Reasoning with Equality Hypotheses , 1989, AII.
[7] Stuart J. Russell,et al. A Logical Approach to Reasoning by Analogy , 1987, IJCAI.
[8] Dean Allemang,et al. Some Results Concerning the Computational Complexity of Abduction , 1989, KR.
[9] Mitsuru Ishizuka,et al. Fast hypothetical reasoning system using inference-path network , 1991, [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91.
[10] J. Dekleer. An assumption-based TMS , 1986 .
[11] Raymond Reiter,et al. Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.
[12] D. Gentner. Structure‐Mapping: A Theoretical Framework for Analogy* , 1983 .
[13] Bart Selman,et al. Hard Problems for Simple Default Logics , 1989, Artif. Intell..
[14] David Poole,et al. A Logical Framework for Default Reasoning , 1988, Artif. Intell..
[15] Mitsuru Ishizuka,et al. An efficient hypothetical reasoning system for predicate-logic knowledge-base , 1991, [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91.
[16] Randy Goebel,et al. Theorist: A Logical Reasoning System for Defaults and Diagnosis , 1987 .
[17] Kristian J. Hammond,et al. Chapter 8 – Case-based Planning , 1989 .