A formal model for verification of dynamic consistency of KBSs

DOI10.1016/0898-1221(94)00250-OMaRDI QIDQ1842811zbMATHOpenAlexFDO

Authors B. Ramírez, A. Riscos, Luis M. Laita, Luis de Ledesma

Publication date 30 June 1995

Published in Computers & Mathematics with Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0898-1221(94)00250-o

zbMATH Keywords

algebraic logicformal approach to verificationformal models for KBS'sknowledge based systems verification

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Algebraic logic (03G99)

Recommendations

• Semantics and Consistency of Rule based Expert Systems
• Verification of knowledge bases based on containment checking
• A logic-algebraic tool for reasoning with knowledge-based systems
• A semantical perspective on verification of knowledge
• scientific article; zbMATH DE number 871197

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3231057 (Why is no real title available?)
• An algebraic approach to non-classical logics
• N‐Categories in Logic

Cited in

(3)

• A semantical perspective on verification of knowledge
• An illustration of verification and validation in the modelling phase of KBS development
• An inference engine for propositional two-valued logic based on the radical membership problem

This page was built for publication: A formal model for verification of dynamic consistency of KBSs

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