Study of Implication Representation Based on Decision Implication
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 implicati...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Journal of Computer Engineering and Applications Beijing Co., Ltd., Science Press
2021-07-01
|
| Series: | Jisuanji kexue yu tansuo |
| Subjects: | |
| Online Access: | http://fcst.ceaj.org/CN/abstract/abstract2801.shtml |
| _version_ | 1818652413713711104 |
|---|---|
| author | WANG Yali, ZHAI Yanhui, ZHANG Shaoxia, JIA Nan, LI Deyu |
| author_facet | WANG Yali, ZHAI Yanhui, ZHANG Shaoxia, JIA Nan, LI Deyu |
| author_sort | WANG Yali, ZHAI Yanhui, ZHANG Shaoxia, JIA Nan, LI Deyu |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-17T02:21:37Z |
| format | Article |
| id | doaj.art-108da5e07df34eec8a69882790b72b06 |
| institution | Directory Open Access Journal |
| issn | 1673-9418 |
| language | zho |
| last_indexed | 2024-12-17T02:21:37Z |
| publishDate | 2021-07-01 |
| publisher | Journal of Computer Engineering and Applications Beijing Co., Ltd., Science Press |
| record_format | Article |
| series | Jisuanji kexue yu tansuo |
| spelling | doaj.art-108da5e07df34eec8a69882790b72b062022-12-21T22:07:14ZzhoJournal of Computer Engineering and Applications Beijing Co., Ltd., Science PressJisuanji kexue yu tansuo1673-94182021-07-011571322133110.3778/j.issn.1673-9418.2006064Study of Implication Representation Based on Decision ImplicationWANG Yali, ZHAI Yanhui, ZHANG Shaoxia, JIA Nan, LI DeyuFormal 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.http://fcst.ceaj.org/CN/abstract/abstract2801.shtmlformal concept analysis (fca)concept latticeimplicationdecision implication |
| spellingShingle | WANG Yali, ZHAI Yanhui, ZHANG Shaoxia, JIA Nan, LI Deyu Study of Implication Representation Based on Decision Implication Jisuanji kexue yu tansuo formal concept analysis (fca) concept lattice implication decision implication |
| title | Study of Implication Representation Based on Decision Implication |
| title_full | Study of Implication Representation Based on Decision Implication |
| title_fullStr | Study of Implication Representation Based on Decision Implication |
| title_full_unstemmed | Study of Implication Representation Based on Decision Implication |
| title_short | Study of Implication Representation Based on Decision Implication |
| title_sort | study of implication representation based on decision implication |
| topic | formal concept analysis (fca) concept lattice implication decision implication |
| url | http://fcst.ceaj.org/CN/abstract/abstract2801.shtml |
| work_keys_str_mv | AT wangyalizhaiyanhuizhangshaoxiajiananlideyu studyofimplicationrepresentationbasedondecisionimplication |