Multi-Agent FLUX for the Gold Mining Domain (System Description)

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.

• Type: Conference
• Year: 2006
• Where: CLIMA
• Authors: Stephan Schiffel, Michael Thielscher
• Keywords: CLIMA 2006, CLIMA 2007, CLP-based Programming Method, FLUX, Fundamental Frame Problem