[Prev][Next][Index]

Special talk by Hector Levesque


		    BELIEF AND ABDUCTIVE REASONING
			  Hector J. Levesque
		    Department of Computer Science
			University of Toronto

		  Thursday, 16 November 1989, 11:00
		    SRI International, Room AA298

While various models of belief have been proposed in the literature,
properties such as logical omniscience have been understood mainly in
terms of deductive reasoning.  Here we examine the dependence of
abductive reasoning on the underlying model of belief.  In particular,
we show that the ATMS as characterized by Reiter and de Kleer is
appropriate for the classical model of belief, but that a more limited
notion of belief leads to a more tractable form of abductive
reasoning.  This talk is an expanded version of one presented at
IJCAI-89.  
--------- 
Friends: If you intend to come to this talk, please come to the
Engineering building lobby and sign in.  Then, because the main
entrance is under construction, we will have to escort you via a side
door.

Also, please note that visitors from certain countries listed by the
U.S. government need to make arrangments in advance.  Please phone Mae
Jones at 859-2312.  A fail safe method of entry is presentation of a
green card.