Simulating Dynamic Systems Using Linear Time Calculus Theories

DOI10.1017/S1471068414000155MaRDI QIDQ2931258zbMATH OpenOpenAlexFDO

Authors Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes de Cat, Joost Vennekens, Marc Denecker

Publication date 25 November 2014

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

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

zbMATH Keywords

simulationdynamic systemsprogressioninferencesknowledge base systemlinear time calculus

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Abstract: To appear in Theory and Practice of Logic Programming (TPLP). Dynamic systems play a central role in fields such as planning, verification, and databases. Fragmented throughout these fields, we find a multitude of languages to formally specify dynamic systems and a multitude of systems to reason on such specifications. Often, such systems are bound to one specific language and one specific inference task. It is troublesome that performing several inference tasks on the same knowledge requires translations of your specification to other languages. In this paper we study whether it is possible to perform a broad set of well-studied inference tasks on one specification. More concretely, we extend IDP3 with several inferences from fields concerned with dynamic specifications.

Recommendations

• Discrete simulation of linear multidimensional continuous systems
• Worst-case simulation of discrete linear time-invariant interval dynamic systems
• scientific article; zbMATH DE number 5263486
• scientific article; zbMATH DE number 1855665
• scientific article; zbMATH DE number 5309958
• scientific article; zbMATH DE number 238353
• scientific article; zbMATH DE number 4086984
• Dynamical modelling of linear discrete continuous systems

Cites work

• scientific article; zbMATH DE number 193411 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• A logic-based calculus of events
• A unifying action calculus
• How to progress a database
• Principles of Constraint Programming
• Querying logical databases
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0

Cited in

(3)

• Stable-unstable semantics: Beyond NP with normal logic programs
• Forward and backward simulations. I. Untimed Systems
• The KB paradigm and its application to interactive configuration

This page was built for publication: Simulating Dynamic Systems Using Linear Time Calculus Theories

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