內容簡介
本書主要介紹一階子句集的消解原理和命題公式集的穩定模型、一般缺省理論(包括它的幾個重要變種)的擴張計算特征與算法和復雜性、容易計算的特殊缺省理論類和缺省邏輯的語義、回答集程序及其拓廣(嵌套查詢)的基本概念與重要性質,以及架起回答集程序與經典邏輯之間關繫橋梁的環公式和程序完備理論。本書基於缺省理論擴張的計算特征,統一處理和論證缺省邏輯與回答集程序的基本概念和主要結果,以便讀者能夠繫統和完整地閱讀。
本書可作為計算機科學和人工智能專業的研究生和教師及研究人員的參考書,亦可供相關專業的工作者參考閱讀。
本書可作為計算機科學和人工智能專業的研究生和教師及研究人員的參考書,亦可供相關專業的工作者參考閱讀。