论文部分内容阅读
本文提出了使用选择函数的亚蕴涵询问求值方法以及依据此方法建立的询问求值算法ＩＶＡＬ。这种方法比Ｂｏｓｓｕ和Ｓｉｅｇａｌ的算法ＶＡＬ简便，效率高。ＩＶＡＬ和ＶＡＬ同时在ＳＵＮ－４上用Ｃ－Ｐｒｏｌｏｇ语言实现。本文给邮了ＩＶＡＬ的理论依据，并把两种算法的执行效果作了比较。
使用选择函数的亚蕴涵询问求值
【摘 要】
：
本文提出了使用选择函数的亚蕴涵询问求值方法以及依据此方法建立的询问求值算法ＩＶＡＬ。这种方法比Ｂｏｓｓｕ和Ｓｉｅｇａｌ的算法ＶＡＬ简便，效率高。ＩＶＡＬ和ＶＡＬ同时在ＳＵＮ－４上用Ｃ－Ｐｒｏｌｏｇ语言实现。本文给邮了ＩＶＡＬ的理论依据，并把两种算法
【机 构】
：
吉林大学计算机科学系
【出 处】
：
软件学报
【发表日期】
：
1998年1期
【基金项目】
：
国家自然科学基金,国家教委博士点基金
其他文献
对改进计算机基础课教学质量作了有益的探讨。提出了计算机基础课教学中存在的问题，从学生入学时的计算机水平，教材内容顺序的安排，课时安排和教学方法方面进行论述，并依次给出了
目的探讨放射性肺损伤初期Ⅲ、Ⅳ型胶原的变化及氨溴索对放射性肺损伤的治疗作用。方法雌性SD大鼠46只随机分为正常对照组C,照射组R和治疗组M。照射组和治疗组给予直线加速器
ＰＤＡＷ是一个专用于ＰＤＡ的窗口系统。其最大的特点是可支持开发具有适应性人机界面的应用程序。适应性人机界面有多种不同的类型，由于ＰＤＡＷ系统只提供支持适应活动的机制，不提供决定适应策略的
目前有两种常用的Ｂｅｚｉｅｒ曲面片，分别称为三角和四边Ｂｅｚｉｅｒ曲面片，它们分别用不同的基函数表示，本文通过移位算子和函数复合的方法，得到了两个关于这两种Ｂｅｚｉｅｒ曲面片的结果，一个是四边Ｂｅｚｉｅｒ曲面片与一次三
ＢＤＩ逻辑是当前ａｇｅｎｔ理论研究的热点课题之一，相关研究工作较少涉及对ａｇｅｎｔ间通信的描述，文章旨在提出一个能表示和推理多ａｇｅｎｔ间基于言语行为理论的通信行为的扩展ＢＤＩ逻辑。该逻辑是一个多类，带量词并
目的观察甲基强的松龙治疗慢性阻塞性肺疾病急性加重期（AECOPD）的意义。方法选取2008年1月-2008年12月78例AECOPD住院患者,随机分成治疗组40例,对照组38例,所选病例全部符合AEC
结核性毁损肺患者病程长,肺功能严重受损,加之胸膜粘连,病变广泛,手术难度大,出血多,风险高,术后护理不当易出现并发症而危及患者生命。我院自2004年7月-2009年7月施行结核性
高职旅游管理专业是实践性很强的专业,学生在学习旅游管理专业知识的过程中,通过情境教学,可以把旅游管理专业的理论知识融合到实践活动中,从而培养和提高学生运用旅游管理专
在有色调明暗变化的灰度图上叠线加框图的显示，有利于人们进行更好的观察，但已有的各种叠加方法均是依赖深度值比较进行操作的，它们不仅没有完全解决线框图显示时的继续现象，而且
ｃａｃｈｅ的使用缓解了ＣＰＵ和主存储器之间速度差距太大的矛盾，同时，也使ｃａｃｈｅ的命中率成为影响多处理机系统性能发挥的重要因素，人们对如何加强数据的局部性，提高ｃａｃｈｅ命中率，使多处理机系统的性能得到更