真度逻辑

首先把１０种程度逻辑运算归约为３种数值运算，从而引入了真度逻辑的概念，然后讨论了真度逻辑与传统二值逻辑及模糊逻辑的关系。     

逼真度最高 《钓鱼发烧友》

正手机上曾经出过多款模拟钓鱼游戏,然而没有一款能做到像《钓鱼发烧友》这样逼真的效果。所谓逼真并不单单指画面效果,在鱼上钩时候,玩家跟他们搏斗过程的逼真模拟才是这款游戏诱人所在。上手迅速进入游戏,一位性感火辣的美女便会作为你的向导指引你完成所有熟悉游戏的任务,在这些任务中,玩家可以学会游戏的最基本操作。按下卷线轮的START键     

系统L在非均匀概率空间下命题的真度理论

将经典二值命题逻辑L中公式的真度概念推广到势为2的非均匀概率空间上;当p∈(0,1)时,证明了全体公式的真度值之集在[0,1]中没有孤立点;利用真度定义公式间的p-相似度和伪距离,进而定义了p-逻辑度量空间,证明了该空间没有孤立点,并在此空间中提出了三种不同类型的近似推理模式。     

逻辑系统Gn中理论的真度概念及其应用

首次在命题逻辑系统中引入理论的真度概念,使得真度的概念由公式的真度推广为公式集的真度,从而简化了发散度的概念;在逻辑系统G_n中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。     

计算机防真技术应用于飞行模拟器的特点和发展趋势

分析了飞行模拟器的概念,提出了计算机防真技术在应用于飞行模拟器中体现出的技术特点,并根据这些特点引出计算机防真技术在飞行模拟器大规模运用及发展趋势.     

n值逻辑系统中的随机化研究

利用赋值集的随机化方法,在n值逻辑系统Rn提出了公式的DRn-真度的概念。给出了两公式间的DRn-相似度与伪距离的概念,建立了DRn-逻辑度量空间。     

Π系统中公式的真值函数及真度分布

以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况。     

G(o)del中单个或两个原子生成公式的真度分布

以Godel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题.得到任一由单个或两个原子生成的公式的真度必为0,1/6,2-6,1/2,4/6,5/6,1之一.进而按照真度将由单原子或两个廉子生成的公式集进行了细致的分类.     

逻辑系统Gdel,Luk,L*中命题真度值的分布

分别研究了Gdel,Luk,L*逻辑系统中公式的真度的分布情况,得到了公式的真度集均为[0,1]∩Q的重要结论。     

(L)ukasiewicz三值逻辑系统中的随机化研究

利用赋值集的随机化方法,在三值逻辑L3,中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式问的DL3一相似度与伪距离的概念,并建立了DL3,一逻辑度量空间,证明了此空间没有孤立点.