計量邏輯學(Ⅰ)

在多值命題邏輯系統(tǒng)中提出了公式的真度概念.基于此,提出了公式間的相似度與偽度量,研究了所得的邏輯度量空間的基本性質,提出并研究了邏輯理論的發(fā)散度與相容度概念,給出了三種近似推理的模式,初步建立了計量邏輯學理論.

作 者： 王國俊 WANG Guo-jun   作者單位： 陜西師范大學數學研究所,西安,710062;西安交通大學基礎科學研究中心,西安,710049  刊 名： 工程數學學報  ISTIC PKU 英文刊名： CHINESE JOURNAL OF ENGINEERING MATHEMATICS  年，卷(期)： 2006 23(2)  分類號： O141.1  關鍵詞： 真度   相似度   偽度量   發(fā)散度   相容度   計量邏輯  

【計量邏輯學(Ⅰ)】相關文章：

計量科計量工作思路11-09

普通邏輯學電子教案04-26

阿拉伯邏輯學04-26

讓計量與環(huán)保同行04-25

計量實習報告05-31

對邏輯學地位和作用的再認識04-27

計量工作總結05-20

世界計量日口號01-31

計量工作個人總結01-19

計量工作總結12-10