Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus

Authors:
Giuseppe De Giacomo;Yves Lesperance;Hector J. Levesque
Affiliations:
Dipartimento di Informatica e Sistemistica, Universita di Roma "La Sapienza", Roma, Italy;Department of Computer Science, Glendon College, York University, Toronto, ON, Canada;Department of Computer Science, University of Toronto, Toronto, ON, Canada
Venue:
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Year:
1997

Citing 8
Cited 28

Communicating sequential processes

Communicating sequential processes
The semantics of programming languages: an elementary introduction using structural operational semantics

The semantics of programming languages: an elementary introduction using structural operational semantics
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Higher order logic

Handbook of logic in artificial intelligence and logic programming
Control flow semantics

Control flow semantics
Modal and temporal logics for processes

Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
Communication and Concurrency

Communication and Concurrency
Reasoning about nondeterministic and concurrent actions: a process algebra approach

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

A hybrid procedural/deductive executive for autonomous spacecraft

AGENTS '98 Proceedings of the second international conference on Autonomous agents
A formal methodology for verifying situated agents

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Some contributions to the metatheory of the situation calculus

Journal of the ACM (JACM)
Reinventing shakey

Logic-based artificial intelligence
Reasoning agents in dynamic domains

Logic-based artificial intelligence
Business Process Modelling and Design — A Formal Model and Methodology

BT Technology Journal
A formal framework for business process modelling and design

Information Systems
A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft

Autonomous Agents and Multi-Agent Systems
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
Modeling Dynamic Domains with ConGolog

CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
A Formal Model for Business Process Modeling and Design

CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach

ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Spatial Agents Implemented in a Logical Expressible Language

RoboCup-99: Robot Soccer World Cup III
Sensing Actions, Time, and Concurrency in the Situation Calculus

ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
High-Level Robot Control through Logic

ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Simulation of Advanced Transaction Models Using GOLOG

DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Towards a Logical Approach for Soccer Agents Engineering

RoboCup 2000: Robot Soccer World Cup IV
Non-Markovian control in the situation calculus

Eighteenth national conference on Artificial intelligence
Programming Rational Agents in a Modal Action Logic

Annals of Mathematics and Artificial Intelligence
Logic-based subsumption architecture

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Specifying active databases as non-Markovian theories of actions

Journal of Intelligent Information Systems
The next big thing: position statements

IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Partial-order planning with concurrent interacting actions

Journal of Artificial Intelligence Research
Probabilistic hybrid action models for predicting concurrent percept-driven robot behavior

Journal of Artificial Intelligence Research
Reasoning about the interaction of knowlege, time and concurrent actions in the situation calculus

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Autonomy of autonomous agents

PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Plan-based control of robotic agents: improving the capabilities of autonomous robots

Plan-based control of robotic agents: improving the capabilities of autonomous robots
Knowledge representation and non-monotonic reasoning

A 25-year perspective on logic programming

Quantified Score

Hi-index	0.01

Visualization

Abstract

As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a programming language is presented and illustrated with a detailed example. The language includes facilities for prioritizing the concurrent execution, interrupting the execution when certain conditions become true, and dealing with exogenous actions. The language differs from other procedural formalisms for concurrency in that the initial state can be incompletely specified and the primitive actions can be user-defined by axioms in the situation calculus.