本文關(guān)鍵詞：柔性邏輯零級運算模型的健全性

  更多相關(guān)文章： 健全邏輯系統(tǒng) 泛與運算模型 泛或運算模型 排中律

【摘要】：當廣義相關(guān)系數(shù)在0～0.5時,證明了基于零級運算模型的邏輯系統(tǒng)PC(T)是健全邏輯系統(tǒng);當廣義相關(guān)系數(shù)在0.5～0.75時,構(gòu)建了基于零級運算模型的健全邏輯系統(tǒng)PC(T);當廣義相關(guān)系數(shù)在0.75～1時,進一步證明了基于泛邏輯零級運算模型的邏輯系統(tǒng)PC(T),當命題P等于0和1時是一個健全邏輯系統(tǒng);當命題P不等于0和1時,構(gòu)建了基于泛邏輯零級運算模型的健全邏輯系統(tǒng)PC(T).
【作者單位】： 北京郵電大學計算機學院;中國計量學院數(shù)學系;
【關(guān)鍵詞】： 健全邏輯系統(tǒng) 泛與運算模型 泛或運算模型 排中律
【基金】：北京市高等學校人才強教計劃資助項目(PHR201008428)
【分類號】：O141.1
【正文快照】： 當前影響人工智能深入發(fā)展的理論難題是機器學習、專家經(jīng)驗知識和常識推理,它們都存在不確定性和演化,需要能包容各種不確定性和演化的柔性邏輯學作為理論基礎(chǔ).何華燦教授為了探索邏輯的一般規(guī)律,提出了泛邏輯學理論[1].2008年,何華燦教授從實際信息傳輸和使用角度出發(fā),為了

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前2條

1 羅敏霞;何華燦;;泛邏輯的零級泛運算模型的代數(shù)性質(zhì)[J];模糊系統(tǒng)與數(shù)學;2005年04期

2 羅敏霞;;零級泛與運算模型的單調(diào)性[J];模糊系統(tǒng)與數(shù)學;2008年05期

，

本文編號：521128