前提嵌套程序和基數(shù)約束程序的簡潔性研究
作者：張燕; 沈榆平; 趙希順 中山大學邏輯與認知研究所
摘要：直觀地說,簡潔性是指一個邏輯系統(tǒng)緊湊表示問題的能力。近年來關于簡潔性的研究逐漸得到人們的關注。本文將討論兩類邏輯程序,即基數(shù)約束程序(Cardinality Constraint Programs,CCP)與前提嵌套程序(Nested Logic Programs,NLP)之間的簡潔性。我們設計了一個從CCP到NLP多項式長度的等價翻譯,這極大改進了Ferraris和Lifschitz提出的指數(shù)長度翻譯方法,由此證明NLP至少與CCP一樣簡潔。
注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社。
中山大學學報論叢雜志
中山大學學報論叢雜志， 月刊，本刊重視學術導向，堅持科學性、學術性、先進性、創(chuàng)新性，刊載內容涉及的欄目：研究報告、文獻綜述、簡報等。于1981年經(jīng)新聞總署批準的正規(guī)刊物。
- 部級期刊
- 1個月內審核
