Skip to main content
SpringerLink
Log in

Memory Management in Resource-Bounded Agents

  • Conference paper
  • First Online:
AI*IA 2019 – Advances in Artificial Intelligence (AI*IA 2019)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 11946))

Abstract

In intelligent agents, memory has a very important and decisive role for the choice of future behaviors, since it is progressively formed through the agent’s interactions with the external environment. Previous work exists in the logic concerning the formalization of the reasoning on the formation of beliefs and the interaction with the background knowledge in non-omniscient agents. We extend this work by inserting the concept of time through a particular function that assigns a “timing” to beliefs and inferences.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Alechina, N., Logan, B., Whitsey, M.: A complete and decidable logic for resource-bounded agents. In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19–23 August 2004, pp. 606–613. IEEE Computer Society, New York (2004)

    Google Scholar 

  2. Areces, C., Blackburn, P., Marx, M.: Hybrid logics: Characterization, interpolation and complexity. J. Symb. Log. 66(3), 977–1010 (2001)

    Article  MathSciNet  Google Scholar 

  3. Atkinson, R.C., Shiffrin, R.M.: Human memory: a proposed system and its control processes. Psychol. Learn. Motiv. 2, 89–195 (1968)

    Article  Google Scholar 

  4. Balbiani, P., Duque, D.F., Lorini, E.: A logical theory of belief dynamics for resource-bounded agents. In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, AAMAS 2016, pp. 644–652. ACM (2016)

    Google Scholar 

  5. Bansal, A.K., Ramohanarao, K., Rao, A.: Distributed storage of replicated beliefs to facilitate recovery of distributed intelligent agents. In: Singh, M.P., Rao, A., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 77–91. Springer, Heidelberg (1997). https://doi.org/10.1007/BFb0026751

    Chapter  Google Scholar 

  6. Chesani, F., Mello, P., Montali, M., Torroni, P.: Monitoring time-aware commitments within agent-based simulation environments. Cybern. Syst. 42(7), 546–566 (2011)

    Article  Google Scholar 

  7. Costantini, S., Formisano, A., Pitoni, V.: Timed memory in resource-bounded agents. In: Ghidini, C., Magnini, B., Passerini, A., Traverso, P. (eds.) AI*IA 2018. LNCS (LNAI), vol. 11298, pp. 15–29. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03840-3_2

    Chapter  Google Scholar 

  8. Engelfriet, J.: Minimal temporal epistemic logic. Notre Dame J. Formal Logic 37(2), 233–259 (1996)

    Article  MathSciNet  Google Scholar 

  9. Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and The Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press, Cambridge (2014)

    Book  Google Scholar 

  10. Gero, J.S., Peng, W.: Understanding behaviors of a constructive memory agent: a Markov chain analysis. Knowl.-Based Syst. 22(8), 610–621 (2009)

    Article  Google Scholar 

  11. Grant, J., Kraus, S., Perlis, D.: A logic for characterizing multiple bounded agents. Auton. Agents Multi-Agent Syst. 3(4), 351–387 (2000). https://doi.org/10.1023/A:1010050603219

    Article  Google Scholar 

  12. Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255–299 (1990)

    Article  Google Scholar 

  13. Laird, J.E., Lebiere, C., Rosenbloom, P.S.: A standard model of the mind: toward a common computational framework across artificial intelligence, cognitive science, neuroscience, and robotics. AI Mag. 38(4), 13–26 (2017)

    Article  Google Scholar 

  14. Liew, P.S., Gero, J.S.: An implementation model of constructive memory for situated design agent, pp. 257–276 (2002)

    Google Scholar 

  15. Logie, R.H.: Visuo-spatial working memory (1994)

    Google Scholar 

  16. Micucci, D., Oldani, M., Tisato, F.: Time-aware multi agent systems. In: Weyns, D., Holvoet, T. (eds.) Multiagent Systems and Software Architecture, Proceedings of the Special Track at Net. ObjectDays, pp. 71–78. Katholieke Universiteit Leuven, Belgium (2006)

    Google Scholar 

  17. Omicini, A., Ricci, A., Viroli, M.: Timed environment for web agents. Web Intell. Agent Syst. 5(2), 161–175 (2007)

    Google Scholar 

  18. Pearson, D.G., Logie, R.H.: Effects of stimulus modality and working memory load on mental synthesis performance. Imagin. Cogn. Pers. 23(2), 183–191 (2003)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DISIM, University of L’Aquila, L’Aquila, Italy

    Stefania Costantini & Valentina Pitoni

Authors
  1. Stefania Costantini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Valentina Pitoni
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Valentina Pitoni .

Editor information

Editors and Affiliations

  1. University of Calabria, Rende, Italy

    Mario Alviano

  2. University of Calabria, Rende, Italy

    Gianluigi Greco

  3. University of Calabria, Rende, Italy

    Francesco Scarcello

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Costantini, S., Pitoni, V. (2019). Memory Management in Resource-Bounded Agents. In: Alviano, M., Greco, G., Scarcello, F. (eds) AI*IA 2019 – Advances in Artificial Intelligence. AI*IA 2019. Lecture Notes in Computer Science(), vol 11946. Springer, Cham. https://doi.org/10.1007/978-3-030-35166-3_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-35166-3_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-35165-6

  • Online ISBN: 978-3-030-35166-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation