A formal model for verification of dynamic consistency of KBSs

DOI10.1016/0898-1221(94)00250-OzbMATH Open0815.68102OpenAlexW2019519144MaRDI QIDQ1842811FDOQ1842811

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

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

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)

Cites Work

• An algebraic approach to non-classical logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• N‐Categories in Logic

Cited In (3)

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

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)