【摘要】基于逻辑公式定义了逻辑型决策蕴涵。设计了逻辑型决策蕴涵的语义框架,包括定义了逻辑型决策蕴涵的模型,以及逻辑型决策蕴涵集的完备性和无冗余性。在进行知识推理时,该框架可以过滤掉矛盾的结论。语构方面提出了闭包缩小推理规则,并证明了该推理规则相对于语义的合理性和完备性。
【关键词】
《建筑知识》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国医疗管理科学》 2015-05-12
《重庆高教研究》 2015-06-30
《阅江学刊》 2015-07-02
《铁道运营技术》 2015-06-25
《中外医疗》 2015-07-03
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
发表评论
登录后发表评论 (已发布 0条)点亮你的头像 秀出你的观点