Tools for finding inconsistencies in real-world logic-based systems

MaRDI QIDQ4583954zbMATH OpenFDO

Authors

Publication date 29 August 2018

Full work available at URL http://ebooks.iospress.nl/volumearticle/6915

zbMATH Keywords

inconsistency measureMISesMUSesnetwork security

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• A framework for handling logical inconsistencies in the fusion of Boolean knowledge bases
• A logical analysis of rule inconsistency
• On discovering potential inconsistencies in validating uncertain knowledge bases by reflecting on the input
• Dynamic consistency checking in goal-directed answer set programming

Cited in

(5)

• Effective error diagnostic tools for logical prototype systems
• Local reasoning about the presence of bugs: incorrectness separation logic
• Finding inconsistencies in programs with loops
• On discovering potential inconsistencies in validating uncertain knowledge bases by reflecting on the input
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases

This page was built for publication: Tools for finding inconsistencies in real-world logic-based systems

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