An assumption-based truth maintenance system in active aid for UNIX users

DOI10.1023/A:1006562430348MaRDI QIDQ1857121zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 17 February 2003

Published in Artificial Intelligence Review (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1006562430348

zbMATH Keywords

advice generationAssumption-based Truth Maintenance SystemIntelligent Help SystemsUNIX commandsuser interfacesuser modellinguser's errors

Mathematics Subject Classification ID

Theory of operating systems (68N25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Computing methodologies and applications (68U99)

Recommendations

• Virtues and problems of an active help system for UNIX
• USCSH: An active intelligent assistance system
• Intelligent help systems for UNIX.
• An assumption-based truth maintenance system dealing with non-ground justifications
• An intelligent human-computer interface for provision of on-line help

Cited in

(4)

• Using a truth-maintenance system to assist product-model construction for design and process planning
• Virtues and problems of an active help system for UNIX
• Intelligent help systems for UNIX.
• scientific article; zbMATH DE number 1301868 (Why is no real title available?)

This page was built for publication: An assumption-based truth maintenance system in active aid for UNIX users

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1857121)