科创中国
问题分诊室
具身智能与智慧医疗融合创新产业
高性能装备制造产业
智能机器人全产业链产业
中医药产业
人工智能产业
新一代信息技术产业
作物产业
量子科技与先进制造产业
海洋装备产业
煤炭开采及煤化工产业
特殊钢产业
节能环保产业
低碳零碳发动机
低空经济产业
光电产业
汽车产业
新能源产业
高端装备制造
新材料产业
“以竹代塑”
中医药问题分诊室
成果发布厅
新型电力系统
化学领域
现代纺织
低空经济
信息通信
智慧公路
煤炭开采及煤化工
中医药
智能机器人全产业链
海洋装备
新一代信息技术
量子科技与先进制造
人工智能
高性能装备制造
具身智能与智慧医疗融合创新
作物
海洋装备
新一代信息技术产业
量子科技与先进制造产业
花生产业
科创地方
科创北京
科创天津
科创内蒙古
科创辽宁
科创江苏
科创广西
科创广东
科创重庆
科创资讯
科创头条
科协活动
通知公告
科技政策
技术经理人
科技服务团
资源中心
项目库
问题库
案例库
开源库
学术资源
会议展览
品牌栏目
院士开讲
解码新质生产力
金融服务云课堂
企创云课堂
有问题想咨询
有成果想转化
我的交易
我的会议
我报名的路演会议
我的资讯
我的消息
我的动态
我的需求
我的成果
我的
个人资料编辑
退出登录
登录/注册
排序:
按相关性
按时间降序
共找到
1
条结果
基于ALCO~@的ABox知识更新的研究
以描述逻辑ALCO@为基础研究知识更新.首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算法给出从原知识库得到确定集和冲突集的推演算法.在更新算法执行过程中,首先在原知识库中删除冲突集中的断言,然后把需要添加的断言加入到知识库中,最后修改受更新操作影响的其它断言的约束条件,以使知识库满足开世界假设.
刘一松,王昌海,赵吉庆 - 计算机科学
文章来源:
万方数据
首页
1
尾页
共1页 转到
页