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

@article{Virvou1999AutomaticRA,
  title={Automatic reasoning and help about human errors in using an operating system},
  author={Maria Virvou},
  journal={Interact. Comput.},
  year={1999},
  volume={11},
  pages={545-573}
}
  • M. Virvou
  • Published 1 May 1999
  • Computer Science
  • Interact. Comput.

Figures and Tables from this paper

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
TLDR
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

TLDR
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
TLDR
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
TLDR
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

TLDR
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

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

Modelling the knowledge and reasoning of users in a knowledge-based authoring tool

TLDR
The domain-independent user modelling capabilities of a knowledge-based authoring tool that is used to help the instructors create Intelligent Tutoring Systems (ITS) that may model both the learners' level of factual knowledge on a particular domain and their reasoning abilities within this domain.

A cognitive in an authoring tool for intelligent tutoring system

  • M. Virvou
  • Computer Science
    IEEE International Conference on Systems, Man and Cybernetics
  • 2002
TLDR
The authoring tool is called NEITS-Author and may be used by human instructors to author their own Intelligent Tutoring System (ITS) in the domain they are interested in and provides a user-friendly environment for instructors toAuthor lessons and create tests for the students.

References

SHOWING 1-10 OF 27 REFERENCES

Intelligent agents as a basis for natural language interfaces

TLDR
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

TLDR
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

TLDR
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

TLDR
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
TLDR
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
TLDR
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

TLDR
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

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