收藏本站
《软件学报》 1998年01期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

使用选择函数的亚蕴涵询问求值

姜云飞  智桂兰  
【摘要】:本文提出了使用选择函数的亚蕴涵询问求值方法以及依据此方法建立的询问求值算法IVAL.这种方法比Bossu和Siegal的算法VAL简便,效率高.IVAL和VAL同时在SUN-4上用C-Prolog语言实现.本文给出了IVAL的理论依据,并把两种算法的执行效果作了比较
【作者单位】吉林大学计算机科学系
【基金】:国家自然科学基金,国家教委博士点基金
【分类号】:TP31,

免费申请
【相似文献】
中国期刊全文数据库 前10条
1 杨景惠;简谈高级程序语言中字符串选取函数的应用[J];中州煤炭;1988年03期
2 茹志富;;Auto Lisp程序设计语言及其应用讲座(五)[J];微型机与应用;1990年11期
3 马杰;微机PCB系统-SCAD Board算法布局[J];计算机工程;1991年03期
4 陈国先,李加纳;应用AHP建立作物育种选择函数[J];系统工程理论与实践;1991年01期
5 梁世彬;;换热器优化设计的图解法[J];大连大学学报;1993年01期
6 祝捷;余英林;;参数变化对Fuzzy ART神经网络特性的影响[J];华南理工大学学报(自然科学版);1993年04期
7 罗晓,王红卫,李敉安;基于感知器的和型Fuzzy合理选择研究[J];华中理工大学学报;1994年S1期
8 朱汝强;也谈《利用不可逆函数产生密码》[J];电脑;1994年04期
9 李继康;给Turbo C++增加几条字符串处理函数[J];电脑编程技巧与维护;1997年02期
10 姜云飞,智桂兰;使用选择函数的亚蕴涵询问求值[J];软件学报;1998年01期
中国重要会议论文全文数据库 前10条
1 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年
2 陈小平;郑诚;刘贵全;;意图形式化研究的若干问题[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
3 刘迈;;窗口菜单技术在GMDSS训练模拟器中的应用[A];中国航海学会通信导航学术年会(1992)论文集[C];1992年
4 卢方勇;齐欢;曹杰;;永久船闸运行闸室编排调度计算机应用与研究[A];2000中国控制与决策学术年会论文集[C];2000年
5 李欣海;;影响朱鹮的巢址选择的关键因子[A];野生动物生态与管理学术讨论会论文摘要集[C];2001年
6 刘晓华;王秀红;冯恩民;;基于模糊系统的非线性连续系统自适应调节器[A];第二十届中国控制会议论文集(下)[C];2001年
7 周文坤;刘家诚;;群体决策中非二元性选择问题的最小决定集[A];2003年中国管理科学学术会议论文集[C];2003年
8 周北海;毛翊;;一个关于常识推理的基础逻辑[A];2003年逻辑研究专辑[C];2003年
9 邹德莉;郝应光;;基于非精确状态信息的QoS组播路由算法[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
10 杨善林;罗贺;胡小建;;基于Q学习的自主Agent模型[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
中国重要报纸全文数据库 前6条
1 人民银行济南分行清算中心(250001) 张立锋 李宝成;DES算法的实现[N];计算机世界;2001年
2 浙江 宋文奇;献给数学老师的节日礼包[N];电脑报;2002年
3 伍裕标;您的数学伴侣[N];中国电脑教育报;2003年
4 山东省滨州市第一中学 张士昆;用Excel制作关联课程表[N];中国电脑教育报;2005年
5 林清林;破解李玮峰转会费之谜[N];财会信报;2006年
6 ;公式函数的应用[N];财会信报;2007年
中国硕士学位论文全文数据库 前7条
1 黄勇;计算机通信网组播路由算法的研究[D];中国人民解放军国防科学技术大学;2002年
2 武增海;企业家市场化测试与培育问题研究[D];西安理工大学;2004年
3 杨吉会;可能性集值映射及其应用[D];辽宁师范大学;2004年
4 田捷;组播路由算法研究[D];武汉理工大学;2005年
5 崔彩霞;基于支持向量机的文本分类方法研究[D];山西大学;2005年
6 楚瑞;基于蚁群算法的无人机航路规划[D];西北工业大学;2006年
7 孙春明;高性能特征选择及文本分类算法研究[D];华北电力大学(北京);2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026