We investigate the problem of measuring inconsistency in linear temporal logic on finite traces (LTL \(_{\text {f}}\) ). In particular, we present Answer Set Programming-based approaches to compute a selection of traditional inconsistency measures w.r.t. LTL \(_{\text {f}}\) knowledge bases. In contrast to existing works (mostly on propositional logic), these approaches are novel in the sense that they allow to assess logical inconsistency in presence of temporal operators, as offered by LTL \(_{\text {f}}\) . In an experimental evaluation on real-world data from the area of business process management, we show that our approaches are practically feasible.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Inconsistency Measurement in LTL \(_{\text {f}}\) Based on Minimal Inconsistent Sets and Minimal Correction Sets

  • Isabelle Kuhlmann,
  • Carl Corea

摘要

We investigate the problem of measuring inconsistency in linear temporal logic on finite traces (LTL \(_{\text {f}}\) ). In particular, we present Answer Set Programming-based approaches to compute a selection of traditional inconsistency measures w.r.t. LTL \(_{\text {f}}\) knowledge bases. In contrast to existing works (mostly on propositional logic), these approaches are novel in the sense that they allow to assess logical inconsistency in presence of temporal operators, as offered by LTL \(_{\text {f}}\) . In an experimental evaluation on real-world data from the area of business process management, we show that our approaches are practically feasible.