Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!utegc!utcsri!clarke
From: clarke@utcsri.UUCP
Newsgroups: ont.events
Subject: U of Toronto AI seminar, Feb. 10
Message-ID: <4055@utcsri.UUCP>
Date: Tue, 3-Feb-87 13:43:05 EST
Article-I.D.: utcsri.4055
Posted: Tue Feb  3 13:43:05 1987
Date-Received: Wed, 4-Feb-87 01:36:11 EST
Distribution: ont
Organization: CSRI, University of Toronto
Lines: 24

A.I. SEMINAR, Tuesday, February 10, 3 pm, GB120
	("GB" = Galbraith Building, on St George north of College)

                           Professor James Allen
                          University of Rochester

        ``Planning Simultaneous Actions in Temporally Rich Worlds"


     This talk describes work done with Richard Pelavin over the last few
years.  We have developed a formal logic of action that allows us to
represent knowledge and reason about the interaction between events that
occur simultaneously or overlap in time.  This includes interactions
between two (or more) actions that a single agent might perform simultane-
ously, as well as interactions between an agent's actions and events occur-
ing in the external world.  The logic is built upon an interval-based tem-
poral logic extended with modal operators similar to temporal necessity and
a counterfactual operator.  Using this formalism, we can represent a wide
range of possible ways in which actions may interact.
-- 

Jim Clarke -- Dept. of Computer Science, Univ. of Toronto, Canada M5S 1A4
              (416) 978-4058
{allegra,cornell,decvax,linus,utzoo}!utcsri!clarke