On the Decidability of a Fragment of preferential LTL - Université d'Artois Access content directly
Conference Papers Year : 2019

On the Decidability of a Fragment of preferential LTL

Anasse Chafik
Ivan Varzinczak


Linear Temporal Logic (LTL) has found extensive applications in Computer Science and Artificial Intelligence, notably as a formal framework for representing and verifying computer systems that vary over time. Non-monotonic reasoning, on the other hand, allows us to formalize and reason with exceptions and the dynamics of information. The goal of this paper is therefore to enrich temporal formalisms with non-monotonic reasoning features. We do so by investigating a preferential semantics for defeasible LTL along the lines of that extensively studied by Kraus et al. in the propositional case and recently extended to modal and description logics. The main contribution of the paper is a decidability result for a meaningful fragment of preferential LTL that can serve as the basis for further exploration of defeasibility in temporal formalisms.
Fichier principal
Vignette du fichier
On_the_decidability_of_a_fragment_of_preferential_LTL.pdf (544.57 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-03300290 , version 1 (04-04-2024)


  • HAL Id : hal-03300290 , version 1


Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak. On the Decidability of a Fragment of preferential LTL. International Symposium on Temporal Representation and Reasoning (TIME), 2019, Malaga, Spain. pp.19:1--19:19. ⟨hal-03300290⟩
32 View
0 Download


Gmail Facebook X LinkedIn More