Abstract
This paper deals with the problem of assigning meaning to the interaction of a user with a command-driven system such as UNIX. This research is part of the construction of an active intelligent help system that monitors users in order to offer spontaneous help when they are facing problems. In order to ensure this, the help system must build and maintain a model of the user. We describe a mechanism that is used by the user modelling component of such a help system. This mechanism makes explicit assumptions about the user which account for different hypotheses about what the user is actually thinking at every stage of the interaction. The consistency of these assumptions is managed by an Assumption-based Truth Maintenance System (ATMS). The selection between a number of different user models is based on the information which is extracted from the feedback that UNIX provides in response to user actions.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Collins, A. & Michalski R. (1989). The Logic of Plausible Reasoning: A Core Theory. Cognitive Science 13: 1–49.
de Kleer, J. (1984). Choices Without Backtracking. In Proceedings of AAAI84, 79–85. Austin, TX.
de Kleer, J. (1986). An Assumption-Based TMS. Artificial Intelligence 28: 127–162.
Doyle, J. (1981). A Truth Maintenance System. Artificial Intelligence 12: 231–272.
Fikes, R. E. & Nilsson, N. J. (1971). STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 2: 189–208.
Finin, T. & Drager, D. (1986). GUMS: A General User Modelling System. Report MS-CIS-86-35, Department of Computer and Information Science, University of Pennsylvannia.
Hayes-Roth, B. (1983). The Blackboard Architecture: A General Framework for Problem Solving. Report no. HPY-83-30, Stanford Computer Science Department.
Jones, J., Millington, M. & Ross, P. M. (1988). A Blackboard Shell in Prolog. In Englemore, R. & Morgan, A. J. (eds.) Blackboard Systems, 533–542. Wokingham: Addison-Wesley.
Kemke, C. (1986). The SINIX Consultant: Requirements, Design, and Implementation of an Intelligent Help System for a UNIX Derivative. Bericht Nr. 11, FR.10.2 Informatik IV, University of Saarland, Saarbrucken FRG.
Matthews, M. & Pharr, W. (1999). Knowledge Acquisition for Active Assistance. In Hegner, S., Mc Kevitt, P., Norvig, P. & Wilensky, R. (eds.) Intelligent Systems for UNIX. Dordrecht, The Netherlands: Kluwer Academic Publishers (this volume).
Norman, D. A. (1981). The Trouble With Unix. Datamation 27(12): 139–150.
Rich, E. (1979). User Modelling Via Stereotypes. Cognitive Science 3: 319–354.
Stirling, L. & Shapiro, E. (1986). The Art of Prolog. Cambridge: MIT Press.
Virvou, M. (1992). User Modelling Using a Human Plausible Reasoning Theory. Ph.D. thesis, CSRP 251, School of Cognitive and Computing Sciences, University of Sussex, Brighton BN19QH, UK.
Virvou, M. (1998). RESCUER: Intelligent Help for Plausible User Errors. In Proceedings of ED-MEDIAIED-TELECOM 98-World Conferences on Educational Multimedia and Educational Telecommunications.
Virvou, M., Jones, J. & Millington, M. (1999). Virtues and Problems of an active help system for UNIX. In Hegner, S., Mc Kevitt, P., Norvig, P. & Wilensky, R. (eds.) Intelligent Systems for UNIX. Dordrecht, The Netherlands: Kluwer Academic Publishers (this volume).
Wilensky, R., Mayfield, J., Albert, A. Chin, D., Cox, C., Luria, M., Martin, J. & Wu, D. (1986). UC-A Progress Report. Report no. UCBICSD 871303, University of California at Berkeley, Computer Science Division (EECS).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Jones, J., Millington, M., Virvou, M. (2000). An Assumption-based Truth Maintenance System in Active Aid for UNIX Users. In: Hegner, S.J., Mc Kevitt, P., Norvig, P., Wilensky, R. (eds) Intelligent Help Systems for UNIX. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0874-7_11
Download citation
DOI: https://doi.org/10.1007/978-94-010-0874-7_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3790-7
Online ISBN: 978-94-010-0874-7
eBook Packages: Springer Book Archive