Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!cbatt!ucbvax!ISL1.RI.CMU.EDU!Patricia.Mackiewicz
From: Patricia.Mackiewicz@ISL1.RI.CMU.EDU.UUCP
Newsgroups: comp.ai.digest
Subject: Seminar - Managing Uncertainties: Prospective Reasoning (CMU)
Message-ID: <8705111426.AA08873@ucbvax.Berkeley.EDU>
Date: Thu, 30-Apr-87 14:50:08 EDT
Article-I.D.: ucbvax.8705111426.AA08873
Posted: Thu Apr 30 14:50:08 1987
Date-Received: Wed, 13-May-87 02:19:58 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 20
Approved: ailist@stripe.sri.com


			AI SEMINAR

TOPIC:    Managing Uncertainties:  The MU System For 
	  Prospective Reasoning

SPEAKER:  Paul Cohen, University of Massachusetts, Amherst

WHEN:     Tuesday, May 5, 1987, 3:30 p.m.

WHERE:    Wean Hall 5409

ABSTRACT:

I will describe a style of problem solving, prospective reasoning, and
a development environment, MU, for building prospective reasoning
systems.  Prospective reasoning is a form of planning in which
knowledge of the state of the world and the effects of actions is
incomplete.  I will illustrate one implementation of prospective
reasoning in MU with examples from medical diagnosis.