前提嵌套程序和基數(shù)約束程序的簡潔性研究
作者：張燕; 沈榆平; 趙希順 中山大學(xué)邏輯與認(rèn)知研究所
摘要：直觀地說,簡潔性是指一個邏輯系統(tǒng)緊湊表示問題的能力。近年來關(guān)于簡潔性的研究逐漸得到人們的關(guān)注。本文將討論兩類邏輯程序,即基數(shù)約束程序(Cardinality Constraint Programs,CCP)與前提嵌套程序(Nested Logic Programs,NLP)之間的簡潔性。我們設(shè)計(jì)了一個從CCP到NLP多項(xiàng)式長度的等價翻譯,這極大改進(jìn)了Ferraris和Lifschitz提出的指數(shù)長度翻譯方法,由此證明NLP至少與CCP一樣簡潔。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社
相關(guān)熱門期刊
