Paraconsistent reasoning for inconsistency measurement in declarative process specifications

Carl Corea, Isabelle Kuhlmann, Matthias Thimm, John Grant

Abstract: Highlights•We present an approach for measuring inconsistency in declarative process specifications.•We use Linear Temporal Logic on fixed traces (LTLff<math><msub is="true"><mrow is="true"></mrow><mrow is="true"><mtext is="true">ff</mtext></mrow></msub></math>) and a paraconsistent semantics.•We develop a series of “time-sensitive” inconsistency measures, also for pin-pointing issues.•We extend the framework with a preference relation over LTLff<math><msub is="true"><mrow is="true"></mrow><mrow is="true"><mtext is="true">ff</mtext></mrow></msub></math> constraints.•We develop and show-case algorithmic approaches for our approach.