Simulating Dynamic Systems Using Linear Time Calculus Theories

DOI10.1017/S1471068414000155zbMATH Open1307.68013OpenAlexW3102290089MaRDI QIDQ2931258FDOQ2931258

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)

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.

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

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

zbMATH Keywords

simulationdynamic systemsprogressioninferencesknowledge base systemlinear time calculus

Mathematics Subject Classification ID

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

Cites Work

• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic-based calculus of events
• How to progress a database
• Principles of Constraint Programming
• A unifying action calculus
• Title not available (Why is that?)
• Querying logical databases

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)