Skip to main content
SpringerLink
Log in

Human Plausible Reasoning for Intelligent Help

  • Published:
User Modeling and User-Adapted Interaction Aims and scope Submit manuscript

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.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

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.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  • Cerri, S. A. and Loia, V.: 1997, A concurrent, distributed architecture for diagnostic reasoning. User Modeling and User-Adapted Interaction 7(2), 69–105.

    Google Scholar 

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

    Google Scholar 

  • Collins, A. and Michalski, R.: 1989, The logic of plausible reasoning: A core theory. Cognitive Science 13, pp. 1–49.

    Google Scholar 

  • Davis, R.: 1993, Retrospective on diagnostic reasoning based on structure and behavior. Artificial Intelligence 59, 149–157.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  • Gertner, A.: 1997, Plan recognition and evaluation for on-line critiquing. User Modeling and User Adapted Interaction 7(2), 107–140.

    Google Scholar 

  • Hartley, J. R. and Sleeman, D. H.: 1973, Towards intelligent teaching systems. Int. Jrnl Man-Machine Studies 5, 215–236.

    Google Scholar 

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

    Google Scholar 

  • Hollnagel, E.: 1993, The phenotype of erroneous actions. International Journal of Man-Machine Studies 39, 1–32.

    Google Scholar 

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

    Google Scholar 

  • Horacek, H.: 1997, A model for adapting explanations to user's likely inferences. User Modeling and User Adapted Interaction 7, 1–55.

    Google Scholar 

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

    Google Scholar 

  • De Kleer, J.: 1986, An assumption-based TMS. Artificial Intelligence 28, 127–162.

    Google Scholar 

  • Lopez, A. M.: 1997, Analogy, logic programming and metacognition. Jl. of Artificial Intelligence in Education 8(1), 77–88.

    Google Scholar 

  • Luria, M.: 1988, Knowledge Intensive Planning. Report No. UCB/CSd 88/433, Computer Science Division (EECS), Berkeley, California.

    Google Scholar 

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

    Google Scholar 

  • Martin, J. H.: 1988, A Computational Theory of Metaphor, Report No. UCB/CSd 88/465, Computer Science Division (EECS), Berkeley, California.

    Google Scholar 

  • Martin-Lof: 1988, Constructive mathematics and computer programming, In: Methodology and Philosophy of Science VI, Amsterdam: North Holland Publishing Company.

    Google Scholar 

  • Mayfield, J.: 1992, Controlling inference in plan recognition. User Modeling and User-Adapted Interaction 2(1–2), 55–82.

    Google Scholar 

  • Michalski, R. S. and Winston, P.H.: 1986, Variable precision logic. Artificial Intelligence 29, 121–146.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  • Rich, E. (1979), User modelling via stereotypes. Cognitive Science 3(4), 329–354.

    Google Scholar 

  • Rich, E. (1983), Users are individuals: individualizing user models. International Journal of Man-Machine Studies 18, 199–214.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  • Winkels, R.: 1992, Explorations in Intelligent Tutoring and Help. IOS Press.

  • Zadeh, L. A.: 1965, Fuzzy sets. Information and Control 8, 338–353.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, University of Piraeus, Piraeus, 18534, Greece

    Maria Virvou

  2. School of Cognitive and Computing Sciences, University of Sussex, Brighton, BN1 9QH, U.K

    Benedict Du Boulay

Authors
  1. Maria Virvou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Benedict Du Boulay
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008385523066

Search

Navigation