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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Lespérance, Y., Levesque, H., et al.: A logical approach to high-level robot programming—a progress report. In: Kuipers, B. (ed.) Control of the Physical World by Intelligent Agents, Papers from the AAAI Fall Symposium, New Orleans, LA, pp. 109–119. AAAI Press, Menlo Park (1994)
Thielscher, M.: From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence 111, 277–299 (1999)
McCarthy, J.: Situations and Actions and Causal Laws. Stanford Artificial Intelligence Project, Memo 2, Stanford University, CA (1963)
Reiter, R.: Knowledge in Action. MIT Press, Cambridge (2001)
McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4, 463–502 (1969)
Thielscher, M.: FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programming 5, 533–565 (2005)
Thielscher, M.: Reasoning Robots: The Art and Science of Programming Robotic Agents. Applied Logic Series, vol. 33. Kluwer Academic Publishers, Dordrecht (2005)
Thielscher, M.: Representing the knowledge of a robot. In: Proceedings of KR, pp. 109–120 (2000)
Thielscher, M.: Handling implicational and universal quantification constraints in flux. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 667–681. Springer, Heidelberg (2005)
Frühwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming 37, 95–138 (1998)
Narasamdya, I., Martin, Y., Thielscher, M.: Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. In: Proceedings of KR, pp. 623–633 (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Schiffel, S., Thielscher, M. (2007). Multi-Agent FLUX for the Gold Mining Domain (System Description). In: Inoue, K., Satoh, K., Toni, F. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2006. Lecture Notes in Computer Science(), vol 4371. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69619-3_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-69619-3_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69618-6
Online ISBN: 978-3-540-69619-3
eBook Packages: Computer ScienceComputer Science (R0)