《基於非標準Kripke語義的意圖邏輯的研究》是依託中國科學技術大學，由陳小平擔任項目負責人的面上項目。
基本介紹
- 中文名：基於非標準Kripke語義的意圖邏輯的研究
- 項目類別：面上項目
- 項目負責人：陳小平
- 依託單位：中國科學技術大學
- 批准號：69875017
- 申請代碼：F0601
- 負責人職稱：教授
- 研究期限：1999-01-01 至 2001-12-31
- 支持經費：12（萬元）
中文摘要
意圖邏輯是近年人工智慧、計算語言學和邏輯學交叉研究提出的一個新課題，在實用推理、人機通訊、機器人和大型智慧型系統設計等領域有重要套用。現有工作受阻於傳統形式化方法的局限及在“副作用”認識上的混亂。本項目擬從構造適當的非標準Kripke語義入手，克服上述困難，建立更恰當、更接近實用需要的意圖邏輯理論。
