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

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

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

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

3 和國臣;新聞?wù)Z體簡潔性的變異分析[D];云南師范大學(xué);2004年

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

，

本文編號：889447