Abstract
Core services of user modeling shell systems include the provision of representations for user model contents and for other relevant knowledge, and of reasoning mechanisms. These representation and reasoning facilities should be powerful and flexible, in order to satisfy both complex and specialized needs that developers of user modeling systems may have. This article first identifies these needs through a comprehensive overview of logic-based representation and reasoning in user modeling system. Then, the AsTRa (Assumption Type Representation) framework for logic-based user model representation and reasoning is presented. This framework obtains its power and flexibility through an integration of the two main scientific approaches that were pursued to date, namely the partition approach and the modal logic approach. The central notion of the framework is the ‘assumption type’, a partition-like partial knowledge base for storing all assumptions about the user that are of the same type. Within assumption types, logic-based representation formalisms can be employed. The semantics of assumption types and content formalisms can be characterized in terms of modal logic, so that an extension to full modal logic is possible. Moreover, special mechanisms for handling so-called ‘negative assumptions’ are developed, which are also firmly grounded in modal logic semantics. The paper concludes with a description of the user modeling shell BGP-MS as a prototypical implementation of AsTRa, and a discussion of the approach in the light of other user modeling shells.
Similar content being viewed by others
References
Allen, J. F. and Miller, B. W.: 1991, The RHET system: A Sequence of self-guided tutorials. Technical Report 325, Computer Science Department, The University of Rochester, New York.
Allen, J. F. and Miller, B. W.: 1993, The SHOCKER System: A sequence of self-guided tutorials. Technical Report (Draft), Computer Science Department, The University of Rochester, New York.
Allgayer, J., Ohlbach, H. J. and Reddig, C.: 1992, Modelling agents with logic. In: Proc. of the Third International Workshop on User Modeling. Dagstuhl, Germany, pp. 22–34.
Appelt, D. E. and Pollack, M. E.: 1992, Weighted abduction for plan ascription. User Modeling and User-Adapted Interaction 2(1–2), 1–25.
Ardissono, L. and Sestero, D.: 1996, Using dynamic user models in the recognition of the plans of the user. User Modeling and User-Adapted Interaction 5(2), 157–190.
Ballim, A.: 1992, ViewFinder: A framework for representing, ascribing and maintaining nested beliefs of interacting agents. Ph.D. thesis, Département d’Informatique, Université de Genève.
Ballim, A. and Wilks, Y.: 1991, Beliefs, stereotypes and dynamic agent modeling. User Modeling and User-Adapted Interaction 1(1), 33–65.
Beaumont, I.: 1994, User modeling in the interactive anatomy tutoring system ANATOM-TUTOR. User Modeling and User-Adapted Interaction 4(1), 21–45.
Brachman, R. J. and Schmolze, J. G.: 1985, An overview of the KL-ONE knowledge representation system. Cognitive Science 9(2), 171–216.
Brajnik, G. and Tasso, C.: 1994, A shell for developing non-monotonic user modeling systems. International Journal of Human-Computer Studies 40, 31–62.
Carberry, S.: 1989, Plan recognition and its use in understanding dialog. In: A. Kobsa and W. Wahlster (eds): User Models in Dialog Systems. Berlin, Heidelberg: Springer, pp. 133–162.
Carr, B. and Goldstein, I.: 1977, Overlays: A theory of modelling for computer-aided instruction. International Journal of Man-Machine Studies 5, 215–236.
Chin, D. N.: 1986, User modelling in UC, the UNIX consultant. In: Proc. of CHI’86. pp. 24–28.
Chin, D. N.: 1989, KNOME: Modeling what the user knows in UC. In: A. Kobsa and W. Wahlster (eds.): User Models in Dialog Systems. Berlin, Heidelberg: Springer, pp. 74–107.
Chin, D. N.: 1993, Acquiring user models. Artificial Intelligence Review 7, 185–197.
Cohen, P. R.: 1978, On knowing what to say: planning speech acts. Technical Report 118, Department of Computer Science, University of Toronto, Canada.
Cohen, R., Song, F., Spencer, B. and van Beek, P.: 1991, Exploiting temporal and novel information from the user in plan recognition. User Modeling and User-Adapted Interaction 1(2), 125–148.
Finin, T.W.: 1989, GUMS: A general user modeling shell. In: A. Kobsa and W. Wahlster (eds.): User Models in Dialog Systems. Berlin, Heidelberg: Springer, pp. 411–430.
Fink, J. and Herrmann, M.: 1993, KN-PART: Ein Verwaltungssystem zur Benutzermodellierung mit prädikatenlogischer Wissensrepräsentation. WIS-Memo 5, AG Wissensbasierte Informationssysteme, Informationswissenschaft, Universität Konstanz.
Fink, J., Kobsa, A. and Nill, A.: 1996, User-oriented adaptivity and adaptability in the AVANTI project. In: Conference ‘Designing for the Web: Empirical Studies’. Redmond, WA.
Gabbay, D. and Ohlbach, H. J.: 1992, Quantifier elimination in Second-order predicate logic. In: B. Nebel, C. Rich, and W. Swartout (eds.): Principles of Knowledge Representation and Reasoning: Proc. of the Third International Conference (KR’92). San Mateo, CA: Morgan Kaufmann, pp. 425–435.
Giangrandi, P. and Tasso, C.: 1997, Managing temporal knowledge in student modeling. In: A. Jameson, C. Paris, and C. Tasso (eds.): User Modeling: Proceedings of the Sixth International Conference. Wien, New York, pp. 415–426.
Goldstein, I. P.: 1982, The genetic graph: A representation for the evolution of procedural knowledge. In: D. Sleeman and J. S. Brown (eds.): Intelligent Tutoring Systems. New York: Academic Press, pp. 51–78.
Goodman, B. A. and Litman, D. J.: 1992, On the interaction between plan recognition and intelligent interfaces. User Modeling and User-Adapted interaction 2(1–2), 55–82.
Huang, X., McCalla, G. I., Greer, J. E. and Neufeld, E.: 1991, Revising deductive knowledge and stereotypical knowledge in a student model. User Modeling and User-Adapted Interaction 1(1), 87–115.
Hustadt, U.: 1994, A multi-modal logic for stereotyping. In: Proceedings of the Fourth International Conference on User Modeling. pp. 87–92.
Hustadt, U.: 1995, Introducing epistemic operators into a description logic. In: A. Laux and H. Wansing (eds.): Knowledge and Belief in Philosophy and Artificial Intelligence, Logica Nova. Berlin: Akademie Verlag, pp. 65–86.
Ikeda, M. and Mizoguchi, R.: 1994, FITS: A framework for ITS-A computational model of tutoring. Journal of Artificial Intelligence in Education 5(3), 319–348.
Jameson, A.: 1992, Generalizing the double-stereotype approach: A psychological perspective. In: UM92-Third International Workshop on User Modeling. pp. 69–83.
Jameson, A.: 1995, Logic is not enough: Why reasoning about another person’s beliefs is reasoning under uncertainty. In: A. Laux and H. Wansing (eds.): Knowledge and Belief in Philosophy and Artificial Intelligence. Berlin: Akademie Verlag.
Kass, R.: 1991, Building a user model implicitly from a cooperative advisory dialog. User Modeling and User-Adapted Interaction 1(3), 203–258.
Kass, R. and Finin, T.: 1988, Modeling the user in natural language systems. Computational Linguistics 14(3), 5–22.
Kautz, H. A.: 1991, A formal theory of plan recognition and its implementation. In: Reasoning about Plans. San Mateo, CA: Morgan Kaufmann, pp. 69–125.
Kay, J.: 1995, The um toolkit for reusable, long term user models. User Modeling and User-Adapted Interaction 4(3), 149–196.
Kobsa, A.: 1985, Benutzermodellierung in Dialogsystemen. Berlin, Heidelberg: Springer-Verlag.
Kobsa, A.: 1989, A taxonomy of beliefs and goals for user models in dialog systems. In: A. Kobsa and W. Wahlster (eds.): User Models in Dialog Systems. Berlin, Heidelberg: Springer, pp. 52–68.
Kobsa, A.: 1990, Modeling the user’s conceptual knowledge in BGP-MS, a user modeling shell system. Computational Intelligence 6, 193–208.
Kobsa, A.: 1992, Towards inferences in BGP-MS: combining modal logic and partition hierarchies for user modeling. In: Proceedings of the Third International Workshop on User Modeling. Dagstuhl, Germany, pp. 35–41.
Kobsa, A., Müller, D. and Nill, A.: 1994, KN-AHS: An adaptive hypertext client of the user modeling system BGP-MS. In: Proc. of the Fourth International Conference on User Modeling. Hyannis, MA, pp. 99–105.
Kobsa, A. and Pohl, W.: 1995, The user modeling shell system BGP-MS. User Modeling and User-Adapted Interaction 4(2), 59–106.
Kono, Y., Ikeda, M. and Mizoguchi, R.: 1994, THEMIS: A nonmonotonic inductive student modeling system. Journal of Artificial Intelligence in Education 5(3), 371–413.
Kripke, S.: 1963, Semantic considerations on modal logic. Acta Philosophica Fennica 16, 83–94.
McCauley, C., Stitt, C. L. and Segal, M.: 1980, Stereotyping: From prejudice to prediction. Psychological Bulletin 87, 195–208.
McCune, W. W.: 1994, OTTER 3. Reference manual and guide. Technical Report ANL-94/6, Argonne National Laboratory, Mathematics and Computer Science Division, Argonne, IL.
McTear, M. F.: 1993, User modelling for adaptive computer systems: a survey. Artificial Intelligence Review 7(3–4), 157–184.
Miller, B. W.: 1992, The rhetorical knowledge representation system reference manual. Technical Report 326 (revised), Computer Science Department, The University of Rochester, New York.
Minsky, M.: 1975, A framework for representing knowledge. In: P. Winston (ed.): The Psychology of Computer Vision. New York: McGraw-Hill.
Moore, J. D. and Paris, C. L.: 1992, Exploiting user feedback to compensate for the unreliability of user models. User Modeling and User-Adapted Interaction 2(4), 331–365.
Morik, K.: 1989, User models and conversational settings: modeling the user’s wants’. In: A. Kobsa and W. Wahlster (eds.): User Models in Dialog Systems. Berlin, Heidelberg: Springer-Verlag, pp. 364–385.
Niem, L., Fugère, B. J., Rondeau, P. and Tremblay, R.: 1993, Defining the semantics of extended genetic graphs. User Modeling and User-Adapted Interaction 3(2), 107–153.
Nwana, H. S.: 1991, User modelling and user adapted interaction in an intelligent tutoring system. User Modeling and User-Adapted Interaction 1(1), 1–32.
Ohlbach, H. J.: 1991, Semantics-based translation methods for modal logics. Journal of Logic and Computation 1(5), 691–746.
Orwant, J.: 1995, Heterogeneous learning in the doppelgänger user modeling system. User Modeling and User-Adapted Interaction 4(2), 107–130.
Paiva, A. and Self, J.: 1995, TAGUS-A user and learner modeling workbench. User Modeling and User-Adapted Interaction 4(3), 197–226.
Paris, C.: 1989, The use of explicit user models in a generation system for tailoring answers to the user’s level of expertise. In: A. Kobsa and W. Wahlster (eds.): User Models in Dialog Systems. Berlin, Heidelberg: Springer, pp. 133–162.
Peter, G. and Rösner, D.: 1994, User-model-driven generation of instructions. User Modeling and User-Adapted Interaction 3(4), 289–319.
Pohl, W.: 1996, Combining partitions and modal logic for user modeling. In: D. M. Gabbay and H. J. Ohlbach (eds.): Practical Reasoning: Proceedings of the International Conference on Formal and Applied Practical Reasoning. Berlin, Heidelberg, pp. 480–494.
Pohl, W.: 1997a, LaboUr-machine learning for user modeling. In: M. J. Smith, G. Salvendy, and R. J. Koubek (eds.): Design of Computing Systems: Social and Ergonomic Considerations (Proceedings of the Seventh International Conference on Human-Computer Interaction), Vol. B. Amsterdam, pp. 27–30.
Pohl, W.: 1997b, Logic-based representation and reasoning for user modeling shell systems. Ph.D. thesis, University of Essen.
Pohl, W. and Höhle, J.: 1997, Mechanisms for flexible representation and use of knowledge in user modeling shell systems. In: A. Jameson, C. Paris, and C. Tasso (eds.): User Modeling: Proceedings of the Sixth International Conference. Wien, New York, pp. 403–414.
Pohl, W., Höhle, J., Fink, J. and Kim, D. W.: 1995a, Building adaptive applications on widelyused platforms with BGP-MS. In: C. Stephanidis (ed.): Proc. ERCIM Workshop “Towards User Interfaces for All: Current Efforts and Future Trends”. Heraklion, Greece.
Pohl, W., Kobsa, A. and Kutter, O.: 1995b, User model acquisition heuristics based on dialogue acts. In: International Workshop on the Design of Cooperative Systems. Antibes-Juan-les-Pins, France, pp. 471–486.
Quilici, A.: 1989, AQUA: A system that detects and responds to user misconceptions. In: A. Kobsa and W. Wahlster (eds.): User Models in Dialog Systems. Berlin, Heidelberg: Springer.
Quilici, A.: 1994, Forming user models by understanding user feedback. User Modeling and User-Adapted Interaction 3(4), 321–358.
Quillian, M.: 1968, Semantic memory. In: M. Minsky (ed.): Semantic Information Processing. Cambridge, MA: MIT Press, pp. 216–270.
Retz-Schmidt, G.: 1991, Recognizing intentions, interactions, and causes of plan failures. User Modeling and User-Adapted Interaction 1(2), 173–202.
Rich, E.: 1979, User modeling via stereotypes. Cognitive Science 3, 329–354.
Rich, E.: 1983, Users are individuals: Individualizing user models. Journal of Man-Machine Studies 18, 199–214.
Rich, E.: 1989, Stereotypes and user modeling. In: A. Kobsa and W. Wahlster (eds.): User Models in Dialog Systems. Berlin, Heidelberg: Springer, pp. 35–51.
Russell, S. and Norvig, P.: 1995, Artificial Intelligence: A Modern Approach. Upper Saddle River, NJ: Prentice-Hall.
Sarner, M. and Carberry, S.: 1992, Generating tailored definitions using a multifaceted user model. User Modeling and User-Adapted Interaction 2(3), 181–210.
Schauer, H. and Pohl, W.: 1997, Generating secondary assumptions in BGP-MS. In: R. Schäfer and M. Bauer (eds.): ABIS-97: 5. GI-Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. SFB 378, Memo 65. Saarbrücken.
Scherer, J.: 1990, SB-PART: Ein Partitionsverwaltungssystem für dieWissensrepräsentationssprache SB-ONE. Memo 48, Projekt XTRA, Fachbereich Informatik, Universität Saarbrücken.
Shifroni, E. and Shanon, B.: 1992, Interactive user modeling: An integrative explicit-implicit approach. User Modeling and User-Adapted Interaction 2(4), 287–330.
Sleeman, D.: 1985, UMFE: A user modelling front-end subsystem. International Journal of Man-Machine Studies 23, 71–88.
Tattersall, C.: 1992, Generating help for users of application software. User Modeling and User-Adapted Interaction 2(3), 211–248.
Taylor, J. A., Carletta, J. and Mellish, C.: 1996, Requirements for belief models in cooperative dialogue. User Modeling and User-Adapted Interaction 6(1), 23–68.
Wahlster, W. and Kobsa, A.: 1989, User models in dialog systems. In: A. Kobsa and W. Wahlster (eds.): User Models in Dialog Systems. Berlin, Heidelberg: Springer, pp. 4–34.
Weida, R. and D. Litman: 1992, Terminological reasoning with constraint networks and an application to plan recognition. In: B. Nebel, C. Rich, and W. Swartout (eds.): Principles of Knowledge Representation and Reasoning: Proc. of the Third International Conference (KR’92). SanMateo, CA: Kaufmann, pp. 282–293.
Wu, D.: 1991, Active acquisition of user models: Implications for decision-theoretic dialog planning and plan recognition. User Modeling and User-Adapted Interaction 1(2), 149–172.
Zimmermann, J.: 1994, Hybride Wissensrepräsentation in BGP-MS: Integration der Wissensverarbeitung von SB-ONE und OTTER.WIS-Memo 12, AG Wissensbasierte Informationssysteme, Informationswissenschaft, Universität Konstanz.
Zukerman, I. and McConachy, R.: 1993, Consulting a user model to address a user’s inferences during content planning. User Modeling and User-Adapted Interaction 3(2), 155–185.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Pohl, W. Logic-Based Representation and Reasoning for User Modeling Shell Systems. User Model User-Adap Inter 9, 217–282 (1999). https://doi.org/10.1023/A:1008325713804
Issue Date:
DOI: https://doi.org/10.1023/A:1008325713804