Skip to main content
Log in

Exploring the Future with Resource-Bounded Agents

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Article  Google Scholar 

  • Fisher M. (2005) Temporal development methods for agent-based systems. Journal of Autonomous Agents and Multi-Agent Systems 10(1): 41–66

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • Halpern J.Y., Moses Y. (1992) A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54: 319–379

    Article  Google Scholar 

  • Rao A.S. (1998) Decision procedures for propositional linear-time belief-desire-intention logics. Journal of Logic and Computation 8(3): 293–342

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • Wooldridge M., Rao A. (Eds) (1999) Foundations of rational agency, Applied Logic Series. Kluwer Academic Publishers, Dordrecht

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Michael Fisher.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10849-008-9074-5

Keywords

Navigation