将现代ASP特性融入动作语言，提升形式化描述能力
Action Language BC+
- 基于命题公式稳定模型语义，整合选择规则等现代ASP特性
- 支持多种经典动作语言功能，表达能力更强且可直接求解
- 兼容现有ASP求解器，便于实际应用与实现
动作语言是用于描述动作效应的自然语言片段的形式化模型。许多此类语言可视为答案集程序（ASP）的高层表示，用于建模转换系统。然而，早期研究中的ASP形式较为有限，未能充分利用现代ASP语言中诸如选择规则、聚集和抽象约束原子等重要知识表示机制。本文提出一种新型动作语言BC+，弥合了传统动作语言与现代ASP之间的差距。核心思想是通过一般稳定模型语义定义BC+，使现代ASP构造可被视作命题公式的简写。结果表明，BC+具有足够表达力，涵盖B、C、C+和BC等语言的最佳特性。同时，可直接利用现有ASP求解器计算BC+，并已通过扩展cplus2asp系统实现。
原文摘要 · Abstract (English)
Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high level notations of answer set programs structured to represent transition systems. However, the form of answer set programs considered in the earlier work is quite limited in comparison with the modern Answer Set Programming (ASP) language, which allows several useful constructs for knowledge representation, such as choice rules, aggregates, and abstract constraint atoms. We propose a new action language called BC+, which closes the gap between action languages and the modern ASP language. The main idea is to define the semantics of BC+ in terms of general stable model semantics for propositional formulas, under which many modern ASP language constructs can be identified with shorthands for propositional formulas. Language BC+ turns out to be sufficiently expressive to encompass the best features of other action languages, such as languages B, C, C+, and BC. Computational methods available in ASP solvers are readily applicable to compute BC+, which led to an implementation of the language by extending system cplus2asp.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。