排序方式: 共有15条查询结果,搜索用时 0 毫秒
1.
2.
作为推理的基础,时间的表示方法是一个基本的要素。文中为Allen的区间代数理论中区间的关系表达提出了向量表示法,称之为关系向量。其后,给出了定义在关系向量上的几种运算,并将其运用于时态推理中。这种方法把原先的矩阵表示法降为向量表示,从而较好地减少了时态推理计算量,并易于计算机实现。 相似文献
3.
离散数学是计算机科学与技术等专业的重要的专业基础课,它对培养学生的抽象思维能力及逻辑推理的严谨性起着很重要的作用,在教学过程中,让传统的讲授式与启发式相结合,用举反例的方法来提高学生的探索创新能力,促进学生数学素质的全面发展。 相似文献
4.
5.
耗散结构理论与改革开放 总被引:2,自引:0,他引:2
于枫 《贵州师范大学学报(社会科学版)》1994,(3)
耗散结构理论是比利时布鲁塞尔学派领导人普利高津(俄籍比利时人,1977年诺贝尔化学奖获得者)根据非平衡热力学和非平衡统计物理学的发展而提出来的一种科学假说,是蓬勃发展起来的系统论中的一种学科.该理论提出后,在科学实验中不断地丰富发展和完善,在对化学、生物等现象的研究中取得一定成功,对社会科学的研究也有一定的参考价值.耗散结构理论为我们加深对改革、开放政策的认识从一个新的角度提供了科学的依据。耗散结构理论指出:“在远离平衡态的情况下,一个开放系统通过与外界交换物质、耗散能量,当外界作用达一定阈值时,旧… 相似文献
6.
介绍了Allen的区间代数及其扩展——INDU网络,将Heisenberg不确定性原理应用于INDU网络,并将INDU的25种基本关系中两区间有端点相等或区间段相等的15种关系删除.因为在现实世界中这15种关系是不可能出现的,于是就产生了有10种基本关系的FINDU网络.然后,定义了1种类布尔运算,并依此给出了FINDU网络的矩阵表示.FINDU网络在军事多自主体系统中可以得到很好的应用. 相似文献
7.
针对传统的一致性推理模型多测重于单纯的定量、定性时态推理,难以适用于协同救援方案求取问题,基于Allen区间代数理论,添加逻辑约束,提出了一种协同救授一致性推理模型,该模型型同时包含救援行为时态约束和逻辑约束两类信息。基于该模型的等价类子网化简设计协同方案求解算法,并以海上协同教授一致性方案推理为例演示建模与求解过程。结果表明,该模型符合协同一致性方案求解对时态、逻辑两方面推理的需求,可应用于协同救援规划验证。 相似文献
8.
9.
区间代数是一种用来进行定性时态推理的工具,它在人工智能中有着广泛的用途。现实世界中有许多定性的时态信息,也有许多定量的时态信息,将定性的时态信息和定量的时态信息在一起进行混合推理是有意义的,它更加贴近于现实,简化了问题的一致性场景的表示,提高了时态计算的效率。 相似文献
10.
将区间代数及区间矩阵中有端点相等的基本关系去掉,只保留现实世界中真正可能发生的那些基本关系,这样表达能力丝毫没有减弱,但是问题的复杂性却大大降低了。区间代数从13个基本关系降为6个基本关系,在进行时态关系的传播运算时,将查表运算从13×13降到6×6,将5×5的矩阵运算降成了3×3的矩阵运算,大大提高了运算效率。 相似文献