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