About the incremental validation of first-order stratified knowledge-based decision-support systems

DOI10.1016/S0020-0255(02)00161-5MaRDI QIDQ1857059zbMATH OpenFDO

Authors E. Grégoire, Bertrand Mazure

Publication date 11 February 2003

Published in Information Sciences (Search for Journal in Brave)

zbMATH Keywords

verificationvalidationknowledge baseslogical consistency

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• About the incremental validation of first-order stratified knowledge-based decision-support systems
• Approaches to measuring inconsistency for stratified knowledge bases
• The development, validation and implementation of knowledge-based systems

Cites work

• scientific article; zbMATH DE number 4174344 (Why is no real title available?)
• A machine program for theorem-proving
• A theory of diagnosis from first principles
• Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5--10, 1998. Proceedings
• Boosting complete techniques thanks to local search methods

Cited in

(3)

• About the incremental validation of first-order stratified knowledge-based decision-support systems
• Manufacturing knowledge verification in design support systems
• Checking depth-limited consistency and inconsistency in knowledge-based systems

Describes a project that uses

Uses Software

• Walksat

This page was built for publication: About the incremental validation of first-order stratified knowledge-based decision-support systems

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