In this paper, we explore the concept of modularity in first-order answer set programming (ASP). We introduce a new formalism called parametric modular logic programs, which allows defining subprograms with parameters and intensionality statements. We demonstrate how this formalism can capture the semantics of clingo-programs with collective control, a feature that enables structuring and instantiating subprograms. We provide theoretical foundations for modular ASP, illustrate its usefulness, and connect to traditional non-modular ASP.

翻译：在本文中，我们探索一阶回答集编程（ASP）中模块化的概念。我们提出一种称为参数化模块化逻辑程序的新形式化方法，该方法允许定义带有参数和内涵性声明的子程序。我们证明这种形式化方法能够捕捉具有集体控制特性的clingo程序的语义——该特性支持子程序的结构化与实例化。我们为模块化ASP提供了理论基础，阐释其有效性，并建立与传统非模块化ASP之间的联系。