Tools for Finding Inconsistencies in Real-world Logic-based Systems

Kevin McAreavey; Weiru Liu; Paul Miller; Chris Meenan

doi:10.3233/978-1-61499-096-3-192

Tools for Finding Inconsistencies in Real-world Logic-based Systems

Kevin McAreavey, Weiru Liu, Paul Miller, Chris Meenan

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

5 Citations (Scopus)

258 Downloads (Pure)

Abstract

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.

Original language	English
Title of host publication	STAIRS 2012. Frontiers in Artificial Intelligence and Applications
Editors	Kristian Kersting, Marc Toussaint
Publisher	IOS Press
Pages	192-203
Number of pages	12
Volume	241
ISBN (Electronic)	9781614990963
ISBN (Print)	9781614990956
DOIs	https://doi.org/10.3233/978-1-61499-096-3-192
Publication status	Published - 2012
Event	The Sixth European Starting AI Researchers' Symposium (STAIRS 2012) - France, Montpellier, France Duration: 27 Aug 2012 → 28 Aug 2012

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	241

Conference

Conference	The Sixth European Starting AI Researchers' Symposium (STAIRS 2012)
Country/Territory	France
City	Montpellier
Period	27/08/2012 → 28/08/2012

Keywords

mises
inconsistency measure
muses
network security

ASJC Scopus subject areas

Artificial Intelligence

Access to Document

10.3233/978-1-61499-096-3-192

Tools for Finding Inconsistencies in Real-world Logic-based Systems
This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commercial License (https://creativecommons.org/licenses/by-nc/4.0/), which permits use, distribution and reproduction for non-commercial purposes, provided the author and source are cited.
Final published version, 336 KB

http://www.cs.qub.ac.uk/~w.liu/stairs-2012.pdf

R1118ECI: Centre for Secure Information Technologies (CSIT)
McCanny, J. V. (PI), Cowan, C. (CoI), Crookes, D. (CoI), Fusco, V. (CoI), Linton, D. (CoI), Liu, W. (CoI), Miller, P. (CoI), O'Neill, M. (CoI), Scanlon, W. (CoI) & Sezer, S. (CoI)
01/08/2009 → 30/06/2014
Project: Research

Cite this

McAreavey, K., Liu, W., Miller, P., & Meenan, C. (2012). Tools for Finding Inconsistencies in Real-world Logic-based Systems. In K. Kersting, & M. Toussaint (Eds.), STAIRS 2012. Frontiers in Artificial Intelligence and Applications (Vol. 241, pp. 192-203). (Frontiers in Artificial Intelligence and Applications ; Vol. 241). IOS Press. https://doi.org/10.3233/978-1-61499-096-3-192

@inbook{9d666309d2e04655bc86c221f845856b,

title = "Tools for Finding Inconsistencies in Real-world Logic-based Systems",

abstract = "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.",

keywords = "mises, inconsistency measure, muses, network security",

author = "Kevin McAreavey and Weiru Liu and Paul Miller and Chris Meenan",

year = "2012",

doi = "10.3233/978-1-61499-096-3-192",

language = "English",

isbn = "9781614990956",

volume = "241",

series = "Frontiers in Artificial Intelligence and Applications ",

publisher = "IOS Press",

pages = "192--203",

editor = "Kristian Kersting and Marc Toussaint",

booktitle = "STAIRS 2012. Frontiers in Artificial Intelligence and Applications",

address = "Netherlands",

note = "The Sixth European Starting AI Researchers' Symposium (STAIRS 2012) ; Conference date: 27-08-2012 Through 28-08-2012",

}

McAreavey, K, Liu, W, Miller, P & Meenan, C 2012, Tools for Finding Inconsistencies in Real-world Logic-based Systems. in K Kersting & M Toussaint (eds), STAIRS 2012. Frontiers in Artificial Intelligence and Applications. vol. 241, Frontiers in Artificial Intelligence and Applications , vol. 241, IOS Press, pp. 192-203, The Sixth European Starting AI Researchers' Symposium (STAIRS 2012), Montpellier, France, 27/08/2012. https://doi.org/10.3233/978-1-61499-096-3-192

Tools for Finding Inconsistencies in Real-world Logic-based Systems. / McAreavey, Kevin; Liu, Weiru; Miller, Paul et al.
STAIRS 2012. Frontiers in Artificial Intelligence and Applications. ed. / Kristian Kersting; Marc Toussaint. Vol. 241 IOS Press, 2012. p. 192-203 (Frontiers in Artificial Intelligence and Applications ; Vol. 241).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

TY - CHAP

T1 - Tools for Finding Inconsistencies in Real-world Logic-based Systems

AU - McAreavey, Kevin

AU - Liu, Weiru

AU - Miller, Paul

AU - Meenan, Chris

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - mises

KW - inconsistency measure

KW - muses

KW - network security

U2 - 10.3233/978-1-61499-096-3-192

DO - 10.3233/978-1-61499-096-3-192

M3 - Chapter (peer-reviewed)

SN - 9781614990956

VL - 241

T3 - Frontiers in Artificial Intelligence and Applications

SP - 192

EP - 203

BT - STAIRS 2012. Frontiers in Artificial Intelligence and Applications

A2 - Kersting, Kristian

A2 - Toussaint, Marc

PB - IOS Press

T2 - The Sixth European Starting AI Researchers' Symposium (STAIRS 2012)

Y2 - 27 August 2012 through 28 August 2012

ER -

Tools for Finding Inconsistencies in Real-world Logic-based Systems

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Projects

R1118ECI: Centre for Secure Information Technologies (CSIT)

Cite this