逻辑型决策蕴涵

摘要：

基于逻辑公式定义了逻辑型决策蕴涵.设计了逻辑型决策蕴涵的语义框架,包括定义了逻辑型决策蕴涵的模型,以及逻辑型决策蕴涵集的完备性和无冗余性.在进行知识推理时,该框架可以过滤掉矛盾的结论.语构方面提出了闭包缩小推理规则,并证明了该推理规则相对于语义的合理性和完备性.

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

所属期刊栏目：52

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金项目 ;山西省重点研发计划项目 ;山西省自然科学基金项目;山西省高等学校科技创新项目;山西省研究生创新项目

在线出版日期：2020-03-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1-7