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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
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.
P. R. Cohen and Levesque H. J. Intention is choice with commitment. Artificial Intelligence Journal, 42:213–261, 1990.
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.
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.
A. J. Kok. A formal approach to user models in data retrieval. International Journal of Man-Machine Studies, 30:675–693, 1991.
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.
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.
H. J. Levesque, R. Reiter, Lin F., and R. B. Scherl. GOLOG: A logic programming language for dynamic domains. Artificial Intelligence, 1995. submitted.
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.
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.
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.
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.
R. Scherl and H. J. Levesque. The frame Problem and Knowledge Producing Actions. Artificial Intelligence, 1994. submitted.
Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights 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