Academia.eduAcademia.edu

Outline

The user modeling shell system BGP-MS

1994

Abstract

BGP-MS is a user modeling shell system that can assist interactive software systems in adapting to their current users by taking the users' presumed knowledge, beliefs, and goals into account. It offers applications several methods for communicating observations concerning the user to BGP-MS, and for obtaining information on currently held assumptions about the user from BGP-MS.

References (50)

  1. the definition of the 'print-command' dialogue act: (define-d-act :name PRINT-COMMAND :parameters (document) :presupp ((B S (B M (sent-for-printing document)))
  2. B S (B M (W U (printed document
  3. 7. two rules representing the system's knowledge about relationships between the views SBUB and SBUW (where the first rule is context-specific and the second one general): 8doc p B S W U printed-on(doc p) ! B S B U printable-on(doc p)]
  4. B S W U ^BS B U ( ! ))
  5. ! B S W U 8. the declaration that misconceptions of the user (i.e., SBUB entries that are contradictory to entries in partition SB) should be signaled to the application. Now we will have a look at what happens during runtime. Employing the interview question named 'network-experience' (cf. item (2)) the application asks the user how often he uses networked com- puters. He answers by selecting "rarely" from the presented menu of possible answers: (interview-response :id 707 : : : ((:answer "rarely") : : :))
  6. Thereupon, the BGDL expression (B S (network-novice *current-user*)) is passed on to the knowledge categorization component, which stores 'network-novice(*current-user*)' in partition SB. Now the stereotype activation condition for NETWORK-NOVICE is satisfied, so that SBUB is linked to the corresponding stereotype partition and inherits its contents, including the rule in item (3).
  7. Moreover, the application informs BGP-MS about another mutually believed fact concerning domain objects, namely that the document the user is working on ('userdoc') is a plain text document: (bgp-ms-tell (B S (B M (plain-text-document userdoc
  8. BGP-MS enters 'plain-text-document(userdoc)' into partition SBMB. Since the contents of SBMB are inherited by SB, both this fact and the pre-defined fact 'Apple-LW(lw+)' (cf. item (5)) can be used for inferences in view SB as well. By hybrid reasoning, BGP-MS first infers that 'lw+' is a 'PS-Printer'. With the SB rule about printing (cf. item (4)), it can further conclude in SB that 'userdoc' cannot be printed on 'lw+' (see Section 4.5.1): :printable-on(userdoc lw+)
  9. In view SBUB, the rule inherited from NETWORK-NOVICE can be resolved with the pre-defined fact 'office-printer(*current-user*,lw+)' (which is inherited from SBMB, cf. item (5)) to 8doc printed(doc) ! printed-on(doc lw+)]
  10. References [Asy, 1989] Asymetrix Corporation, Washington, D.C. Using TOOLBOOK: A Guide to Building and Working with Books (Version 1.5), 1989.
  11. Ballim and Wilks, 1991] A. Ballim and Y. Wilks. Beliefs, Stereotypes and Dynamic Agent Modeling. User Modeling and User-Adapted Interaction, 1(1):33-65, 1991.
  12. Beaumont, 1994] I. Beaumont. User Modeling in the Interactive Anatomy Tutoring System ANATOM-TUTOR. User Modeling and User-Adapted Interaction, 4(1):21-45, 1994.
  13. Binder, 1994] R. Binder. STED (StereoType EDitor): Ein Editor zur Erstellung und Verwaltung der Aktivierungs-und Deaktivierungsregeln von Stereotypen in BGP-MS. WIS Memo 13, WG Knowledge-Based Information Systems, Department of Information Science, University of Kon- stanz, Germany, 1994. [Böcker et al., 1990] H. Böcker, H.-D. Hohl, and T. Schwab. ADAPT : Individualizing Hy- pertext. In Human-Computer Interaction -INTERACT'90, pages 931-936, Amsterdam, The Netherlands, 1990. [Boyle and Encarnacion, 1994] C. Boyle and A. O. Encarnacion. MetaDoc: An Adaptive Hypertext Reading System. User Modeling and User-Adapted Interaction, 4(1):1-20, 1994. [Brachman and Schmolze, 1985] R. J. Brachman and J. G. Schmolze. An Overview of the KL-ONE Knowledge Representation System. Cognitive Science, 9(2):171-216, 1985.
  14. Brachman, 1978] R. J. Brachman. A Structural Paradigm for Representing Knowledge. Technical Report 3605, Bolt, Beranek, and Newman Inc., Cambridge, MA, 1978. [Brajnik and Tasso, 1992] G. Brajnik and C. Tasso. A Flexible Tool for Developing User Modeling Applications with Nonmonotonic Reasoning Capabilities. In Proc. of the Third International Workshop on User Modeling, pages 42-66, Dagstuhl, Germany, 1992.
  15. Chin, 1989] D. N. Chin. KNOME: Modeling what the User Knows in UC. In A. Kobsa and W. Wahlster, editors, User Models in Dialog Systems, pages 74-107. Springer, Berlin, Heidelberg, 1989. [Clark and Marshall, 1981] H. Clark and C. R. Marshall. Definite Reference and Mutual Knowledge. In A. K. Joshi, I. A. Sag, and B. L. Webber, editors, Elements of Discourse Understanding, pages 10-63. Cambridge University Press, Cambridge, 1981.
  16. Cohen, 1978] P. R. Cohen. On Knowing What to Say: Planning Speech Acts. Technical Report 118, Department of Computer Science, University of Toronto, Canada, 1978.
  17. Finin, 1989] T. W. Finin. GUMS: A General User Modeling Shell. In A. Kobsa and W. Wahlster, editors, User Models in Dialog Systems, pages 411-430. Springer, Berlin, Heidelberg, 1989. [Fink and Herrmann, 1993] J. Fink and M. Herrmann. KN-PART: Ein Verwaltungssystem zur Benutzermodellierung mit prädikatenlogischer Wissensrepräsentation. WIS Memo 5, WG Knowledge-Based Information Systems, Department of Information Science, University of Kon- stanz, Germany, 1993.
  18. Gabbay and Ohlbach, 1992] D. Gabbay and H. J. Ohlbach. Quantifier Elimination in Second-Order Predicate Logic. In B. Nebel, C. Rich, and W. Swartout, editors, Principles of Knowledge Repre- sentation and Reasoning: Proc. of the Third International Conference (KR'92), pages 425-435. Morgan Kaufmann, San Mateo, CA, 1992.
  19. Gol, 1992] Gold Hill, Inc., Cambridge, MA. GCLISP Developer 4.3 User's Guide, 1992. [Kaplan et al., 1993] C. Kaplan, J. Fenwick, and J. Chen. Adaptive Hypertext Navigation Based on User Goals and Context. User Modeling and User-Adapted Interaction, 3(3):193-220, 1993.
  20. Kay, 1994] J. Kay. The um Toolkit for Reusable, Long Term User Models. To appear in User Modeling and User-Adapted Interaction, 1994.
  21. Kleiber, 1994] U. Kleiber. Erklärung in interaktiven Systemen und Unterstützungsmöglichkeiten durch das System BGP-MS. WIS Memo 6, WG Knowledge-Based Information Systems, Depart- ment of Information Science, University of Konstanz, Germany, 1994.
  22. Knappe, 1994] G. Knappe. Ein grafischer Partitionseditor für KN-PART, implementiert mit Hilfe der generischen Rahmenanwendung GINA. WIS Memo 14, WG Knowledge-Based Information Systems, Department of Information Science, University of Konstanz, Germany, 1994. [Kobsa et al., 1994] A. Kobsa, D. Müller, and A. Nill. KN-AHS: An Adaptive Hypertext Client of the User Modeling System BGP-MS. In Proc. of the Fourth International Conference on User Modeling, pages 99-105, Hyannis, MA, 1994.
  23. Kobsa, 1985] A. Kobsa. Benutzermodellierung in Dialogsystemen. Springer-Verlag, Berlin, Heidel- berg, 1985.
  24. Kobsa, 1989] 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, Berlin, Heidelberg, 1989.
  25. Kobsa, 1990] A. Kobsa. Modeling The User's Conceptual Knowledge in BGP-MS, a User Modeling Shell System. Computational Intelligence, 6:193-208, 1990.
  26. Kobsa, 1991] A. Kobsa. Utilizing Knowledge: The Components of the SB-ONE Knowledge Rep- resentation Workbench. In J. Sowa, editor, Principles of Semantic Networks: Exploration in the Representation of Knowledge, pages 457-486. Morgan Kaufmann, San Mateo, CA, 1991.
  27. Kobsa, 1992] A. Kobsa. Towards Inferences in BGP-MS: Combining Modal Logic and Partition Hierarchies for User Modeling. In Proc. of the Third International Workshop on User Modeling, pages 35-41, Dagstuhl, Germany, 1992.
  28. Levesque, 1986] H. J. Levesque. Making Believers out of Computers. Artificial Intelligence, 30:81- 108, 1986.
  29. MacLachlan, 1992] R. A. MacLachlan, editor. CMU Common Lisp User's Manual. School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 1992.
  30. McCoy, 1985] K. F. McCoy. Correcting Object-Related Misconceptions. Report MS-CIS-85-57, Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, 1985. [McCune, 1994] W. W. McCune. OTTER 3.0 Reference Manual and Guide. Technical Report ANL- 94/6, Argonne National Laboratory, Mathematics and Computer Science Division, Argonne, IL, 1994.
  31. Nwana, 1991] H. S. Nwana. User Modelling and User Adapted Interaction in an Intelligent Tutoring System. User Modeling and User-Adapted Interaction, 1(1):1-32, 1991.
  32. Ohlbach, 1991] H. J. Ohlbach. Semantics-Based Translation Methods for Modal Logics. Journal of Logic and Computation, 1(5):691-746, 1991.
  33. Orwant, 1991] J. Orwant. The Doppelgänger User Modelling System. In Proc. of the IJCAI Workshop W4: Agent Modelling for Intelligent Interaction, pages 164-168, Sydney, Australia, 1991.
  34. Orwant, 1994] J. Orwant. Heterogeneous Learning in the Doppelgänger User Modeling System. To appear in User Modeling and User-Adapted Interaction, 1994.
  35. Paiva and Self, 1994] A. Paiva and J. Self. TAGUS: A User and Learner Modeling System. In Proc. of the Fourth International Conference on User Modeling, pages 43-49, Hyannis, MA, 1994.
  36. Paris, 1989] C. Paris. 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, editors, User Models in Dialog Systems, pages 133-162. Springer, Berlin, Heidelberg, 1989.
  37. Peter and Rösner, 1994] G. Peter and D. Rösner. User-Model-Driven Generation of Instructions. User Modeling and User-Adapted Interaction, 3(4):289-319, 1994.
  38. Pohl et al., 1995] W. Pohl, A. Kobsa, and O. Kutter. User Model Acquisition Heuristics Based on Dialogue Acts. In Proc. of the International Workshop on the Design of Cooperative Systems, pages 471-486, Antibes-Juan-les-Pins, France, 1995.
  39. Rich, 1979] E. Rich. User Modeling via Stereotypes. Cognitive Science, 3:329-354, 1979. [Scherer, 1990] J. Scherer. SB-PART: Ein Partitionsverwaltungssystem für die Wissensrepräsenta- tionssprache SB-ONE. Memo 48, Project XTRA, Department of Computer Science, University of Saarbrücken, Germany, 1990.
  40. Schiffer, 1972] S. R. Schiffer. Meaning. Clarendon Press, Oxford, 1972. [Searle, 1969] J. R. Searle. Speech Acts. Cambridge University Press, 1969. [Shneiderman and Kearsley, 1989] B. Shneiderman and G. Kearsley. Hypertext Hands-On! An Intro- duction to a New Way of Organizing and Accessing Information. Addison-Wesley, Reading, MA, 1989. [Sitter and Stein, 1992] S. Sitter and A. Stein. Modeling the Illocutionary Aspects of Information- Seeking Dialogues. Information Processing & Management, 28(2):165-180, 1992.
  41. Sleeman, 1985] D. Sleeman. UMFE: A User Modelling Front-End Subsystem. International Journal of Man-Machine Studies, 23:71-88, 1985.
  42. Spenke et al., 1992] M. Spenke, C. Beilken, T. Berlange, A. Bäcker, and A. Genau. GINA User Manual Version 2.1 for Common Lisp. Report 614, GMD, St. Augustin, Germany, 1992. [Sukaviriya and Foley, 1993] P. Sukaviriya and D. Foley. A Built-in Provision for Collecting Indi- vidual Task Usage Information in UIDE: the User Interface Design Environment. In M. Schneider- Hufschmidt, T. Kühme, and U. Malinowski, editors, Adaptive User Interfaces: Principles and Practise, pages 197-221. North Holland Elsevier, Amsterdam, 1993.
  43. Taylor and Carletta, 1994] J. A. Taylor and J. C. Carletta. Limiting Nested Beliefs in Cooperative Dialogue. In Proc. of the 16th Annual Conference of the Cognitive Science Society, pages 858-863, Atlanta, GA, 1994.
  44. Uehara, 1989] K. Uehara. An Intelligent On-Line Help System: ASSIST. Future Generation Computer Systems, 5(1):11-20, 1989.
  45. Vergara, 1994] H. Vergara. PROTUM: A Prolog Based Tool for User Modeling. WIS Memo 10, WG Knowledge-Based Information Systems, Department of Information Science, University of Konstanz, Germany, 1994.
  46. Winkels, 1990] R. Winkels. User Modelling in Help Systems. In D. H. Norrie and H.-W. Six, editors, Computer Assisted Learning: 3rd International Conference, pages 184-193. Springer, New York, 1990.
  47. Winkler, 1994] U. Winkler. Formalismentransformationen in KN-PART. Master's thesis, WG Knowledge-Based Information Systems, Department of Information Science, University of Kon- stanz, Germany, 1994.
  48. Winograd, 1988] T. Winograd. A Language/Action Perspective on the Design of Cooperative Work. Human Computer Interaction, 3(1):3-30, 1988.
  49. Wolz, 1992] U. Wolz. Extending User Expertise in Interactive Environments: A Task-Centered Approach to Automatic Assistance. PhD thesis, Department of Computer Science, Columbia University, New York, 1992.
  50. Zimmermann, 1994] J. Zimmermann. Hybride Wissensrepräsentation in BGP-MS: Integration der Wissensverarbeitung von SB-ONE und OTTER. WIS Memo 12, WG Knowledge-Based Informa- tion Systems, Department of Information Science, University of Konstanz, Germany, 1994.