Can I read Measuring Inconsistency in Declarative Process Specifications on EtoBox?

Measuring Inconsistency in Declarative Process Specifications by Corea, Carl; Grant, John; Thimm, Matthias is a scholarly article available to read on EtoBox.

What is Measuring Inconsistency in Declarative Process Specifications about?

We address the problem of measuring inconsistency in declarative process specifications, with an emphasis on linear temporal logic on fixed traces (LTLff). As we will show, existing inconsistency measures for classical logic cannot provide a meaningful assessment of inconsistency in LTL in general, as they cannot adequately handle the temporal operators. We therefore propose a novel paraconsistent semantics as a framework for inconsistency measurement. We then present two new inconsistency measures based on these semantics and show that they satisfy important desirable properties. We show how these measures can be applied to declarative process models and investigate the computational complexity of the introduced approach.

Author

Corea, Carl; Grant, John; Thimm, Matthias

Published

2022

Language

EN