论文部分内容阅读
由于针对时间的表示和推理是Ａｌ中的重要因素，因而提出了进态框架的表示方法，利用约束时间传播和对框架的更新以及变异，可以分别以时刻链和修正算法对框架进行推理。
时态框架的推理策略
【摘 要】
：
由于针对时间的表示和推理是Ａｌ中的重要因素，因而提出了进态框架的表示方法，利用约束时间传播和对框架的更新以及变异，可以分别以时刻链和修正算法对框架进行推理。
【机 构】
：
西南师范大学计算机科学系
【出 处】
：
西南师范大学学报(自然科学版)
【发表日期】
：
1998年6期
其他文献
模锻压机主工作缸柱塞和活动横梁的连接方式的合理选择是压机设计中的重要环节。基于MSC.MARC仿真平台,对单球铰和双球铰两种不同的连接方式分别建立六面体模型,根据实际工况
随着社会经济的发展和人们生活水平的提高,护理模式已发生转变,优质护理服务对护士素质的要求越来越高。但现实中护患关系不容乐观,护患纠纷时有发生,这不仅使病人及其家属感
会计电算化是审计变革的催化剂,它将大大加快利用现代信息技术,按照审计环境要求进行审计变革的进程。会计电算化的普及对传统的会计理论和实务都提出了新的问题和要求,必然
目的:建立HBV相关性肝细胞癌(HCC)及肝硬化(LC)患者外周血单个核细胞(PBMC)的双向凝胶电泳图谱,并识别鉴定其差异表达的蛋白质.方法:利用固相pH梯度双向凝胶电泳分离HBV相关
针对高精度永磁直线同步电机存在参数变化、负载扰动、摩擦力和端部效应等不确定性而引起推力波动的问题,提出了一种将扰动观测器(DOB)和推力观测器(TFOB)相结合的推力控制方
通过对自由粒子系统和一维无限深势阱中粒子系统各种性质的比较，论证计算一维无限深势阱内粒子的动量分布的两种方法中，泡利方法是正确的，郎道方法是不对的，用改进后的朗有得出泡
为保证整个课堂高效有序的进行,在英语学习中,初中课堂在整个教学中采用的方式多种多样,其中,情景教学法是其中较为重要的教学方式,对于学生的积极性以及学生的语言交际的能