BriefGPT.xyz
Aug, 2018
恶性循环原理和具有聚合功能的逻辑程序
Vicious Circle Principle and Logic Programs with Aggregates
HTML
PDF
Michael Gelfond, Yuanlin Zhang
TL;DR
该论文介绍了一种基于ASP和聚合的知识表示语言Alog,旨在提供简单的语法和直观数学语义,包括其一些属性、计算答案集的算法和与其他方法的比较。
Abstract
The paper presents a
knowledge representation language
$\mathcal{A}log$ which extends
asp
with
aggregates
. The goal is to have a language
→