本文關鍵詞：前提嵌套程序和基數(shù)約束程序的簡潔性研究

  更多相關文章： 簡潔性 回答集 基數(shù)約束程序 前提嵌套程序

【摘要】：直觀地說,簡潔性是指一個邏輯系統(tǒng)緊湊表示問題的能力。近年來關于簡潔性的研究逐漸得到人們的關注。本文將討論兩類邏輯程序,即基數(shù)約束程序(Cardinality Constraint Programs,CCP)與前提嵌套程序(Nested Logic Programs,NLP)之間的簡潔性。我們設計了一個從CCP到NLP多項式長度的等價翻譯,這極大改進了Ferraris和Lifschitz提出的指數(shù)長度翻譯方法,由此證明NLP至少與CCP一樣簡潔。
【作者單位】： 中山大學邏輯與認知研究所;
【關鍵詞】： 簡潔性 回答集 基數(shù)約束程序 前提嵌套程序
【基金】：國家社會科學基金青年項目《邏輯系統(tǒng)的簡潔性研究》(14CZX058)資助
【分類號】：B815
【正文快照】：

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 趙鑫珊;真善美的簡潔性[J];社會科學;1983年09期

2 肖中浩;簡潔性必須與表演動作相適應[J];劇影月報;2005年03期

3 彭京宜;論法律語體的“保守”性[J];法學探索.貴州省政法管理干部學院學報;1989年01期

4 林立;略談詞典詞目釋文的簡潔性[J];大學出版;1995年02期

5 李想;;論視覺語言表達的簡潔性[J];藝術與設計(理論);2010年12期

6 張仁民;;語言簡潔性策略在漢英口譯中的應用[J];安徽電子信息職業(yè)技術學院學報;2006年02期

7 德治;;漫談攝影畫面點線面的表現(xiàn)方法(三)[J];旅游縱覽;2011年04期

8 田寶華;析科技法語的基本特點[J];西安外國語學院學報;2000年03期

9 郜珍;;論標志造型的簡潔性[J];科技信息(學術研究);2008年17期

10 劉曉萍;;淺談模糊語言的運用[J];信陽農(nóng)業(yè)高等�？茖W校學報;2011年03期

中國碩士學位論文全文數(shù)據(jù)庫 前4條

1 李珊;釋意理論視角下的聯(lián)絡口譯譯語簡潔性的實現(xiàn)[D];湖南師范大學;2015年

2 毛文麗;語言簡潔性策略在漢英會議口譯中的實證研究[D];湖南大學;2013年

3 和國臣;新聞語體簡潔性的變異分析[D];云南師范大學;2004年

4 李秋玲;從準確性、清晰性、簡潔性和銜接性角度分析英語科技論文[D];中國地質大學（北京）;2014年

，

本文編號：889446