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.

翻译：本文即将发表于《逻辑编程理论与实践》(TPLP)。动态系统在规划、验证及数据库等领域具有核心地位。这些领域分散存在着大量用于形式化描述动态系统的语言，以及众多基于此类规约进行推理的系统。此类系统通常受限于特定语言与特定推理任务。若需对同一知识执行多种推理任务，则必须将规约翻译至其他语言，这一过程颇为繁琐。本文探讨了在单一规约上执行一系列经典推理任务的可能性。具体而言，我们通过整合动态规约相关领域的多种推理机制，对IDP3系统进行了功能扩展。