非經(jīng)典邏輯及推理的種類和成果頗多, 限于篇幅，《對偶三角模-三角余模邏輯及推理》總結(jié)作者2005 年以來關(guān)于概率論、lawry 的適當(dāng)測度理論、劉寶碇的不確定理論、模糊集理論與數(shù)理邏輯理論的結(jié)合研究成果. 根據(jù)非經(jīng)典命題和謂詞的不確定性的各種特征，作者分別提出了相應(yīng)的邏輯和推理方法, 概括其本質(zhì)分別稱為隨機命題的概率邏輯、vague 命題的lawry 對偶三角模-三角余模邏輯，不確定命題和一階不確定謂詞的對偶下-上確界邏輯、模糊命題的三角模-蘊涵邏輯和三角模-蘊涵概率邏輯、隨機模糊命題的三角模-蘊涵概率邏輯和一階隨機模糊謂詞的三角模-蘊涵概率邏輯.
《對偶三角模-三角余模邏輯及推理》可作為非經(jīng)典邏輯、推理及應(yīng)用研究的學(xué)者的參考資料, 也可以作為數(shù)學(xué)、計算機、智能控制、不確定信息處理等相關(guān)專業(yè)的碩士研究生和博士研究生的教學(xué)參考書.
|
