Semantics and Consistency of Rule based Expert Systems

DOI10.1093/LOGCOM/1.4.477MaRDI QIDQ3985546zbMATH OpenOpenAlexFDO

Authors Marc Bezem

Publication date 27 June 1992

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://ir.cwi.nl/pub/5970

zbMATH Keywords

consistencyrule-based expert systemsknowledge-based system

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• scientific article; zbMATH DE number 4080960
• scientific article; zbMATH DE number 4064538
• scientific article; zbMATH DE number 4074531
• A note on rule representation in expert systems
• Approximate reasoning as a basis for rule-based expert systems
• scientific article; zbMATH DE number 2080549
• scientific article; zbMATH DE number 4121391
• scientific article; zbMATH DE number 53081

Cited in

(14)

• scientific article; zbMATH DE number 2080549 (Why is no real title available?)
• On the consistency of rule bases based on lattice-valued first-order logic LF(X)
• scientific article; zbMATH DE number 4092819 (Why is no real title available?)
• Learning rule base in linguistic expert systems
• scientific article; zbMATH DE number 4189229 (Why is no real title available?)
• scientific article; zbMATH DE number 4068598 (Why is no real title available?)
• scientific article; zbMATH DE number 4080960 (Why is no real title available?)
• A logical analysis of rule inconsistency
• Checking depth-limited consistency and inconsistency in knowledge-based systems
• A semantical perspective on verification of knowledge
• A formal method for analyzing and integrating the rule-sets of multiple experts
• The non-definedness notion in expert systems
• A formal model for verification of dynamic consistency of KBSs
• On rule systems whose consistency can be locally maintained

This page was built for publication: Semantics and Consistency of Rule based Expert Systems

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