Automatic reasoning and help about human errors in using an operating system

  title={Automatic reasoning and help about human errors in using an operating system},
  author={Maria Virvou},
  journal={Interact. Comput.},
  • M. Virvou
  • Published 1 May 1999
  • Computer Science
  • Interact. Comput.

Figures and Tables from this paper

Enhancing Automatic Reasoning of human errors in an operating system using fuzzy logic

The presented mechanism combines Human Plausible Reasoning (HPR) theory with fuzzy logic to handle the uncertainty that characterizes the complex reasoning process by modelling the errors’ types in a more realistic way.

Reasoning About Users' Actions in a Graphical User Interface

A graphical user interface (GUI) that provides intelligent help to users that is based on an adaptation of a cognitive theory called human plausible reasoning and performs goal recognition based on the effects of users' commands is described.

Adapting the human plausible reasoning theory to a graphical user interface

  • M. VirvouK. Kabassi
  • Computer Science
    IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
  • 2004
Human Plausible Reasoning seemed to have fulfilled the purpose for which it was incorporated in IFM, and the evaluation results showed that IFM could generate plausible hypotheses about users' errors and helpful advice to a satisfactory extent.

Evaluating an intelligent graphical user interface by comparison with human experts

Experimental Studies within the Software Engineering Process for Intelligent Assistance in a GUI

The experimental results have shown that the intelligent assistant may follow the users' reasoning and provide helpful advice to a satisfactory extent as compared to human advisors.

Intelligent help in a graphical user interface

  • M. VirvouK. Kabassi
  • Computer Science
    IEEE International Conference on Systems, Man and Cybernetics
  • 2002
A Graphical User Interface that provides intelligent help to users based on its user modelling component and a simulator of users’ reasoning based on a cognitive theory, called Human Plausible Reasoning theory is presented.

Improving agent control for user modeling

  • M. VirvouK. Kabassi
  • Computer Science
    Proceedings First International IEEE Symposium Intelligent Systems
  • 2002
The main focus of this paper is on examining how the UM Agent's control can be improved by the combination of Human Plausible Reasoning and stereotypical knowledge.

IFM: An Intelligent Graphical User Interface Offering Advice

A graphical user interface that provides intelligent help to users based on its user modelling component, which can successfully improve human-computer interaction by producing advice helpful to users is described.

Improving Control in an Agent for User Modeling

An intelligent Graphical User Interface called Intelligent File Manipulator (IFM) that manipulates files, such as the Windows 98 Explorer, to allow a user direct manipulation and, at the same time, to protect him/her from his/her own errors by providing intelligent help.

Rendering the interaction more human-like in an intelligent GUI

  • M. VirvouK. Kabassi
  • Computer Science, Art
    ITI 2002. Proceedings of the 24th International Conference on Information Technology Interfaces (IEEE Cat. No.02EX534)
  • 2002
The evaluation of the interface revealed that human-computer interaction can successfully be improved by the adaptation of such an animated, speech-driven agent, when it can reproduce human reasoning.



Intelligent agents as a basis for natural language interfaces

UC (UNIX Consultant), a natural language system that helps the user solve problems in using the UNIX operating system, is such an intelligent agent that is able to respond appropriately to the user in real time.

A Shell for Intelligent Help Systems

The research reported here is part of a project aimed at the construction of an environment for building intelligent help systems and consists of a generic COACH, which generates an overlay of domain concepts that may be taught and are the speech acts finally "uttered" by the COACH.

Plausible Generalization: Extending a Model of Human Plausible Reasoning

This article describes some important extensions to the earlier description of a core theory of plausible reasoning, based in large part on a new protocol study, that provide examples of qualitative reasoning with inequalities and extend the formalism to cover that typ...

User modelling and advice giving intelligent help systems for Unix

The Logic of Plausible Reasoning: A Core Theory

This is one of the first attempts to construct a formal theory that addresses both the semantic and parametric aspects of the kind of everyday reasoning that pervades.

The Phenotype of Erroneous Actions

  • E. Hollnagel
  • Environmental Science
    Int. J. Man Mach. Stud.
  • 1993
A logical set of phenotypes is developed and compared with the established "human error" taxonomies as well as with the operational categories which have been developed in the field of human reliability analysis and the trade-off between precision and meaningfulness is discussed.

User Modeling via Stereotypes

  • E. Rich
  • Computer Science
    Cogn. Sci.
  • 1979
The problems that must be considered if computers are going to treat their users as individuals with distinct personalities, goals, and so forth are addressed, and stereotypes are proposed as a useful mechanism for building models of individual users on the basis of a small amount of information about them.

Knowledge Intensive Planning

This thesis describes a program called KIP (Knowledge Intensinve Planner). KIP is a general, commonsense planner that can reason about planning situations in the real world for which it is provided

Explorations in Intelligent Tutoring and Help

The authors define ITS as systems that use AI techniques to teach some domain, and explore some of the problems of Intelligent Help and Tutoring systems and presents a general framework.

A Computational Theory of Metaphor

MIDAS (Metaphor Interpretation, Denotation and Acquisition System) is a computer program that embodies the main thrust of this approach, which gives equal status to all conventional metaphoric and literal interpretations.