论文部分内容阅读
文中给出含多重原子公式交集的概率逻辑分解计算模型的可靠性证明。若概率逻辑公式集可被划分为含多重原子交集的子集，且交集的原子个数较少，则分解算法将明显地缩小概率逻辑自动推理线性规划模型的规模。
概率逻辑含多重原子交集分解模型的可靠性
【摘 要】
：
文中给出含多重原子公式交集的概率逻辑分解计算模型的可靠性证明。若概率逻辑公式集可被划分为含多重原子交集的子集，且交集的原子个数较少，则分解算法将明显地缩小概率逻辑自
【机 构】
：
空军指挥学院,国防科技大学计算机科学系
【出 处】
：
计算机研究与发展
【发表日期】
：
1998年8期
【基金项目】
：
国家自然科学基金,国家“863”高科技项目基金
其他文献
本文报道５４例法乐氏四联症患者施行根治术，手术死亡５例（９．３％）；低心排出量综合征（ＬＣＯＳ）１２例（２４．０％），其中６例并发肺水肿，均行气管切开；存活４９例，除２例出院时伴右心功不全外，余均恢复良好出院。作者就手术适应症、右
<正> 中国是发展中国家,党中央国务院十分重视农村地区经济的发展,为实现本世纪末经济和社会发展的奋斗目标,制定了2000年前基本实现行政村'村村通电话'的战略目标。
分组互动式教学模式同一体化教学、任务驱动、行为引导、项目教学法等先进的教学模式一样,打破了传统的教师垄断型教学法。分组互动式教学就是让教师不单纯地进行授课,学生不
铁是自然界中最常见的几种基本元素之一,也是人体必需的微量元素,因此对它的分析倍受重视.本文采用7-（1-苯偶氮）-8-羟基喹啉-5-磺酸钠（PAHQSS）作显色剂,在pH=4.4的KHC<sub>8</sub
高速网络的大带宽延迟乘积使其于传统反馈机制的ＡＢＲ难以对高可变ＶＢＲ快速响应，造成速率的不匹配。为了提高反馈控制方法的有效性，充分利用高优先级ＶＢＲ业务剩余的可用带宽，文中提出基于预测
文中从复杂对象逻辑语言，面向对象逻辑基础及面向对象数据库演量询语言等三个方面研究了一些典型的演绎面向对象数据库的成果，对它们进行了分析和比较，并就目前研究中一些重要的