信息處理領(lǐng)域中否定信息的邏輯基礎(chǔ)及數(shù)學(xué)研究.pdf

1、本文第一章提出信息中的否定關(guān)系應(yīng)當(dāng)區(qū)分為矛盾否定關(guān)系和對立否定關(guān)系，發(fā)現(xiàn)了一類對立概念的特征：對立概念之間存在中介概念的充分必要條件是對立概念為模糊概念，從概念層面上確立了清晰信息和模糊信息中存在的五種矛盾否定關(guān)系與對立否關(guān)系(CDC，CFC，ODC，OFC和ROM)，討論了這些關(guān)系的形式定義，并且運(yùn)用中介謂詞邏輯MF與其無窮值語義模型Ф研究這些不同的否定關(guān)系，得到了處理不相容知識中的五種矛盾關(guān)系與對立關(guān)系的具體條件，同時討論了現(xiàn)有的數(shù)

2、學(xué)與邏輯理論刻畫和處理這些關(guān)系的不足及原因。第二章以中介數(shù)學(xué)系統(tǒng)為背景，為處理現(xiàn)實(shí)生活中普遍存在的模糊現(xiàn)象提供一種度量邏輯真值程度的新方法，在建立了謂詞的標(biāo)準(zhǔn)度概念后，描述了謂詞的真值與對應(yīng)的數(shù)值區(qū)域之間的關(guān)系，給出了一維情形下的個體真值程度函數(shù)以及基于真值程度函數(shù)的一元謂詞的表示法，又在提出了λ-真值程度截集、數(shù)與謂詞的乘積概念后，給出了關(guān)于一元模糊謂詞的中介分解定理，從而建立了一元模糊謂詞與清晰謂詞間的量化關(guān)系。第三章將分解定理推廣