This work addresses the problem of synthesizing fuzzy temporal logic rules from a set of given positive and negative examples. The examples are provided in the form of execution traces of finite length. Fuzzy Time Linear Temporal Logic over finite traces ( \(FTL_f\) ) is chosen as the language for rule synthesis. \(FTL_f\) is capable of capturing fuzzy temporal modalities, like, ‘soon after’, ‘almost always’, ‘gradually’ etc., that make the learnt rules simpler and more understandable than classical LTL representations. The proposed approach reduces the learning task to a multi-valued partial maximum satisfiability (PMaxSAT) problem. This work is useful for generating interpretable explanations of complex system behaviours.

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

Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces

  • Sandip Paul,
  • Bornali Paul

摘要

This work addresses the problem of synthesizing fuzzy temporal logic rules from a set of given positive and negative examples. The examples are provided in the form of execution traces of finite length. Fuzzy Time Linear Temporal Logic over finite traces ( \(FTL_f\) ) is chosen as the language for rule synthesis. \(FTL_f\) is capable of capturing fuzzy temporal modalities, like, ‘soon after’, ‘almost always’, ‘gradually’ etc., that make the learnt rules simpler and more understandable than classical LTL representations. The proposed approach reduces the learning task to a multi-valued partial maximum satisfiability (PMaxSAT) problem. This work is useful for generating interpretable explanations of complex system behaviours.