PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS

DOI10.1080/03081070008960927MaRDI QIDQ4950604zbMATH OpenOpenAlexWikidataFDO

Authors E. Grégoire, Lakhdar Sais

Publication date 18 February 2001

Published in International Journal of General Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/03081070008960927

zbMATH Keywords

critical-tasks decision systems

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Checking depth-limited consistency and inconsistency in knowledge-based systems
• Probable consistency checking for sets of propositional clauses
• scientific article; zbMATH DE number 4189241
• Consistency-based diagnosis of configuration knowledge bases
• scientific article; zbMATH DE number 140410

Cites work

• A Computing Procedure for Quantification Theory
• A theory of diagnosis from first principles

Cited in

(7)

• About the incremental validation of first-order stratified knowledge-based decision-support systems
• Making decisions with knowledge base repairs
• Inconsistency Management in Reactive Multi-context Systems
• Checking depth-limited consistency and inconsistency in knowledge-based systems
• Probable consistency checking for sets of propositional clauses
• Towards the unification of inconsistency handling mechanisms
• Extensions of Decision-Theoretic Troubleshooting: Cost Clusters and Precedence Constraints

Describes a project that uses

Uses Software

• Walksat

This page was built for publication: PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS

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