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

zbMATH Open1394.68381MaRDI QIDQ4583954FDOQ4583954

Authors

Publication date 29 August 2018

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

zbMATH Keywords

network securityMUSesinconsistency measureMISes

Mathematics Subject Classification ID

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

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 (4)

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

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)