雙體邏輯編程中的參數化連接詞

雙體邏輯編程（Disjunctive Logic Programming, DLP）是知識表示與推理（Knowledge Representation and Reasoning, KRR）的高級形式化方法。DLP 在數學意義上極其具表達力：它可以表達所有有限結構的性質，且屬於 $\SigmaP{2}$（$\NP^{\NP}$）複雜度類。重要的是，DLP 編碼常簡潔且自然。本文揭示了 DLP 在 KRR 中的一些限制，這些限制無法自然表達目標大小取決於輸入的問題（如 N 著色問題）。為克服這些限制，我們通過引入「參數化連接詞（OR 與 AND）」來擴充 DLP 的知識建模能力。這些連接詞允許我們約束地表示具有給定性質的原子子集的析取/合取。我們正式定義了新語言的語義，命名為 $DLP^{\bigvee,\bigwedge}$，並通過相關知識基礎問題展示了新構造的實用性。我們關注實現問題，並討論相關文獻。