%0 Journal Article %T 前提嵌套程序和基数约束程序的简洁性研究<br>On the Succinctness of Logic Programs with Nested Bodies and Cardinality Constraints %A 张燕 %A 沈榆平 %A 赵希顺< %A br> %A Yan Zhang %A Yuping Shen %A Xishun Zhao %J 逻辑学研究 %D 2016 %X 直观地说,简洁性是指一个逻辑系统紧凑表示问题的能力。近年来关于简洁性的研究逐渐得到人们的关注。本文将讨论两类逻辑程序,即基数约束程序(Cardinality Constraint Programs, CCP)与前提嵌套程序(Nested Logic Programs, NLP)之间的简洁性。我们设计了一个从CCP 到NLP 多项式长度的等价翻译,这极大改进了Ferraris 和Lifschitz 提出的指数长度翻译方法,由此证明NLP 至少与CCP 一样简洁。<br %K 简洁性 %K 回答集 %K 基数约束程序 %K 前提嵌套程序 %K < %K br> %U https://studiesinlogic.sysu.edu.cn/CN/abstract/abstract247.shtml