Logic-based representation and reasoning for user modeling shell systems

User Modeling and User-Adapted Interaction

Volumn 9, Issue 3, 1999, Pages 217-282

  Pohl, Wolfgang ^a  

^a FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SYSTEMS; FORMAL LOGIC; HUMAN COMPUTER INTERACTION; INFORMATION RETRIEVAL SYSTEMS; KNOWLEDGE REPRESENTATION; LINGUISTICS;

LOGIC BASED REPRESENTATION AND REASONING; MODAL LOGIC APPROACH; PARTITION APPROACH; USER MODELING SHELL SYSTEMS;

KNOWLEDGE BASED SYSTEMS;

EID: 0032620089     PISSN: 09241868     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1008325713804     Document Type: Article

References (82)

1. 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.
2. 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.
3. 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.
4. Appelt, D. E. and Pollack, M. E.: 1992, Weighted abduction for plan ascription. User Modeling and User-Adapted Interaction 2(1-2), 1-25.
5. 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.
6. 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.
7. Ballim, A. and Wilks, Y.: 1991, Beliefs, stereotypes and dynamic agent modeling. User Modeling and User-Adapted Interaction 1(1), 33-65.
8. Beaumont, I.: 1994, User modeling in the interactive anatomy tutoring system ANATOM-TUTOR. User Modeling and User-Adapted Interaction 4(1), 21-45.
9. Brachman, R. J. and Schmolze, J. G.: 1985, An overview of the KL-ONE knowledge representation system. Cognitive Science 9(2), 171-216.
10. Brajnik, G. and Tasso, C.: 1994, A shell for developing non-monotonic user modeling systems. International Journal of Human-Computer Studies 40, 31-62.
11. 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.
12. Carr, B. and Goldstein, I.: 1977, Overlays: A theory of modelling for computer-aided instruction. International Journal of Man-Machine Studies 5, 215-236.
13. Chin, D. N.: 1986, User modelling in UC, the UNIX consultant. In: Proc. of CHI'86. pp. 24-28.
14. 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.
15. Chin, D. N.: 1993, Acquiring user models. Artificial Intelligence Review 7, 185-197.
16. Cohen, P. R.: 1978, On knowing what to say: planning speech acts. Technical Report 118, Department of Computer Science, University of Toronto, Canada.
17. 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.
18. 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.
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.
24. 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.
25. 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.
26. Hustadt, U.: 1994, A multi-modal logic for stereotyping. In: Proceedings of the Fourth International Conference on User Modeling, pp. 87-92.
27. 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.
28. 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.
29. Jameson, A.: 1992, Generalizing the double-stereotype approach: A psychological perspective. In: UM92 - Third International Workshop on User Modeling. pp. 69-83.
30. 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.
31. Kass, R.: 1991, Building a user model implicitly from a cooperative advisory dialog. User Modeling and User-Adapted Interaction 1(3), 203-258.
32. Kass, R. and Finin, T.: 1988, Modeling the user in natural language systems. Computational Linguistics 14(3), 5-22.
33. 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.
34. Kay, J.: 1995, The um toolkit for reusable, long term user models. User Modeling and User-Adapted Interaction 4(3), 149-196.
35. Kobsa, A.: 1985, Benutzermodellierung in Dialogsystemen. Berlin, Heidelberg: Springer-Verlag.
36. 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.
37. Kobsa, A.: 1990, Modeling the user's conceptual knowledge in BGP-MS, a user modeling shell system. Computational Intelligence 6, 193-208.
38. 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.
39. 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.
40. Kobsa, A. and Pohl, W.: 1995, The user modeling shell system BGP-MS. User Modeling and User-Adapted Interaction 4(2), 59-106.
41. 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.
42. Kripke, S.: 1963, Semantic considerations on modal logic. Acta Philosophica Fennica 16, 83-94.
43. McCauley, C., Stitt, C. L. and Segal, M.: 1980, Stereotyping: From prejudice to prediction. Psychological Bulletin 87, 195-208.
44. 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.
45. McTear, M. F.: 1993, User modelling for adaptive computer systems: a survey. Artificial Intelligence Review 7(3-4), 157-184.
46. Miller, B. W.: 1992, The rhetorical knowledge representation system reference manual. Technical Report 326 (revised), Computer Science Department, The University of Rochester, New York.
47. Minsky, M.: 1975, A framework for representing knowledge. In: P. Winston (ed.): The Psychology of Computer Vision. New York: McGraw-Hill.
48. 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.
49. 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.
50. 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.
51. 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.
52. Ohlbach, H. J.: 1991, Semantics-based translation methods for modal logics. Journal of Logic and Computation 1(5), 691-746.
53. Orwant, J.: 1995, Heterogeneous learning in the doppelgänger user modeling system. User Modeling and User-Adapted Interaction 4(2), 107-130.
54. Paiva, A. and Self, J.: 1995, TAGUS - A user and learner modeling workbench. User Modeling and User-Adapted Interaction 4(3), 197-226.
55. 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.
56. Peter, G. and Rösner, D.: 1994, User-model-driven generation of instructions. User Modeling and User-Adapted Interaction 3(4), 289-319.
57. 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.
58. 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.
59. Pohl, W.: 1997b, Logic-based representation and reasoning for user modeling shell systems. Ph.D. thesis, University of Essen.
60. 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.
61. Pohl, W., Höhle, J., Fink, J. and Kim, D. W.: 1995a, Building adaptive applications on widely-used platforms with BGP-MS. In: C. Stephanidis (ed.): Proc. ERCIM Workshop "Towards User Interfaces for All: Current Efforts and Future Trends". Heraklion, Greece.
62. 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.
63. 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.
64. Quilici, A.: 1994, Forming user models by understanding user feedback. User Modeling and User-Adapted Interaction 3(4), 321-358.
65. Quillian, M.: 1968, Semantic memory. In: M. Minsky (ed.): Semantic Information Processing. Cambridge, MA: MIT Press, pp. 216-270.
66. Retz-Schmidt, G.: 1991, Recognizing intentions, interactions, and causes of plan failures. User Modeling and User-Adapted Interaction 1(2), 173-202.
67. Rich, E.: 1979, User modeling via stereotypes. Cognitive Science 3, 329-354.
68. Rich, E.: 1983, Users are individuals: Individualizing user models. Journal of Man-Machine Studies 18, 199-214.
69. 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.
70. Russell, S. and Norvig, P.: 1995, Artificial Intelligence: A Modern Approach. Upper Saddle River, NJ: Prentice-Hall.
71. Sarner, M. and Carberry, S.: 1992, Generating tailored definitions using a multifaceted user model. User Modeling and User-Adapted Interaction 2(3), 181-210.
72. 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.
73. Scherer, J.: 1990, SB-PART: Ein Partitionsverwaltungssystem für die Wissensrepräsentationssprache SB-ONE. Memo 48, Projekt XTRA, Fachbereich Informatik, Universität Saarbrücken.
74. Shifroni, E. and Shanon, B.: 1992, Interactive user modeling: An integrative explicit-implicit approach. User Modeling and User-Adapted Interaction 2(4), 287-330.
75. Sleeman, D.: 1985, UMFE: A user modelling front-end subsystem. International Journal of Man-Machine Studies 23, 71-88.
76. Tattersall, C.: 1992, Generating help for users of application software. User Modeling and User-Adapted Interaction 2(3), 211-248.
77. 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.
78. 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.
79. 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). San Mateo, CA: Kaufmann, pp. 282-293.
80. 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.
81. 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.
82. 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.