Skip to main content
SpringerLink
Log in

Logic-Based Representation and Reasoning for User Modeling Shell Systems

  • Published:
User Modeling and User-Adapted Interaction Aims and scope Submit manuscript

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.

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

Access this article

Log in via an institution

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

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Appelt, D. E. and Pollack, M. E.: 1992, Weighted abduction for plan ascription. User Modeling and User-Adapted Interaction 2(1–2), 1–25.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • Ballim, A. and Wilks, Y.: 1991, Beliefs, stereotypes and dynamic agent modeling. User Modeling and User-Adapted Interaction 1(1), 33–65.

    Article  Google Scholar 

  • Beaumont, I.: 1994, User modeling in the interactive anatomy tutoring system ANATOM-TUTOR. User Modeling and User-Adapted Interaction 4(1), 21–45.

    Article  Google Scholar 

  • Brachman, R. J. and Schmolze, J. G.: 1985, An overview of the KL-ONE knowledge representation system. Cognitive Science 9(2), 171–216.

    Article  Google Scholar 

  • Brajnik, G. and Tasso, C.: 1994, A shell for developing non-monotonic user modeling systems. International Journal of Human-Computer Studies 40, 31–62.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • Carr, B. and Goldstein, I.: 1977, Overlays: A theory of modelling for computer-aided instruction. International Journal of Man-Machine Studies 5, 215–236.

    Google Scholar 

  • 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.

    Google Scholar 

  • Chin, D. N.: 1993, Acquiring user models. Artificial Intelligence Review 7, 185–197.

    Article  Google Scholar 

  • Cohen, P. R.: 1978, On knowing what to say: planning speech acts. Technical Report 118, Department of Computer Science, University of Toronto, Canada.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Kass, R.: 1991, Building a user model implicitly from a cooperative advisory dialog. User Modeling and User-Adapted Interaction 1(3), 203–258.

    Article  Google Scholar 

  • Kass, R. and Finin, T.: 1988, Modeling the user in natural language systems. Computational Linguistics 14(3), 5–22.

    Google Scholar 

  • 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.

    Google Scholar 

  • Kay, J.: 1995, The um toolkit for reusable, long term user models. User Modeling and User-Adapted Interaction 4(3), 149–196.

    Article  Google Scholar 

  • Kobsa, A.: 1985, Benutzermodellierung in Dialogsystemen. Berlin, Heidelberg: Springer-Verlag.

    Google Scholar 

  • 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.

    Google Scholar 

  • Kobsa, A.: 1990, Modeling the user’s conceptual knowledge in BGP-MS, a user modeling shell system. Computational Intelligence 6, 193–208.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Kobsa, A. and Pohl, W.: 1995, The user modeling shell system BGP-MS. User Modeling and User-Adapted Interaction 4(2), 59–106.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • Kripke, S.: 1963, Semantic considerations on modal logic. Acta Philosophica Fennica 16, 83–94.

    Google Scholar 

  • McCauley, C., Stitt, C. L. and Segal, M.: 1980, Stereotyping: From prejudice to prediction. Psychological Bulletin 87, 195–208.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • McTear, M. F.: 1993, User modelling for adaptive computer systems: a survey. Artificial Intelligence Review 7(3–4), 157–184.

    Article  Google Scholar 

  • Miller, B. W.: 1992, The rhetorical knowledge representation system reference manual. Technical Report 326 (revised), Computer Science Department, The University of Rochester, New York.

    Google Scholar 

  • Minsky, M.: 1975, A framework for representing knowledge. In: P. Winston (ed.): The Psychology of Computer Vision. New York: McGraw-Hill.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • Ohlbach, H. J.: 1991, Semantics-based translation methods for modal logics. Journal of Logic and Computation 1(5), 691–746.

    Google Scholar 

  • Orwant, J.: 1995, Heterogeneous learning in the doppelgänger user modeling system. User Modeling and User-Adapted Interaction 4(2), 107–130.

    Article  Google Scholar 

  • Paiva, A. and Self, J.: 1995, TAGUS-A user and learner modeling workbench. User Modeling and User-Adapted Interaction 4(3), 197–226.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • Peter, G. and Rösner, D.: 1994, User-model-driven generation of instructions. User Modeling and User-Adapted Interaction 3(4), 289–319.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Quilici, A.: 1994, Forming user models by understanding user feedback. User Modeling and User-Adapted Interaction 3(4), 321–358.

    Article  Google Scholar 

  • Quillian, M.: 1968, Semantic memory. In: M. Minsky (ed.): Semantic Information Processing. Cambridge, MA: MIT Press, pp. 216–270.

    Google Scholar 

  • Retz-Schmidt, G.: 1991, Recognizing intentions, interactions, and causes of plan failures. User Modeling and User-Adapted Interaction 1(2), 173–202.

    Article  Google Scholar 

  • Rich, E.: 1979, User modeling via stereotypes. Cognitive Science 3, 329–354.

    Article  Google Scholar 

  • Rich, E.: 1983, Users are individuals: Individualizing user models. Journal of Man-Machine Studies 18, 199–214.

    Google Scholar 

  • 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.

    Google Scholar 

  • Russell, S. and Norvig, P.: 1995, Artificial Intelligence: A Modern Approach. Upper Saddle River, NJ: Prentice-Hall.

    Google Scholar 

  • Sarner, M. and Carberry, S.: 1992, Generating tailored definitions using a multifaceted user model. User Modeling and User-Adapted Interaction 2(3), 181–210.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • Shifroni, E. and Shanon, B.: 1992, Interactive user modeling: An integrative explicit-implicit approach. User Modeling and User-Adapted Interaction 2(4), 287–330.

    Article  Google Scholar 

  • Sleeman, D.: 1985, UMFE: A user modelling front-end subsystem. International Journal of Man-Machine Studies 23, 71–88.

    Google Scholar 

  • Tattersall, C.: 1992, Generating help for users of application software. User Modeling and User-Adapted Interaction 2(3), 211–248.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GMD FIT.MMK, Schloss Birlinghoven, 53754, St. Augustin, Germany

    Wolfgang Pohl

Authors
  1. Wolfgang Pohl
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008325713804

Search

Navigation