Home » Publication » 27671

Dettaglio pubblicazione

2023, EUMAS 2023, Pages 133-149 (volume: 14282 LNAI)

Behavioral QLTL (04b Atto di convegno in volume)

De Giacomo G., Perelli G.

This paper introduces Behavioral QLTL, a “behavioral” variant of Linear Temporal Logic (ltl) with second-order quantifiers. Behavioral qltl is characterized by the fact that the functions that assign the truth value of the quantified propositions along the trace can only depend on the past. In other words, such functions must be “processes” [1]. This gives the logic a strategic flavor that we usually associate with planning. Indeed we show that temporally extended planning in nondeterministic domains and ltl synthesis are expressed in Behavioral qltl through formulas with a simple quantification alternation. While as this alternation increases, we get to forms of planning/synthesis in which contingent and conformant planning aspects get mixed. We study this logic from the computational point of view and compare it to the original qltl (with non-behavioral semantics) and simpler forms of behavioral semantics.
ISBN: 978-3-031-43263-7; 978-3-031-43264-4
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma