智能系统学报
智能繫統學報
지능계통학보
CAAI TRANSACTIONS ON INTELLIGENT SYSTEMS
2011年
2期
107-113
,共7页
概率逻辑%集合代数%布尔代数%同态%真值函数
概率邏輯%集閤代數%佈爾代數%同態%真值函數
개솔라집%집합대수%포이대수%동태%진치함수
联结词的本质是命题的运算,只有对所有命题都适用的真值函数才能用于定义联结词.概率逻辑中由于命题的内涵相关性,任何[0,1]上的函数都不能完全适用于任意命题的运算,概率逻辑的联结词不能定义成真值函数.各种算子可以作为一种计算方法使用和研究,但不能代表一个逻辑系统研究系统的性质.概率逻辑系统是概率空间的逻辑表示,是与概率空间中的事件域(集合代数)同态的布尔代数.用事件域上的集合函数精确定义各种联结词,与经典二值逻辑相容,与事实相符,能够在经典逻辑框架内实现概率命题演算.
聯結詞的本質是命題的運算,隻有對所有命題都適用的真值函數纔能用于定義聯結詞.概率邏輯中由于命題的內涵相關性,任何[0,1]上的函數都不能完全適用于任意命題的運算,概率邏輯的聯結詞不能定義成真值函數.各種算子可以作為一種計算方法使用和研究,但不能代錶一箇邏輯繫統研究繫統的性質.概率邏輯繫統是概率空間的邏輯錶示,是與概率空間中的事件域(集閤代數)同態的佈爾代數.用事件域上的集閤函數精確定義各種聯結詞,與經典二值邏輯相容,與事實相符,能夠在經典邏輯框架內實現概率命題縯算.
련결사적본질시명제적운산,지유대소유명제도괄용적진치함수재능용우정의련결사.개솔라집중유우명제적내함상관성,임하[0,1]상적함수도불능완전괄용우임의명제적운산,개솔라집적련결사불능정의성진치함수.각충산자가이작위일충계산방법사용화연구,단불능대표일개라집계통연구계통적성질.개솔라집계통시개솔공간적라집표시,시여개솔공간중적사건역(집합대수)동태적포이대수.용사건역상적집합함수정학정의각충련결사,여경전이치라집상용,여사실상부,능구재경전라집광가내실현개솔명제연산.
