Thanks to a number of efficient implementations, the use of logic formalisms for problem-solving has been increased in several real-world domains. This is the case, for instance, of action languages, such as planning domain definition language (PDDL), or answer set programming (ASP), which is a well-established declarative problem-solving paradigm that became widely used in AI and recognized as a powerful tool for knowledge representation and reasoning (KRR). As the application scenarios widened, the need for proper development tools and interoperability mechanisms for easing interaction and integration between declarative logic-based systems and external systems clearly emerged. In this work, we present a framework for integrating the KRR capabilities of, possibly more than one, declarative formalisms into generic applications developed by means of different programming paradigms. We show the use of the framework by illustrating proper specializations for two formalisms, namely ASP and PDDL, along with specializations for some relevant systems over different platforms, including the mobile setting.

中文翻译：

---

促进在实际应用程序中使用声明式形式：EmbASP 框架

多亏了许多有效的实现，在几个现实世界的领域中使用逻辑形式来解决问题已经增加。例如，行动语言就是这种情况，例如规划域定义语言 (PDDL) 或答案集编程 (ASP)，这是一种完善的声明式问题解决范式，在 AI 中得到广泛应用并被公认为知识表示和推理 (KRR) 的强大工具。随着应用场景的扩大，显然需要适当的开发工具和互操作性机制来简化基于声明性逻辑的系统和外部系统之间的交互和集成。在这项工作中，我们提出了一个框架，用于集成 KRR 功能，可能不止一个，通过不同的编程范式开发的通用应用程序的声明形式。我们通过说明两种形式的适当专业化，即 ASP 和 PDDL，以及针对不同平台（包括移动设置）上的一些相关系统的专业化来展示该框架的使用。