切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种形式化知识库更新方法-修正程序
一种形式化知识库更新方法-修正程序
来源 :武汉科技学院学报 | 被引量 : 0次 | 上传用户:xuyanfang1968
【摘 要】
:
本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法-修正程序,它允许使用逻辑程序的说明性语义和强制性语义来解释修正规则,但用来解释修正程序将会变得非常困难,
【作 者】
:
李新战
王晓刚
曾奕
【机 构】
:
武汉科技学院,武汉大学
【出 处】
:
武汉科技学院学报
【发表日期】
:
2006年4期
【关键词】
:
逻辑程序
修正程序
知识库更新
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法-修正程序,它允许使用逻辑程序的说明性语义和强制性语义来解释修正规则,但用来解释修正程序将会变得非常困难,本文将引入修正程序的语义模型-P-合理修正,并讨论了修正程序同逻辑程序的关系及修正程序的现实意义。
其他文献
驾驭三套马车远离七类高血压
去年6月公布的《中国高血压患者自我管理标准手册》是我国第一部由医学专业机构制订的,为我国高血压患者量身定做的高血压系统管理方案。《手册》问世以来,受到了广大基层医生
期刊
高血压患者
自我管理
专业机构
基层医生
手册
外交部发言人1993年2月3日答记者问
问:柬埔寨金边部队向红色高棉发动进攻。你对此有何评论?答:我们对事态的发展深为关注,我们不赞成任何违背巴黎协定的行动,希望联柬机构采取切实措施制止事态扩大。
期刊
外交部发言人
巴黎协定
核素心肌灌注显像 冠心病诊断的首选
随着人们生活水平提高,工作压力加大,冠心病的患病率逐年上升,并呈年轻化趋势。冠心病已成为危害人们健康,增加家庭及社会经济负担的常见疾病。
期刊
核素心肌灌注显像
冠心病
诊断
社会经济负担
年轻化趋势
工作压力
常见疾病
生活水
全国人民代表大会关于澳门特别行政区第一届政府、立法会和司法机关产生办法的决定
一、澳门特别行政区第一届政府、立法会和司法机关根据体现国家主权、平稳过渡的原则产生。二、全国人民代表大会设立澳门特别行政区筹备委员会,负责筹备成立澳门特别行政区
期刊
司法机关
国家主权
筹备委员会
政协委员
界别
政界人士
社会服务
咨询机构
降低餐后高血糖有讲究
70岁的徐大伯有糖尿病史13年,目前使用胰岛素治疗和饮食控制,并坚持每天散步半小时。最近,他在家中用血糖仪自行检测血糖后发现,空腹血糖7.1毫摩尔/升,餐后2小时血糖却高达14毫摩尔/
期刊
餐后高血糖
餐后2小时血糖
空腹血糖
餐后血糖
胰岛素治疗
糖尿病史
饮食控制
自行检测
关于湖北省兴山县人民政府驻地迁移的批复
民行批[1992]161号湖北省人民政府:你省一九九二年十一月十日《关于兴山县城由高阳镇迁至古夫镇的请示》收悉。经国务院批准,同意兴山县人民政府驻地由高阳镇迁至古夫镇。搬
期刊
古夫镇
政府驻地
工程移民
三峡工程
正确看待乙肝抗体阳性
安徽芜湖的邓女士,是某公司的一名会计。她在公司组织的一次体检中,做了乙肝“两对半”检查,结果是3个“+”号(阳性)。于是,全公司的人都认为邓女士患了乙肝。不久邓女士就被公司辞
期刊
抗体阳性
乙肝
“两对半”检查
化验单
关于中国和塔吉克斯坦相互关系基本原则的联合声明
应中华人民共和国主席杨尚昆的邀请,塔吉克斯坦共和国最高苏维埃主席埃·拉赫莫诺夫于一九九三年三月八日至十一日对中华人民共和国进行了正式访问。中共中央总书记江泽
期刊
杨尚昆
拉赫
莫诺
边界问题
经济合作
第三国
国有权
双边合作
两国关系
访问过程
澳门特别行政区基本法起草委员会关于设立全国人民代表大会常务委员会澳门特别行政区基本法委员会的建议
一、名称:全国人民代表大会常务委员会澳门特别行政区基本法委员会。二、隶属关系:是全国人民代表大会常务委员会下设的工作委员会。三、任务:就有关澳门特别行政区基本法第
期刊
起草委员会
中国公民
七条
三条
隶属关系
舌下含药 多种急症的救命稻草
舌下含服硝酸甘油药片可抢救冠心病急性发作的患者.这个常识许多人都知道。但舌下含药还可救治其他急症,这一点就较少有人知道了。疾病的急性发作常常使患者和家属措手不及,这时
期刊
舌下含药
急症
冠心病急性发作
稻草
硝酸甘油药片
舌下含服
患者
救护车
与本文相关的学术论文