Tim@CIS.UPENN.EDU (Tim Finin) (11/03/86)
Computer and Information Science Colloquium
University of Pennsylvania
3-4:30 pm Thursday, November 6, 1986
Room 216 - Moore School
PLANNING SIMULTANEOUS ACTIONS IN TEMPORALLY RICH WORLDS
Professor James Allen
Department of Computer Science
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.