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