论文部分内容阅读
本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法-修正程序，它允许使用逻辑程序的说明性语义和强制性语义来解释修正规则，但用来解释修正程序将会变得非常困难，本文将引入修正程序的语义模型-P-合理修正，并讨论了修正程序同逻辑程序的关系及修正程序的现实意义。
一种形式化知识库更新方法-修正程序
【摘 要】
：
本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法-修正程序，它允许使用逻辑程序的说明性语义和强制性语义来解释修正规则，但用来解释修正程序将会变得非常困难，
【机 构】
：
武汉科技学院,武汉大学
【出 处】
：
武汉科技学院学报
【发表日期】
：
2006年4期
其他文献
去年6月公布的《中国高血压患者自我管理标准手册》是我国第一部由医学专业机构制订的，为我国高血压患者量身定做的高血压系统管理方案。《手册》问世以来，受到了广大基层医生
问:柬埔寨金边部队向红色高棉发动进攻。你对此有何评论?答:我们对事态的发展深为关注,我们不赞成任何违背巴黎协定的行动,希望联柬机构采取切实措施制止事态扩大。
随着人们生活水平提高，工作压力加大，冠心病的患病率逐年上升，并呈年轻化趋势。冠心病已成为危害人们健康，增加家庭及社会经济负担的常见疾病。
一、澳门特别行政区第一届政府、立法会和司法机关根据体现国家主权、平稳过渡的原则产生。二、全国人民代表大会设立澳门特别行政区筹备委员会,负责筹备成立澳门特别行政区
70岁的徐大伯有糖尿病史13年，目前使用胰岛素治疗和饮食控制，并坚持每天散步半小时。最近，他在家中用血糖仪自行检测血糖后发现，空腹血糖7．1毫摩尔／升，餐后2小时血糖却高达14毫摩尔／
民行批[1992]161号湖北省人民政府:你省一九九二年十一月十日《关于兴山县城由高阳镇迁至古夫镇的请示》收悉。经国务院批准,同意兴山县人民政府驻地由高阳镇迁至古夫镇。搬
安徽芜湖的邓女士，是某公司的一名会计。她在公司组织的一次体检中，做了乙肝“两对半”检查，结果是3个“＋”号（阳性）。于是，全公司的人都认为邓女士患了乙肝。不久邓女士就被公司辞
应中华人民共和国主席杨尚昆的邀请,塔吉克斯坦共和国最高苏维埃主席埃·拉赫莫诺夫于一九九三年三月八日至十一日对中华人民共和国进行了正式访问。中共中央总书记江泽
一、名称:全国人民代表大会常务委员会澳门特别行政区基本法委员会。二、隶属关系:是全国人民代表大会常务委员会下设的工作委员会。三、任务:就有关澳门特别行政区基本法第