Abstract
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents connected by means of unidirectional communication channels. Agents communicate with each other by passing answer sets obtained by updating the information received from connected agents with their own private information. As an application, we show how extensive games with perfect information can be conveniently represented as logic programming agent systems, where each agent embodies the reasoning of a game player, such that the equilibria of the game correspond with the semantics agreed upon by the agents in the LPAS.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Marina De Vos and Dirk Vermeir. On the Role of Negation in Choice Logic Programs. In Michael Gelfond, Nicola Leone, and Gerald Pfeifer, editors, Logic Programming and Non-Monotonic Reasoning Conference (LPNMR’99), Lecture Notes in Artificial Intelligence, pages 236–246, Springer Verslag, 1999.
Marina De Vos and Dirk Vermeir. A Logic for Modelling Decision Making with Dynamic Preferences. In Proceedings of the Logic in Artificial Intelligence (Jelia2000) workshop, Lecture Notes in Artificial Intelligence, pages 391–406, Malaga, Spain, 2000. Springer Verslag, 2000.
Marina De Vos and Dirk Vermeir. Logic Programming Agents and Game Theory. In Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, pages 27–33, American Association for Artificial Intelligence Pres, 2001.
D. Gabbay, E. Laenens, and D. Vermeir. Credulous vs. Sceptical Semantics for Ordered Logic Programs. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 208-217, Morgan Kaufmann, 1991.
MJ. Osborne and A Rubinstein. A Course in Game Theory. The MIT Press, third edition, 1996.
David Poole. The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence, 94(1–2):7–56, 1997.
JS. Rosenschein and G Zlotkin. Rules of Encounter. Designing Conventions for Automated Negotiation among Computers. The MIT Press, 1994.
Johan van Benthem. Logic and games. Online course notes of 1999, Stanford University.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag London Limited
About this paper
Cite this paper
De Vos, M., Vermeir, D. (2003). Logic Programming Agents Playing Games. In: Bramer, M., Preece, A., Coenen, F. (eds) Research and Development in Intelligent Systems XIX. Springer, London. https://doi.org/10.1007/978-1-4471-0651-7_23
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0651-7_23
Publisher Name: Springer, London
Print ISBN: 978-1-85233-674-5
Online ISBN: 978-1-4471-0651-7
eBook Packages: Springer Book Archive