排序方式: 共有174条查询结果,搜索用时 62 毫秒
81.
82.
在二值逻辑系统中基于真度理论讨论了三I推理机制的意义,求出了真度理论下的多重广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了多重广义MP问题的α-三I真度解。 相似文献
83.
利用势为3的非均匀概率空间的无穷乘积,在£ukasiewicz三值命题逻辑中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架。 相似文献
84.
利用赋值集的随机化方法,在三值乘积逻辑π3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπ3-相似度与伪距离的概念,并建立了Dπ3-逻辑度量空间,证明了此空间没有孤立点。 相似文献
85.
在逻辑系统MTL中,对全体逻辑公式集上建立的逻辑伪度量空间进行研究,讨论了孤立点的情形,指出积分真度不为零的公式一定不是对应空间中的孤立点,而对于积分真度为零的公式,则要分不同性质类型的系统讨论,得到的情形也完全不同。 相似文献
86.
将二值命题逻辑系统的真度概念引入到概率逻辑,定义了公式的期望,给出了反映公式之间内在联系的相关系数,研究了无限公式收敛时所遵循的规律及特点,引入了度量不确定性的特征值—熵。 相似文献
87.
针对Creator孱弱的建模和贴图能力所产生的模型拟真度不够的问题,以某型坦克作为建模对象,兼顾系统的实时性和拟真性,重点阐述了如何使用3dsMAX与Creator结合的方式制作复杂仿真模型;研究了模型数据库优化、外部引用和实例化等关键技术。利用VegaPrime(VP)自带的转换工具将FLT模型打包为vsb文件,最后使用VP和VC++开发平台,成功地实现了高拟真度坦克的视景仿真,画面帧数达到预期指标,提高了视景仿真节点的逼真性和沉浸感。对其他复杂武器建模应用于视景仿真提供了很多启示。 相似文献
88.
基于L*系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。 相似文献
89.
基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计量逻辑学中的相关理论推广到基于MTL代数语义的格值逻辑上,使得在格值逻辑上进行程度化推理成为可能. 相似文献
90.
在二值逻辑系统中基于真度理论讨论了三I推理机制的意义,求出了真度理论下的多重广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了多重广义MP问题的α-三I真度解。 相似文献