dsn@umcp-cs.arpa (07/07/84)
From: Dana S. Nau <dsn@umcp-cs.arpa> Your description sounds like it may relate to the difference between deductive and abductive inference. Jim Reggia and I have been doing some research on this at the University of Maryland; the following is a partial list of references (given in "refer" format). %A J. A. Reggia %A B. Perricone %A D. S. Nau %A Y. Peng %T Answer Justification in Abductive Expert Systems for Diagnostic Problem Solving %D 1984 %R submitted for publication %A D. S. Nau %A J. A. Reggia %T Relationships between Abductive and Deductive Inference in Knowledge-Based Diagnostic Problem Solving %R submitted for publication %D 1984 %A J. A. Reggia %A D. S. Nau %A P. Y. Wang %T Diagnostic Expert Systems Based on a Set Covering Model %D Nov. 1983 %P 437-460 %J International Journal of Man-Machine Studies %A J. A. Reggia %A D. S. Nau %A P. Y. Wang %T A Theory of Abductive Inference in Diagnostic Expert Systems %D Dec. 1983 %R Tech. Report TR-1338, Computer Sci. Dept., Univ. of Maryland %C College Park, MD %A J. A. Reggia %A P. Y. Wang %A D. S. Nau %T Minimal Set Covers as a Model for Diagnostic Problem Solving %J Proc. First IEEE Computer Society Internat. Conf. on Medical Computer Sci./Computational Medicine %D Sept. 1982 %A D. S. Nau %A J. A. Reggia %A P. Y. Wang %T Knowledge-Based Problem Solving Without Production Rules %J Proc. IEEE 1983 Trends and Applications Conference %C Gaithersburg, MD %D May 1983 %P 105-108 %A J. A. Reggia %A D. S. Nau %A P. Y. Wang %T A New Inference Method for Frame-Based Expert Systems %J Proc. Annual National Conference on Artificial Intelligence %C Washington, DC %P 333-337 %D Aug. 1983