Abstract
We here describe research into the formal specification and implementation of resource-bounded agents. In particular, we provide an overview of our work on incorporating resource limitations into executable agent specifications. In addition, we outline future directions, highlighting both their promise and their problems.
Similar content being viewed by others
References
Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M. (eds) (1996) The imperative future: Principles of executable temporal logics. Research Studies Press, Chichester, United Kingdom
Bordini, R. H., Dastani, M., Dix, J., & El Fallah Seghrouchni, A. (Eds.) (2005). Multi-agent programming: Languages, platforms and applications. Springer-Verlag.
Bradshaw J., Greaves M., Holmback H., Karygiannis T., Silverman B., Suri N., Wong A. (1999) Agents for the Masses?. IEEE Intelligent Systems 14(2): 53–63
Cimatti, A., & Serafini, L. (1996). Mechanizing multi-agent reasoning with belief contexts. In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR’96, pp. 694–696.
Emerson, E. A. (1990). Temporal and modal logic. In J. van Leeuwen (Ed.), Handbook of theoretical computer science (pp. 996–1072). Elsevier .
Fisher M. (1996) An introduction to executable temporal logics. Knowledge Engineering Review 11(1): 43–56
Fisher M. (1997) A normal form for temporal logic and its application in theorem-proving and execution. Journal of Logic and Computation 7(4): 429–456
Fisher M. (2005) Temporal development methods for agent-based systems. Journal of Autonomous Agents and Multi-Agent Systems 10(1): 41–66
Fisher, M. (2008). Executable specification of deliberative agents. (Submitted).
Fisher, M., & Ghidini, C. (1999). Programming resource-bounded deliberative agents. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI’99), pp. 200–206.
Fisher, M., & Ghidini, C. (2000). Agents playing with dynamic resource bounds. In ECAI Workshop on Balancing Reactivity and Social Deliberation in Multi-Agent Systems. Berlin, Germany.
Fisher M., Ghidini C. (2002) Agents with bounded temporal resources. Lecture Notes in Computer Science 2403: 169–184
Fisher, M., & Ghidini, C. (2008). Executable specifications of resource-bounded agents. (Submitted).
Ghidini, C. (1999). Modelling (Un)bounded beliefs. In Proceedings of Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT). Trento, Italy.
Ghidini C., Giunchiglia F. (2001) Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(4): 221–259
Halpern J.Y., Moses Y. (1992) A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54: 319–379
Rao A.S. (1998) Decision procedures for propositional linear-time belief-desire-intention logics. Journal of Logic and Computation 8(3): 293–342
Rao, A. S., & Georgeff, M. (1995). BDI agents: From theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS) (pp. 312–319). San Francisco, CA.
van Linder, B., van der Hoek, W., & Meyer, J. J. C. (1996). Formalising motivational attitudes of agents. In Intelligent Agents II, Vol. 1037 of Lecture Notes in Computer Science. Springer-Verlag, pp. 17–32.
Wooldridge, M. (2000). Reasoning about Rational Agents. MIT Press.
Wooldridge, M., & Ciancarini, P. (2001). Agent-oriented software engineering: The state of the art. In Agent-oriented software engineering, Vol. 1957 of Lecture Notes in Artificial Intelligence.
Wooldridge M., Jennings N.R. (1995) Intelligent agents: Theory and practice. The Knowledge Engineering Review 10(2): 115–152
Wooldridge M., Rao A. (Eds) (1999) Foundations of rational agency, Applied Logic Series. Kluwer Academic Publishers, Dordrecht
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Fisher, M., Ghidini, C. Exploring the Future with Resource-Bounded Agents. J of Log Lang and Inf 18, 3–21 (2009). https://doi.org/10.1007/s10849-008-9074-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-008-9074-5