Abstract
This paper is about providing intelligent help to users interacting with an operating system. Its main focus is an investigation of Human Plausible Reasoning Theory (Collins & Michalski, 1989) to infer the commands the user should have typed, given what they did type. The theory has been adapted and incorporated into a prototype Intelligent Help System (IHS) for UNIX users, called RESCUER, and has been used for the generation and evaluation of hypotheses about users' beliefs underlying the observed users' actions on the UNIX file store. The hypotheses generated by RESCUER were compared to those made by human experts on the sample scripts from UNIX user sessions. The potential for Human Plausible Reasoning as a mechanism to reason about slips and misconceptions is discussed.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alexandris, N., Virvou, M. and Moundridou, M.: 1998, A multimedia tool for teaching geometry at schools. In Proceedings of ED-MEDIA, ED-TELECOM 98, World Conference on Education Multimedia and Educational Telecommunications 2, 1595–1597.
Burstein, M. H. and Collins, A. M.: 1988, Modeling a theory of human plausible reasoning. In: T. O'shea, T. and Sgurev, V. (eds.): Artificial Intelligence III: Methodology, Systems, Applications, North Holland: Elsevier Science Publishers B.V. pp. 21–28.
Burstein, M. H., Collins, A. and Baker M.: 1991, Plausible generalisation: extending a model of human plausible reasoning. The Journal of the Learning Sciences 3 and 4, 319–359.
Calistri-Yeh, R. J.: 1991, Utilizing user models to handle ambiguity and misconceptions in robust plan recognition. User Modeling and User-Adapted Interaction 1(4), 289–322.
Carbonell, J. R. and Collins, A.: 1973, Natural semantics in artificial intelligence. In: Proceedings of the Third International Joint Conference on Artificial Intelligence, Stanford, California, pp. 344–351.
Cerri, S. A. and Loia, V.: 1997, A concurrent, distributed architecture for diagnostic reasoning. User Modeling and User-Adapted Interaction 7(2), 69–105.
Chin, D. N.: 1988, Intelligent Agents as a Basis for Natural Language Interfaces. Report No. UCB/CSD 88/396, Computer Science Division (EECS), Berkeley, California.
Collins, A. and Michalski, R.: 1989, The logic of plausible reasoning: A core theory. Cognitive Science 13, pp. 1–49.
Davis, R.: 1993, Retrospective on diagnostic reasoning based on structure and behavior. Artificial Intelligence 59, 149–157.
Eller, R. and Carberry, S.: 1992, A meta-rule approach to flexible plan recognition in dialogue. User Modeling and User-Adapted Interaction 2(1–2), 27–53.
Fikes, R. E. and Nilsson, N. J.: 1971, STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208.
Gertner, A.: 1997, Plan recognition and evaluation for on-line critiquing. User Modeling and User Adapted Interaction 7(2), 107–140.
Hartley, J. R. and Sleeman, D. H.: 1973, Towards intelligent teaching systems. Int. Jrnl Man-Machine Studies 5, 215–236.
Hartley, J. R. and Smith, M.: 1988, Question answering and explanation giving in on-line help systems. In: J. Self, (ed.): Intelligent Computer Aided Instruction, Chapman and Hall Computing.
Hollnagel, E.: 1991, The phenotype of erroneous actions: implications for HCI design. In: G. R. S. Weir and J. L. Alty (eds.): Human-Computer Interaction and Complex Systems, London: Academic Press Ltd.
Hollnagel, E.: 1993, The phenotype of erroneous actions. International Journal of Man-Machine Studies 39, 1–32.
Hoppe, H. U.: 1994, Deductive error diagnosis and inductive error generalization for intelligent tutoring systems. Jl. Of Artificial Intelligence in Education 5(1), 27–49.
Horacek, H.: 1997, A model for adapting explanations to user's likely inferences. User Modeling and User Adapted Interaction 7, 1–55.
Jones, J. G., Millington, M. and Ross. P.: 1988, Understanding user behaviour in command-driven systems. In: J. Self (ed.): Intelligent Computer Aided Instruction Chapman and Hall Computing, pp. 226–235.
Jones, J. G. and Virvou, M.: 1991, User modelling and advice giving in intelligent help systems for UNIX. Information and Software Technology 33(2), 121–133.
De Kleer, J.: 1986, An assumption-based TMS. Artificial Intelligence 28, 127–162.
Lopez, A. M.: 1997, Analogy, logic programming and metacognition. Jl. of Artificial Intelligence in Education 8(1), 77–88.
Luria, M.: 1988, Knowledge Intensive Planning. Report No. UCB/CSd 88/433, Computer Science Division (EECS), Berkeley, California.
McGraw, K. L.: 1994, Performance support systems: Integrating AI, hypermedia and CBT to enhance user performance. Jl. Of Artificial Intelligence in Education 5 (1), 3–26.
Martin, J. H.: 1988, A Computational Theory of Metaphor, Report No. UCB/CSd 88/465, Computer Science Division (EECS), Berkeley, California.
Martin-Lof: 1988, Constructive mathematics and computer programming, In: Methodology and Philosophy of Science VI, Amsterdam: North Holland Publishing Company.
Mayfield, J.: 1992, Controlling inference in plan recognition. User Modeling and User-Adapted Interaction 2(1–2), 55–82.
Michalski, R. S. and Winston, P.H.: 1986, Variable precision logic. Artificial Intelligence 29, 121–146.
Mitrovic, A., Djordjevic-Kajan, S. and Stoimenov, L.: 1996, INSTRUCT: Modeling students by asking questions. User Modeling and User Adapted Interaction 6(4), 273–302.
Quilici, A.: 1988, AQUA: A system that detects and responds to user misconceptions. In: A. Kobsa and A. Wahlster (eds.): User Modeling and Dialog Systems. Springer-Verlag. New York.
Rich, E. (1979), User modelling via stereotypes. Cognitive Science 3(4), 329–354.
Rich, E. (1983), Users are individuals: individualizing user models. International Journal of Man-Machine Studies 18, 199–214.
Self, J.: 1991, Formal Approaches to Learner Modelling, Technical Report AI-59, University of Lancaster.
Virvou, M.: 1992, A Human Plausible Reasoning Theory in the Context of an Active Help System for UNIX Users. PhD Thesis, Dept. of Cognitive and Computing Sciences, University of Sussex, U.K.
Virvou, M.: 1998, RESCUER: Intelligent help for plausible user errors. In: Proceedings of EDMEDIA/ ED-TELECOM 98, World Conferences on Educational Multimedia and Educational Telecommunications 2, 1413–1420.
Virvou, M., Jones, J., and Millington, M.: 1999, Virtues and problems of an active help system for UNIX. To appear in Artificial Intelligence Review.
Virvou, M. and Stavrianou, A.: 1999, User modelling in a GUI. In: Proceedings of HCI International Conference 99, 1, 261–265.
Wenger, E.: 1987, Artificial Intelligence and Tutoring Systems. Morgan Kaufman.
Wilensky, R., Chin, D., Luria, M., Martin, J., Mayfield, J. and Wu, D.: 1988, The Berkeley UNIX Consultant Project. Computational Linguistics 14(4), 35–84.
Winkels, R.: 1992, Explorations in Intelligent Tutoring and Help. IOS Press.
Zadeh, L. A.: 1965, Fuzzy sets. Information and Control 8, 338–353.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Virvou, M., Du Boulay, B. Human Plausible Reasoning for Intelligent Help. User Modeling and User-Adapted Interaction 9, 321–375 (1999). https://doi.org/10.1023/A:1008385523066
Issue Date:
DOI: https://doi.org/10.1023/A:1008385523066