[mod.ai] Seminar - Planning Simultaneous Actions

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.