內容簡介 認知邏輯是將現代邏輯應用於人的認知 活動而形成的一個專門邏輯領域,它涉及現 代邏輯應用於人工智慧研究的許多重要而核 心的內容。 本書是國家社科基金專案”現代邏輯在 人工智慧中的應用研究”的研究成果.主要 討論傳統的單主體認知邏輯、時態邏輯、群 體知識和多主體認知邏輯、公開宣告邏輯、 博弈邏輯、信念修正的動態邏輯、非邏輯全 知主體的邏輯、非單調邏輯和缺省邏輯等。 為方便讀者理解,本書還在附錄中介紹了理 解認知邏輯所必需的一階邏輯理論。 本書可作為邏輯學和人工智慧工作者理 論學習及科學研究的參考書。