提出可参数化的模块化逻辑程序，让ASP更灵活易用
Parametric Modular Answer Set Programs Made Declarative
- 用参数和内延声明定义可复用的子程序
- 支持clingo中集体控制的语义，实现程序结构化实例化
- 为模块化ASP提供理论基础，适合复杂逻辑编程者
本文研究一阶答案集编程（ASP）中的模块化概念。提出一种新的形式化体系——参数化模块化逻辑程序，支持带参数的子程序定义及内延性陈述。该形式化能捕捉clingo程序中集体控制的语义，实现子程序的结构化与实例化。文章提供了模块化ASP的理论基础，展示了其实际用途，并与传统非模块化ASP建立联系。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。