發(fā)布時(shí)間：2017-07-05 08:10

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

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

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

【相似文獻(xiàn)】

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

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

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

，

本文編號(hào)：521128