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.