《一階環和環公式在非經典邏輯計算中的理論與套用》是依託華南師範大學，由陳寅擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：一階環和環公式在非經典邏輯計算中的理論與套用
- 項目類別：青年科學基金項目
- 項目負責人：陳寅
- 依託單位：華南師範大學
- 批准號：60703095
- 研究期限：2008-01-01 至 2010-12-31
- 申請代碼：F06
- 支持經費：19（萬元）
- 負責人職稱：副教授
項目摘要
知識的表示和推理是人工智慧研究的核心內容之一，非單調邏輯是描述人類表示現實世界知識和推理的重要工具。非單調邏輯研究的一個共同的問題是實現和計算比較困難，這極大的限制了它的套用。另一方面，經典的一階謂詞邏輯是人們研究的最為徹底的邏輯系統，同時經典邏輯的證明系統和模型求解系統的理論研究和系統實現非常成熟。.在[LZ2004]中定義的環和環公式為基於答集的邏輯程式和經典邏輯的轉化提供了一個有力的工具，[CLWZ2006]將這一結果推廣到了一階的情況，並且表明它可以適用於更廣泛的非單調邏輯的領域。我們希望以此為基礎在一階環和環公式理論的指導下，實現一個一階的回答集求解器，並且進一步研究非單調邏輯和經典邏輯的關係，將其中一些結果推廣到其它非單調邏輯，以實現利用現有經典邏輯求解器的非單調邏輯計算。
