armin@utai.UUCP (02/03/87)
Announcing:
AI Seminar at the University of Toronto Computer Science Dept., Feb. 10
(Tuesday) 3PM in Galbraith Bldg. Room 120
Planning Simultaneous Actions in Temporally Rich Worlds
James F. Allen
Dept. of Computer Science
The University of Rochester
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 interactions between events that occur
simultaneously or overlap in time. This includes interactions between two
(or more) actions that a single agent might perform simultaneously, as well
as interactions between an agent's actions and events occuring in the
external world. The logic is built upon an interval-based temporal 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.
--
| Armin Haken U of T, Toronto M5S 1A4 CDN
| ..!utcsri!utai!armin armin@ai.toronto.edu
| armin%ai.toronto@csnet-relay (416)978-6277