非單調邏緝

《非單調邏緝》是依託汕頭大學，由林作銓擔任項目負責人的面上項目。

基本介紹

• 中文名：非單調邏緝
• 項目類別：面上項目
• 項目負責人：林作銓
• 依託單位：汕頭大學
• 批准號：69375011
• 申請代碼：F0607
• 負責人職稱：副教授
• 研究期限：1994-01-01 至 1996-12-31
• 支持經費：4（萬元）

項目摘要

本項目研究人工智慧中的的非單調邏輯，解決了各種現有的主要非單調邏輯一些存在的技術難題，給出了一種解決非單調邏輯悖論問題的辦法，比較研究了各種非單調邏輯之間的相互關係，建立了一類主要非單調邏輯的統一基礎，提出了幾種新的非單調邏輯，包括新模態的非單調邏輯和三值非單調邏輯，並提出了一類新非經典邏輯的非單調超協調邏輯，作為比非單調邏輯在更一般意義形式化常識推理的邏輯基礎，從而擴展了非單調邏輯的能力，提出了包括非單調邏輯的各種表系統，從而給出了一種非單調邏輯的實驗途徑，並套用來解決人工智慧中實際問題。本成果經專家鑑定認為國際先水平和國內領先地位，本項研究共在國內刊物上發表學術論文35篇。