Multi-agent FLUX for the gold mining domain (system description)

Authors:
Stephan Schiffel;Michael Thielscher
Affiliations:
Dresden University of Technology, Dresden, Germany;Dresden University of Technology, Dresden, Germany
Venue:
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Year:
2006

Citing 3
Cited 2

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

Artificial Intelligence
FLUX: A logic programming method for reasoning agents

Theory and Practice of Logic Programming
Reasoning Robots: The Art and Science of Programming Robotic Agents

Reasoning Robots: The Art and Science of Programming Robotic Agents

An agent team based on FLUX for the ProMAS contest 2007

ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
The multi-agent programming contest from 2005---2010

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The mathematical foundations of FLUX are given by the fluent calculus, which provides a solution to the fundamental frame problem in classical logic. We show how FLUX can be readily used as a platform for specifying and running a system of cooperating FLUX agents for solving the Gold Mining Problem.