The concurrent, continuous FLUX

Authors:
Yves Martin
Affiliations:
Technische Universitat Dresden, Dresden, Germany
Venue:
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Year:
2003

Citing 5
Cited 2

Artificial intelligence: a modern approach

Artificial intelligence: a modern approach
From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem

Artificial Intelligence
cc-Golog: Towards More Realistic Logic-Based Robot Controllers

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Inferring Implicit State Knowledge and Plans with Sensing Actions

KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Reasoning about continuous processes

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

Intelligent execution monitoring in dynamic environments

Fundamenta Informaticae
Intelligent Execution Monitoring in Dynamic Environments

Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formalism of the Fluent Calculus, FLUX allows to implement complex strategies in a concise and modular fashion. In this paper, we extend the FLUX language to reason about domains involving continuous change and where actions occur concurrently. Using constraint logic programming, we show that this reasoning is performed in an efficient way.