Skip to main content
SpringerLink
Log in

Intelligent agents in the Situation Calculus: An application to user modelling

  • Conference paper
  • First Online:
Practical Reasoning (FAPR 1996)

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

Included in the following conference series:

Abstract

We propose an agent based language, aimed at representing the epistemic states of users of interactive systems, with the goal to devise domain independent tools for building, updating and maintaining user models. The need of coping with change and update motivates the choice to define our language within the Situation Calculus. We refer to a multi agent Situation Calculus with clusters of alternative situations. On top of it we introduce an ontology that captures most of the knowledge needed by Intelligent Interactive Systems. We discuss the adequacy of our proposal and compare it with other agent based languages proposed in the literature.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. L. Aiello, M. Cialdea, and D. Nardi. Reasoning about student knowledge and reasoning. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (LJCAI-91). Morgan Kaufmann, 1991.

    Google Scholar 

  2. P. R. Cohen and Levesque H. J. Intention is choice with commitment. Artificial Intelligence Journal, 42:213–261, 1990.

    Article  Google Scholar 

  3. X. Huang. Modelling a student's inconsistent beliefs and attention. In G. E. Greer and G. I. McCalla, editors, Student Modelling: The Key to Individualized Knowledge-Based Instruction, volume 125 of NATO ASI Series F, pages 267–280. Springer-Verlag, 1991.

    Google Scholar 

  4. A. Kobsa. A Taxonomy of Beliefs and Goals for User Models in Dialog Systems. In A. Kobsa and W. Wahlster, editors, User Models in Dialog Systems, pages 52–68. Springer-Verlag, 1989.

    Google Scholar 

  5. A. J. Kok. A formal approach to user models in data retrieval. International Journal of Man-Machine Studies, 30:675–693, 1991.

    Google Scholar 

  6. K. Konolige and M. E. Pollack. A representationalist theory of intention. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pages 390–395. Morgan Kaufmann, 1993.

    Google Scholar 

  7. Y. Lespérance, H. J. Levesque, Lin F., D. Marcu, R. Reiter, and R. B. Scherl. Foundations of a logical approach to agent programming. In IJCAI-95 Workshop on Agent Theories, Architectures, and Languages, 1995.

    Google Scholar 

  8. H. J. Levesque, R. Reiter, Lin F., and R. B. Scherl. GOLOG: A logic programming language for dynamic domains. Artificial Intelligence, 1995. submitted.

    Google Scholar 

  9. J. McCarthy and P. Hayes. Some philosophical problem from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, pages 463–502. Edinburgh University Press, 1969.

    Google Scholar 

  10. R. C. Moore. A formal theory of knowledge and action. In J. R. Hobbs and R. C Moore, editors, Formal Theories of the Commonsense World, pages 319–358. Norwood, 1985.

    Google Scholar 

  11. A. S. Rao and M. P. Georgeff. Modelling rational agents within a BDI architecture. In Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning (KR-91), pages 473–484. Morgan Kaufmann, 1991.

    Google Scholar 

  12. R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifshitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359–380. Academic Press, 1991.

    Google Scholar 

  13. R. Scherl and H. J. Levesque. The frame Problem and Knowledge Producing Actions. Artificial Intelligence, 1994. submitted.

    Google Scholar 

  14. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.

    Article  Google Scholar 

  15. J. van Benthem. Correspondence theory. In D. Gabbay and Guenthner F., editors, Handbook of Philosophical Logic II, pages 167–247. D. Reidel Publishing Company, 1984.

    Google Scholar 

  16. J. Wainer. Yet another Semantics of Goals and Goal Priorities. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 269–273. Wiley, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, via Salaria 113, 00198, Roma, Italy

    Bruno Errico & Luigia Carlucci Aiello

Authors
  1. Bruno Errico
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luigia Carlucci Aiello
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dov M. Gabbay Hans Jürgen Ohlbach

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Errico, B., Aiello, L.C. (1996). Intelligent agents in the Situation Calculus: An application to user modelling. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_68

Download citation

  • DOI: https://doi.org/10.1007/3-540-61313-7_68

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61313-8

  • Online ISBN: 978-3-540-68454-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation