Measuring Inconsistency in Declarative Process Specifications
This work addresses inconsistency measurement for declarative process models, which is incremental as it adapts classical logic measures to handle temporal operators in LTLff.
The paper tackles the problem of measuring inconsistency in declarative process specifications using linear temporal logic on fixed traces (LTLff), proposing a novel paraconsistent semantics and two new inconsistency measures that satisfy key properties, with computational complexity analysis provided.
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.