Skip to main content
SpringerLink
Log in

Combining partitions and modal logic for user modeling

  • Conference paper
  • First Online:
Practical Reasoning (FAPR 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1085))

Included in the following conference series:

Abstract

User modeling means acquiring, representing and managing assumptions about users of software systems. Inference processes as part of the representation component can be used to extend the base of assumptions, thus supporting the acquisition task. In the user modeling shell system BGP-MS, a partition approach to user model representation and reasoning has been taken. It offers the possibility to maintain different types of assumptions about the user in a partition hierarchy; reasoning about the assumptions of one type is possible. In addition, useful inferences are already built into the partition mechanism of BGP-MS. However, negative assumptions about what users do not know or want, or relationships between assumption types cannot be maintained in BGP-MS. Since such user modeling knowledge can be formulated with modal logic, a method was developed that combines techniques of reasoning with modal logic and the partition mechanism. Algorithms for translating modal expressions into first-order logic are employed. Thus, new representation and reasoning facilities were implemented into BGP-MS. One of the main qualities of the combination method is that the advantages of the partition approach are preserved.

This research has been supported by the German Science Foundation (DFG) under Grant No. Ko 1044/4. Thanks to Alfred Kobsa and Jörg Schreck for valuable contributions.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • J. Allgayer, H. J. Ohlbach, and C. Reddig: Modelling Agents with Logic. In Proc. of the Third International Workshop on User Modeling, pages 22–34, Dagstuhl, Germany, 1992.

    Google Scholar 

  • A. Ballim and Y. Wilks: Beliefs, Stereotypes and Dynamic Agent Modeling. User Modeling and User-Adapted Interaction, 1(1):33–65, 1991.

    Article  Google Scholar 

  • J. v. Benthem: Correspondence Theory. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume II, pages 167–247. D. Reidel Publishing Company, Dordrecht, 1984.

    Google Scholar 

  • R. J. Brachman and J. G. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science, 9(2):171–216, 1985.

    Article  Google Scholar 

  • R. J. Brachman: A Structural Paradigm for Representing Knowledge. Technical Report 3605, Bolt, Beranek, and Newman Inc., Cambridge, MA, 1978.

    Google Scholar 

  • P. R. Cohen: On Knowing What to Say: Planning Speech Acts. Technical Report 118, Department of Computer Science, University of Toronto, Canada, 1978.

    Google Scholar 

  • M. Eisenmann and R. Mast: Entwurf von Benutzermodellen am Beispiel von adaptiven Print-und Email-Tools. Project report, WG Knowledge-Based Information Systems, Department of Information Science, University of Konstanz, Germany, 1995.

    Google Scholar 

  • 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 Konstanz, Germany, 1993.

    Google Scholar 

  • 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 Representation and Reasoning: Proc. of the Third International Conference (KR'92), pages 425–435. Morgan Kaufmann, San Mateo, CA, 1992.

    Google Scholar 

  • G. Hendrix: Encoding Knowledge in Partitioned Networks. In N. V. Findler, editor, Associative Networks, Representation and Use Of Knowledge by Computers. Academic Press, New York, 1979.

    Google Scholar 

  • U. Hustadt: Introducing Epistemic Operators into a Description Logic. In A. Laux and H. Wansing, editors, Knowledge and Belief in Philosophy and Artificial Intelligence, Logica Nova, pages 65–86. Akademie Verlag, Berlin, 1995.

    Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

  • A. Kobsa: Modeling The User's Conceptual Knowledge in BGP-MS, a User Modeling Shell System. Computational Intelligence, 6:193–208, 1990.

    Google Scholar 

  • A. Kobsa: Utilizing Knowledge: The Components of the SB-ONE Knowledge Representation Workbench. In J. Sowa, editor, Principles of Semantic Networks: Exploration in the Representation of Knowledge, pages 457–486. Morgan Kaufmann, San Mateo, CA, 1991.

    Google Scholar 

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

    Google Scholar 

  • H. J. Levesque: Making Believers out of Computers. Artificial Intelligence, 30:81–108, 1986.

    Article  Google Scholar 

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

    Google Scholar 

  • H. J. Ohlbach: Semantics-Based Translation Methods for Modal Logics. Journal of Logic and Computation, 1(5):691–746, 1991.

    Google Scholar 

  • J. Scherer: SB-PART: Ein Partitionsverwaltungssystem für die Wissensrepräsentationssprache SB-ONE. Memo 48, Project XTRA, Department of Computer Science, University of Saarbrücken, Germany, 1990.

    Google Scholar 

  • J. Schreck: Konzeption der Erweiterung von partitionenorientierter Wissensrepräsentation um modallogische Inferenzen: Diplomarbeit, AG Wissensbasierte Informationssysteme, Informationswissenschaft, Universität Konstanz, 1995.

    Google Scholar 

  • R. Simon: Realisierung der Erweiterung von partitionenorientierter Wissensrepräsentation um modallogische Inferenzen: Diplomarbeit, AG Wissensbasierte Informationssysteme, Informationswissenschaft, Universität Konstanz, 1995.

    Google Scholar 

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

    Google Scholar 

  • J. Zimmermann: Hybride Wissensrepräsentation in BGP-MS: Integration der Wissensverarbeitung von SB-ONE und OTTER. WIS Memo 12, WG Knowledge-Based Information Systems, Department of Information Science, University of Konstanz. Germany, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Mathematics and Computer Science, University of Essen, Deutschland

    Wolfgang Pohl

  2. Human-Computer Interaction Research Group (FIT.MMK), German National Research Center for Information Technology (GMD), Schloß Birlinghoven, D-53754, St. Augustin

    Wolfgang Pohl

Authors
  1. Wolfgang Pohl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dov M. Gabbay Hans Jürgen Ohlbach

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pohl, W. (1996). Combining partitions and modal logic for user modeling. 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_95

Download citation

  • DOI: https://doi.org/10.1007/3-540-61313-7_95

  • 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

Publish with us

Policies and ethics

Search

Navigation