Simulating Dynamic Systems Using Linear Time Calculus Theories

DOI10.1017/S1471068414000155zbMATH Open1307.68013arXiv1405.1523OpenAlexW3102290089MaRDI QIDQ2931258FDOQ2931258

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

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

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

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

Recommendations

• Worst-case simulation of discrete linear time-invariant interval dynamic systems 👍 👎
• Dynamical modelling of linear discrete continuous systems 👍 👎
• Discrete simulation of linear multidimensional continuous systems 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)