计算机科学与探索 ›› 2021, Vol. 15 ›› Issue (7): 1322-1331.DOI: 10.3778/j.issn.1673-9418.2006064

• 理论与算法 • 上一篇    下一篇

蕴涵的决策蕴涵表示研究

王亚丽,翟岩慧,张少霞,贾楠,李德玉   

  1. 1. 山西大学 计算机与信息技术学院,太原 030006
    2. 山西大学 计算智能与中文信息处理教育部重点实验室,太原 030006
  • 出版日期:2021-07-01 发布日期:2021-07-09

Study of Implication Representation Based on Decision Implication

WANG Yali, ZHAI Yanhui, ZHANG Shaoxia, JIA Nan, LI Deyu   

  1. 1. School of Computer and Information Technology, Shanxi University, Taiyuan 030006, China
    2. Key Laboratory of Computational Intelligence and Chinese Information Processing of Ministry of Education, Shanxi University, Taiyuan 030006, China
  • Online:2021-07-01 Published:2021-07-09

摘要:

形式概念分析能够使用概念格和(属性)蕴涵来对知识进行可视化和表示。决策蕴涵是一种特殊的蕴涵,而决策蕴涵的研究就是在蕴涵中建立并研究一个/多个封闭的子系统(包括决策蕴涵子系统及相应的语义和语构子系统)。为了进一步厘清蕴涵和决策蕴涵之间的关系,对由决策蕴涵子系统能不能得到整个蕴涵系统进行了研究。事实上,如果蕴涵可以由决策蕴涵推出,那么关于蕴涵和规范基的研究就可以转化为决策蕴涵和决策蕴涵规范基的研究。首先给出了蕴涵可以由决策蕴涵表示的充要条件;接着通过实例表明,存在一些蕴涵不可由决策蕴涵表示,因此进一步区分了直接表示和间接表示;最后通过研究决策背景中只有一个决策属性时不可被直接表示的蕴涵所具有的特点,给出了蕴涵不可由决策蕴涵直接表示的充要条件,并给出了不可被直接表示蕴涵的生成方法。这种研究为蕴涵和规范基的研究提供了一种新视角,同时也为形式概念分析更深入的理论研究工作奠定了基础。

关键词: 形式概念分析(FCA), 概念格, 蕴涵, 决策蕴涵

Abstract:

Formal concept analysis can use concept lattice and (attribute) implication to visualize and represent knowledge. Decision implication is a special implication, and the study of decision implication is to establish and study one or more closed subsystems in implications, including decision implication subsystem and corresponding semantic and syntactic subsystems. In order to further clarify the relationship between implications and decision implications, it is studied whether the implication systems can be obtained from these decision implications subsystems. In fact, if implications can be deduced from decision implications, the studies on implications and canonical basis can be reduced to the studies of decision implications and decision implication canonical basis. Firstly, some sufficient and necessary conditions are given to determine whether implications can be represented by decision implication. Secondly, an example is given to show that there are some implications that cannot be represented by decision implications, and thus the representation of implications is further divided into direct and indirect representations. Finally, by studying the characteristics of the implication that cannot be directly represented when there is only one decision attribute in decision contexts, a sufficient and necessary condition is presented to determine whether implications cannot be directly represented by decision implication, and a generation method is also designed to generate the implications that cannot be directly represented. This study provides a new perspective for the study of implications and canonical basis, and also forms a foundation for further theoretical study on formal concept analysis.

Key words: formal concept analysis (FCA), concept lattice, implication, decision implication