License: Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.TIME.2020.19
URN: urn:nbn:de:0030-drops-129871
URL: https://drops.dagstuhl.de/opus/volltexte/2020/12987/
Go to the corresponding LIPIcs Volume Portal


Chafik, Anasse ; Cheikh-Alili, Fahima ; Condotta, Jean-Fran├žois ; Varzinczak, Ivan

On the Decidability of a Fragment of preferential LTL

pdf-format:
LIPIcs-TIME-2020-19.pdf (0.6 MB)


Abstract

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.

BibTeX - Entry

@InProceedings{chafik_et_al:LIPIcs:2020:12987,
  author =	{Anasse Chafik and Fahima Cheikh-Alili and Jean-Fran{\c{c}}ois Condotta and Ivan Varzinczak},
  title =	{{On the Decidability of a Fragment of preferential LTL}},
  booktitle =	{27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
  pages =	{19:1--19:19},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-167-2},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{178},
  editor =	{Emilio Mu{\~n}oz-Velasco and Ana Ozaki and Martin Theobald},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2020/12987},
  URN =		{urn:nbn:de:0030-drops-129871},
  doi =		{10.4230/LIPIcs.TIME.2020.19},
  annote =	{Keywords: Knowledge Representation, non-monotonic reasoning, temporal logic}
}

Keywords: Knowledge Representation, non-monotonic reasoning, temporal logic
Collection: 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Issue Date: 2020
Date of publication: 15.09.2020


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI