前提嵌套程序和基数约束程序的简洁性研究
作者： 中山大学逻辑与认知研究所
摘要：直观地说,简洁性是指一个逻辑系统紧凑表示问题的能力。近年来关于简洁性的研究逐渐得到人们的关注。本文将讨论两类逻辑程序,即基数约束程序(Cardinality Constraint Programs,CCP)与前提嵌套程序(Nested Logic Programs,NLP)之间的简洁性。我们设计了一个从CCP到NLP多项式长度的等价翻译,这极大改进了Ferraris和Lifschitz提出的指数长度翻译方法,由此证明NLP至少与CCP一样简洁。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社。
中山大学学报论丛杂志
中山大学学报论丛杂志， 月刊，本刊重视学术导向，坚持科学性、学术性、先进性、创新性，刊载内容涉及的栏目：研究报告、文献综述、简报等。于1981年经新闻总署批准的正规刊物。
- 部级期刊
- 1个月内审核
