前提嵌套程序和基数约束程序的简洁性研究

发布时间：2017-09-20 17:35

  本文关键词：前提嵌套程序和基数约束程序的简洁性研究

  更多相关文章： 简洁性 回答集 基数约束程序 前提嵌套程序

【摘要】：直观地说,简洁性是指一个逻辑系统紧凑表示问题的能力。近年来关于简洁性的研究逐渐得到人们的关注。本文将讨论两类逻辑程序,即基数约束程序(Cardinality Constraint Programs,CCP)与前提嵌套程序(Nested Logic Programs,NLP)之间的简洁性。我们设计了一个从CCP到NLP多项式长度的等价翻译,这极大改进了Ferraris和Lifschitz提出的指数长度翻译方法,由此证明NLP至少与CCP一样简洁。
【作者单位】： 中山大学逻辑与认知研究所;
【关键词】： 简洁性 回答集 基数约束程序 前提嵌套程序
【基金】：国家社会科学基金青年项目《逻辑系统的简洁性研究》(14CZX058)资助
【分类号】：B815
【正文快照】：

【相似文献】

中国期刊全文数据库 前10条

1 赵鑫珊;真善美的简洁性[J];社会科学;1983年09期

2 肖中浩;简洁性必须与表演动作相适应[J];剧影月报;2005年03期

3 彭京宜;论法律语体的“保守”性[J];法学探索.贵州省政法管理干部学院学报;1989年01期

4 林立;略谈词典词目释文的简洁性[J];大学出版;1995年02期

5 李想;;论视觉语言表达的简洁性[J];艺术与设计(理论);2010年12期

6 张仁民;;语言简洁性策略在汉英口译中的应用[J];安徽电子信息职业技术学院学报;2006年02期

7 德治;;漫谈摄影画面点线面的表现方法(三)[J];旅游纵览;2011年04期

8 田宝华;析科技法语的基本特点[J];西安外国语学院学报;2000年03期

9 郜珍;;论标志造型的简洁性[J];科技信息(学术研究);2008年17期

10 刘晓萍;;浅谈模糊语言的运用[J];信阳农业高等专科学校学报;2011年03期

中国硕士学位论文全文数据库 前4条

1 李珊;释意理论视角下的联络口译译语简洁性的实现[D];湖南师范大学;2015年

2 毛文丽;语言简洁性策略在汉英会议口译中的实证研究[D];湖南大学;2013年

3 和国臣;新闻语体简洁性的变异分析[D];云南师范大学;2004年

4 李秋玲;从准确性、清晰性、简洁性和衔接性角度分析英语科技论文[D];中国地质大学（北京）;2014年

，

本文编号：889446