zbMATH — the first resource for mathematics

Tools for finding inconsistencies in real-world logic-based systems. (English) Zbl 1394.68381
Kersting, Kristian (ed.) et al., STAIRS 2012. Proceedings of the sixth starting AI researchers’ symposium, Montpellier, France, August 27–28, 2012. Amsterdam: IOS Press (ISBN 978-1-61499-095-6/hbk; 978-1-61499-096-3/ebook). Frontiers in Artificial Intelligence and Applications 241, 192-203 (2012).
Summary: Currently there is extensive theoretical work on inconsistencies in logic-based systems. Recently, algorithms for identifying inconsistent clauses in a single conjunctive formula have demonstrated that practical application of this work is possible. However, these algorithms have not been extended for full knowledge base systems and have not been applied to real-world knowledge. To address these issues, we propose a new algorithm for finding the inconsistencies in a knowledge base using existing algorithms for finding inconsistent clauses in a formula. An implementation of this algorithm is then presented as an automated tool for finding inconsistencies in a knowledge base and measuring the inconsistency of formulae. Finally, we look at a case study of a network security rule set for exploit detection (QRadar) and suggest how these automated tools can be applied.
For the entire collection see [Zbl 1272.68026].

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