论文部分内容阅读
文章讨论了概率性逻辑异的构分解模式的相容性问题，对于不同结构的分２解模式，只要两两之间满足单边缘一致性，则可互相结合，构成异构的分解模式，并且由此设计的分解算法所形成的推理系统保持相对于原Ｎｉｌｓｓｏｎ推理系统的可靠性与完备性。
概率性逻辑异构分解模式的相容性
【摘 要】
：
文章讨论了概率性逻辑异的构分解模式的相容性问题，对于不同结构的分２解模式，只要两两之间满足单边缘一致性，则可互相结合，构成异构的分解模式，并且由此设计的分解算法所形成的推理
【机 构】
：
北京空军指挥学院,长沙工学院计算机科学系
【出 处】
：
软件学报
【发表日期】
：
1999年7期
【基金项目】
：
国家自然科学基金,,国家863高科技项目基金
其他文献
自动并行编译为并行化现有的串行程序及编写新的并行程序提供了重要的支持，因此２０多年来一直受到重视。近几年来，自动并行编译技术的研究进展，包括在依赖关系分析、程序变换、数据
文章提出了基于超平面的块数组分布策略，这是一种单向的数组分布方法，它以简单的方式有效解决了不一致计算环境和不规则数组扫描情况下的数组分布问题，它可以作为对传统方法的一
时体范畴在现代语言学研究中占有重要地位。由于汉语属于孤立性语言,缺乏词形的曲折变化,因此汉语中的时体研究备受语言学家的关注。本文在乔姆斯基（1995）的最简方案理论指导下
文章分析了工程设计中的约束问题的特点和规律，阐明了工程约束与几何约束在工程ＣＡＤ领域中的表现形式，提出了符合工程特点的“多元约束图”的约束表示模型和约束传播层的设计思想．为
一些中小学教师成名后,通过各种途径成为副校长。这种名师带着专业身份追求教育行政管理职务的现象在中小学校较为普遍。文章分析了＂名师型副校长＂的身份选择原因,并认为＂名师型
从现代交通管理中以太网应用的技术角度出发,介绍了一种新的基于独立以太网控制器ENC28J60的TCP/IP实现方案,及系统通信接口电路原理,TCP/IP协议的选择及参数设置,TCP/IP通信
一、引言＂教学有法,却无定法＂,只要能达到理想的教学效果,不同的教学方式都能殊途同归,任何一种教学方法的总结,目的只有一个,讨论、参考、借鉴。＂听、说、读、写、译＂五项技能的
多媒体教学作为先进的教学手段,成为学校课堂上信息呈现的重要手段。本文针对普通化学多媒体教学的优越性及存在的问题,提出提高多媒体教学效果的几点建议。
约集论用于处理模糊性与不确定性。在某些方面，它同Ｄｅｍｐｓｔｅｒ－Ｓｈａｆｅｒ的证据论相重迭，但约集集使用分划来描述约集，下界近似及上界近似，从而获得知识表示中的不确定性，而证据论使用函数来实现同一目