Combining partitions and modal logic for user modeling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1085, Issue , 1996, Pages 480-494

  Pohl, Wolfgang ^a,b  

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

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

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

COMBINATION METHOD; FIRST ORDER LOGIC; INFERENCE PROCESS; MODAL LOGIC; SOFTWARE SYSTEMS; USER MODELING;

COMPUTER CIRCUITS;

EID: 84947911363     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61313-7_95     Document Type: Conference Paper

References (24)

1. 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.
2. A. Ballim and Y. Wilks: Beliefs, Stereotypes and Dynamic Agent Modeling. User Modeling and User-Adapted Interaction, 1(1):33-65, 1991.
3. J. v. Benthem: Correspondence Theory. In D. Gabbay and F. Gnenthner, editors, Handbook of Philosophical Logic, volume II, pages 167-247. D. Reidel Publishing Company, Dordrecht, 1984.
4. R. J. Brachman and J. G. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science, 9(2):171-216, 1985.
5. R. J. Brachman: A Structural Paradigm for Representing Knowledge. Technical Report 3605, Bolt, Beranek, and Newman Inc., Cambridge, MA, 1978.
6. P. R. Cohen: On Knowing What to Say: Planning Speech Acts. Technical Report 118, Department of Computer Science, University of Toronto, Canada, 1978.
7. 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.
8. 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.
9. D. Gabbay and H. J. Ohlbach: Quantifier Elimination in Second-Order Predicate Logic. In B. Nebel, C. Rich, and IV. 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.
10. 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.
11. 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.
12. A. Kobsa and W. Pohl: The User Modeling Shell System BGP-MS. User Modeling and User-Adapted Interaction, 4(2):59-106, 1995.
13. A. Kobsa: Benutzermodellierung in Dialogsystemen. Springer-Verlag, Berlin, Heidelberg, 1985.
14. A. Kobsa: Modeling The User’s Conceptual Knowledge in BGP-MS, a User Modeling Shell System. Computational Intelligence, 6:193-208, 1990.
15. 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.
16. 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.
17. H. J. Levesque: Making Believers out of Computers. Artificial Intelligence, 30:81-108, 1986.
18. 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.
19. H. J. Ohlbach: Semantics-Based Translation Methods for Modal Logics. Journal of Logic and Computation, 1(5):691-746, 1991.
20. 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.
21. J. Schreck: Konzeption der Erweiterung von partitionenorientierter Wissensrepräsentation um modallogische Inferenzen: Diplomarbeit, AG Wissensbasierte Informationssysteme, Informationswissenschaft, Universität Konstanz, 1995.
22. R. Simon: Realisierung der Erweiterung von partitionenorientierter Wissensrepräsentation um modallogische Inferenzen: Diplomarbeit, AG Wissensbasierte Informationssysteme, Informationswissenschaft, Universität Konstanz, 1995.
23. 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.
24. 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.