基于ASP的语言中恶性循环原则与集合构造
人工智能
2016-08-31 v1
摘要
本文在带有集合的逻辑编程语言设计背景下，继续研究庞加莱与罗素的恶性循环原则（VCP）。我们通过允许无限集和若干对知识表示与教学有用的附加集合相关构造，扩展了先前引入的带有聚合的Alog语言。此外，我们提出了原始VCP的一种替代形式化方法，并将其纳入新语言Slog+的语义中，该语言允许更自由地构造集合并在编程规则中使用它们。我们证明，对于无析取和无限集的程序，Slog+中聚合的形式语义与其他几种已知语言一致。然而，它们的直观与形式语义基于截然不同的思想，且似乎比Slog+的语义更为复杂。
引用
@article{arxiv.1608.08262,
title = {Vicious Circle Principle and Formation of Sets in ASP Based Languages},
author = {Michael Gelfond and Yuanlin Zhang},
journal= {arXiv preprint arXiv:1608.08262},
year = {2016}
}
备注
Paper presented at the 9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), New York City, USA, 16 October 2016