基于展开的逻辑程序聚合语义
软件工程
2007-05-23 v1 人工智能
摘要
本文提出了两种等效的逻辑程序聚合答案集定义。这两种定义建立在聚合展开概念之上，旨在创建将逻辑程序聚合翻译为正常逻辑程序或正逻辑程序的方法，以利用其答案集语义来定义原程序的语义。第一种定义提供了对Pelov 等人描述的逻辑程序聚合语义的另一种视图。第二种定义类似于正常逻辑程序传统答案集定义，即给定逻辑程序聚合和解释，展开过程产生一个正逻辑程序。本文展示了这种定义如何扩展以考虑规则头中的聚合。所提出的逻辑程序聚合观点简单且与最终稳定模型语义一致，同时与其他语义特征描述相吻合（例如具有单调聚合的程序和聚合分层程序）。此外，它可以直接用于支持使用现有答案集求解器的实现。本文描述了一个名为 ASP^A 的系统，能够计算具有任意（例如递归定义）聚合的答案集。
引用
@article{arxiv.cs/0605038,
title = {An Unfolding-Based Semantics for Logic Programming with Aggregates},
author = {Tran Cao Son and Enrico Pontelli and Islam Elkabani},
journal= {arXiv preprint arXiv:cs/0605038},
year = {2007}
}