2022
DOI: 10.1609/aaai.v36i9.21221
|View full text |Cite
|
Sign up to set email alerts
|

Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae

Abstract: Learning linear temporal logic on finite traces (LTLf) formulae aims to learn a target formula that characterizes the high-level behavior of a system from observation traces in planning. Existing approaches to learning LTLf formulae, however, can hardly learn accurate LTLf formulae from noisy data. It is challenging to design an efficient search mechanism in the large search space in form of arbitrary LTLf formulae while alleviating the wrong search bias resulting from noisy data. In this paper, we tackle this… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
8
0

Year Published

2023
2023
2024
2024

Publication Types

Select...
3
2
1

Relationship

0
6

Authors

Journals

citations
Cited by 6 publications
(8 citation statements)
references
References 25 publications
0
8
0
Order By: Relevance
“…Gaglione et al (2021) proposed a MaxSAT-based approach to tolerate imperfect data, but the scalability is limited by the computational complexity of the MaxSAT solver. The work (Luo et al 2022) is the closest to this work. Based on a theoretical result that the graph neural network (GNN) inference is able to simulate the LTL f inference in checking if a trace is satisfied, Luo et al (2022) first trained a GNN classifier for the trace satisfiability problem and then interpreted LTL f formulae from the model parameters.…”
Section: Related Workmentioning
confidence: 84%
See 4 more Smart Citations
“…Gaglione et al (2021) proposed a MaxSAT-based approach to tolerate imperfect data, but the scalability is limited by the computational complexity of the MaxSAT solver. The work (Luo et al 2022) is the closest to this work. Based on a theoretical result that the graph neural network (GNN) inference is able to simulate the LTL f inference in checking if a trace is satisfied, Luo et al (2022) first trained a GNN classifier for the trace satisfiability problem and then interpreted LTL f formulae from the model parameters.…”
Section: Related Workmentioning
confidence: 84%
“…Formulae with tree structures widely exist in data mining and knowledge management, e.g., linear temporal logic (LTL) (Luo et al 2022) and regular expression (Ye et al 2023). Therefore, it is important to automatically discover the underlying tree structured formulae from large amounts of data.…”
Section: Introductionmentioning
confidence: 99%
See 3 more Smart Citations