Temporal logic programs with variables

DOI10.1017/S1471068416000570zbMATH Open1379.68288arXiv1609.05811OpenAlexW2963355213MaRDI QIDQ4593085FDOQ4593085

Concepción Vidal, Felicidad Aguado, Gilberto Pérez, Martín Diéguez, Pedro Cabalar

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Abstract: In this note we consider the problem of introducing variables in temporal logic programs under the formalism of "Temporal Equilibrium Logic" (TEL), an extension of Answer Set Programming (ASP) for dealing with linear-time modal operators. To this aim, we provide a definition of a first-order version of TEL that shares the syntax of first-order Linear-time Temporal Logic (LTL) but has a different semantics, selecting some LTL models we call "temporal stable models". Then, we consider a subclass of theories (called "splittable temporal logic programs") that are close to usual logic programs but allowing a restricted use of temporal operators. In this setting, we provide a syntactic definition of "safe variables" that suffices to show the property of "domain independence" -- that is, addition of arbitrary elements in the universe does not vary the set of temporal stable models. Finally, we present a method for computing the derivable facts by constructing a non-temporal logic program with variables that is fed to a standard ASP grounder. The information provided by the grounder is then used to generate a subset of ground temporal rules which is equivalent to (and generally smaller than) the full program instantiation.

Full work available at URL: https://arxiv.org/abs/1609.05811

Recommendations

• scientific article
• Temporal logic programming
• scientific article; zbMATH DE number 4119670
• scientific article; zbMATH DE number 3985193
• Temporal contextual logic programming
• scientific article; zbMATH DE number 947806
• On the expressiveness of temporal logic programming
• scientific article; zbMATH DE number 3901996
• Temporal disjunctive logic programming
• Temporal logic programs with temporal description logic axioms

zbMATH Keywords

answer set programmingartificial intelligencegroundingtemporal logicknowledge representationlogic programming

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Cites Work

• A Revised Concept of Safety for General Answer Set Programs
• The DLV system for knowledge representation and reasoning
• Equilibrium logic
• Logic programs with stable model semantics as a constraint programming paradigm
• The Semantics of Predicate Logic as a Programming Language
• Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
• On the Complexity of Temporal Equilibrium Logic
• Strongly Equivalent Temporal Logic Programs
• Loop Formulas for Splitable Temporal Logic Programs
• Normal Form Nested Programs

Cited In (1)

• FTClogic: fuzzy temporal constraint logic

Uses Software

• Gringo
• STeLP

This page was built for publication: Temporal logic programs with variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593085)