Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!unc!mcnc!akgua!sdcsvax!sdcrdcf!hplabs!sri-unix!dsn@umcp-cs.arpa
From: dsn@umcp-cs.arpa
Newsgroups: net.ai
Subject: Re:  Use of if in natural language
Message-ID: <1847@sri-arpa.UUCP>
Date: Sat, 7-Jul-84 03:03:50 EDT
Article-I.D.: sri-arpa.1847
Posted: Sat Jul  7 03:03:50 1984
Date-Received: Sun, 15-Jul-84 23:49:00 EDT
Lines: 64

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