Representing concurrent actions in extended logic programming

Authors:
Chitta Baral;Michael Gelfond
Affiliations:
Department of Computer Science, University of Texas at El Paso, El Paso, Texas;Department of Computer Science, University of Texas at El Paso, El Paso, Texas
Venue:
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Year:
1993

Citing 6
Cited 6

Applications of circumscription to formalizing common-sense knowledge

Artificial Intelligence
Logic programs with classical negation

Logic programming
ADL: exploring the middle ground between STRIPS and the situation calculus

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic reasoning in the framework of situation calculus

Artificial Intelligence - Special issue on knowledge representation
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
Soundness and completeness theorems for three formalizations of action

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

Challenges for action theories

Challenges for action theories
Restricted monotonicity

AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Reasoning about continuous processes

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Splitting a default theory

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Reasoning with actions in transaction logic

RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Applications of action languages in cognitive robotics

Correct Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP's). The purpose of this paper is to extend the language and the translation to allow reasoning about the effects of concurrent actions. Logic programming formalization of situation calculus with concurrent actions presented in the paper can be of independent interest and may serve as a test bed for the investigation of various transformations and logic programming inference mechanisms.