本文關(guān)鍵詞：基于泛邏輯學(xué)的邏輯關(guān)系柔性化研究，由筆耕文化傳播整理發(fā)布。

1000-9825/2005/16(05)0754 ©2005 Journal of Software 軟 件 學(xué) 報 Vol.16, No.5 基于泛邏輯學(xué)的邏輯關(guān)系柔性化研究

王萬森1,2+, 何華燦1

1

2 (西北工業(yè)大學(xué) 計算機(jī)學(xué)院,陜西 西安 710072) (首都師范大學(xué) 信息工程學(xué)院,北京 100037)

Research on Flexibility of Logic Relation Based on Universal Logics

WANG Wan-Sen1,2+, HE Hua-Can1

1

2(College of Computer Science and Engineering, Northwestern Polytechnical University, Xi’an 710072, China) (College of Information Engineering, Capital Normal University, Beijing 100037, China)

+ Corresponding author: Phn: +86-10-68903443, E-mail: wangws@,

Received 2004-07-20; Accepted 2004-12-03

Wang WS, He HC. Research on flexibility of logic relation based on universal logics. Journal of Software, 2005,16(5):754 760. DOI: 10.1360/jos160754

Abstract: The need to solve complicated problems in the real world is the direct driving force for the quest of flexible logic system, which is the future of current development of logics. The theory of universal logic is a new flexible logic system, developed by He Hua-Can during his exploration of the flexibility of logic. This paper discusses the flexibility of probability logic based on the ideas and methods in the implementation of flexible logic. Theoretically, probability logic is a special example of the universal logics. So it is possible to build flexible probability logic in the framework of universal logics.

Key words: universal logics; probability logic; flexibility

摘 要: 建立柔性邏輯體系,既是現(xiàn)實世界復(fù)雜問題求解的需要,也是邏輯學(xué)發(fā)展的一種必然趨勢.泛邏輯學(xué)是何華燦在探索復(fù)雜世界邏輯規(guī)律中建立起來的一個柔性邏輯體系.在分析其實現(xiàn)邏輯關(guān)系柔性化的思想和方法的基礎(chǔ)上,探討了概率邏輯關(guān)系柔性化的問題.理論上,概率邏輯是泛邏輯學(xué)的一個特例,因此應(yīng)該能夠在泛邏輯學(xué)框架內(nèi)建立起柔性的概率邏輯體系.

關(guān)鍵詞: 泛邏輯學(xué);概率邏輯;柔性化

中圖法分類號: TP18 文獻(xiàn)標(biāo)識碼: A

目前,邏輯學(xué)正在孕育著第二次大的革命,其總綱領(lǐng)就是要適應(yīng)現(xiàn)實世界不確定問題求解的需求,打破標(biāo)準(zhǔn)邏輯的“三律一性”,使數(shù)理邏輯由“排斥一切不確定性”的剛性邏輯學(xué)向“包容各種不確定性”的柔性邏輯學(xué)過渡,建立起一種新的柔性邏輯體系,最終實現(xiàn)論域(真值)、聯(lián)結(jié)詞(關(guān)系)、量詞(程度)、推理模式和維數(shù)的柔 Supported by the National Natural Science Foundation of China under Grant No.60273087 (國家自然科學(xué)基金); the Natural Science Foundation of Beijing of China under Grant No.4032009 (北京市自然科學(xué)基金)

作者簡介: 王萬森(1953－),男,河南沁陽人,在讀博士生,教授,主要研究領(lǐng)域為人工智能,不確定推理,泛邏輯學(xué),概率邏輯,數(shù)據(jù)挖掘;何華燦(1938－),男,教授,博士生導(dǎo)師,主要研究領(lǐng)域為人工智能,泛邏輯學(xué),概率邏輯,不確定推理.

  本文關(guān)鍵詞：基于泛邏輯學(xué)的邏輯關(guān)系柔性化研究，，由筆耕文化傳播整理發(fā)布。