信息處理領域中否定信息的邏輯基礎及數(shù)學研究.pdf

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

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