clarke@utcsri.UUCP (02/03/87)
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!clarkeclarke@utcsri.UUCP (Jim Clarke) (02/04/87)
Both Armin Haken and I posted items about this seminar. While (I presume) it
will be an excellent talk, it seems unnecessary to mention it twice, and we're
trying to keep ourselves from doing this kind of thing.
Sorry about that.
--
Jim Clarke -- Dept. of Computer Science, Univ. of Toronto, Canada M5S 1A4
(416) 978-4058
{allegra,cornell,decvax,linus,utzoo}!utcsri!clarke