逻辑型决策蕴涵  

Logic-type Decision Implication

作　　者：张少霞[1] 李德玉[1,2] 翟岩慧[1,2] ZHANG Shaoxia;LI Deyu;ZHAI Yanhui(School of Computer and Information Technology,Shanxi University,Taiyuan 030006,China;Key Laboratory of Computational Intelligence and Chinese Information Processing of Ministry of Education,Shanxi University,Taiyuan 030006,China)

机构地区：[1]山西大学计算机与信息技术学院,山西太原030006 [2]山西大学计算智能与中文信息处理教育部重点实验室,山西太原030006

出　　处：《郑州大学学报（理学版）》2020年第1期1-7,共7页Journal of Zhengzhou University:Natural Science Edition

基　　金：国家自然科学基金项目(61672331,61573231,61972238,61806116);山西省重点研发计划项目(201803D421024,201903D421041);山西省自然科学基金项目(201801D221175);山西省高等学校科技创新项目(201802014,2019SK036);山西省研究生创新项目(2018BY006,2019SY006)

摘　　要：基于逻辑公式定义了逻辑型决策蕴涵。设计了逻辑型决策蕴涵的语义框架,包括定义了逻辑型决策蕴涵的模型,以及逻辑型决策蕴涵集的完备性和无冗余性。在进行知识推理时,该框架可以过滤掉矛盾的结论。语构方面提出了闭包缩小推理规则,并证明了该推理规则相对于语义的合理性和完备性。Logic-type decision implication was defined based on logic formulas.The semantic frame of logic-type decision implication was designed,in which the model of logic-type decision implications and the completeness and nun-redundancy of logic-type decision implication sets were defined.By the semantic frame,the contradictions were filtered out when knowledge reasoning was conducted.In the syntactical aspect,a closure reduction inference rule was proposed,and its soundness and completeness with respect to the semantical aspect were proved.

关 键 词：形式概念分析 逻辑型决策蕴涵 逻辑公式 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]