PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS

DOI10.1080/03081070008960927zbMATH Open0955.68104OpenAlexW2043178596WikidataQ126248589 ScholiaQ126248589MaRDI QIDQ4950604FDOQ4950604

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

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

zbMATH Keywords

critical-tasks decision systems

Mathematics Subject Classification ID

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

Cites Work

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

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
• Probable consistency checking for sets of propositional clauses
• Checking depth-limited consistency and inconsistency in knowledge-based systems
• Towards the unification of inconsistency handling mechanisms
• Extensions of Decision-Theoretic Troubleshooting: Cost Clusters and Precedence Constraints

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)