Research of Inference Rules on Decision Implication and Variable Decision Implication
Formal concept analysis is a data analysis method based on concept lattice, while decision implication and variable decision implication are two decision knowledge representations of formal concept analysis. Both decision implication and variable decision implication have complete inference rules fo...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Journal of Computer Engineering and Applications Beijing Co., Ltd., Science Press
2022-10-01
|
| Series: | Jisuanji kexue yu tansuo |
| Subjects: | |
| Online Access: | http://fcst.ceaj.org/fileup/1673-9418/PDF/1673-9418-16-10-2357.pdf |
| _version_ | 1828192223355731968 |
|---|---|
| author | XUE Dongqian, ZHAI Yanhui, ZHANG Shaoxia, LI Deyu, XU Weihua |
| author_facet | XUE Dongqian, ZHAI Yanhui, ZHANG Shaoxia, LI Deyu, XU Weihua |
| author_sort | XUE Dongqian, ZHAI Yanhui, ZHANG Shaoxia, LI Deyu, XU Weihua |
| collection | DOAJ |
| description | Formal concept analysis is a data analysis method based on concept lattice, while decision implication and variable decision implication are two decision knowledge representations of formal concept analysis. Both decision implication and variable decision implication have complete inference rules for knowledge reasoning. In order to further clarify the differences between variable decision implication and decision implication, this paper first eliminates uncertainty from variable decision implication and introduces restricted variable decision impli-cation. Then, based on the related research on variable decision implication, this paper presents semantic and syntactic characteristics of restricted variable decision implication. On this basis, a complete set of inference rules is obtained for restricted variable decision implication, and decision implication and restricted variable decision implication are compared from the syntactic perspective. Besides, this paper further discusses the differences between the two decision types in knowledge representation and reasoning from the semantic perspective, and summarizes the characteristics of restricted variable decision implication relative to decision implication from the semantic and syntactic perspectives. These conclusions provide new ideas for comparative research of different decision types such as decision implication, variable decision implication, and fuzzy decision implication, as well as a new perspective for introducing more efficient and concise inference rules. |
| first_indexed | 2024-04-12T08:52:18Z |
| format | Article |
| id | doaj.art-0534c4c662ae42ab941fd7202d5915dd |
| institution | Directory Open Access Journal |
| issn | 1673-9418 |
| language | zho |
| last_indexed | 2024-04-12T08:52:18Z |
| publishDate | 2022-10-01 |
| publisher | Journal of Computer Engineering and Applications Beijing Co., Ltd., Science Press |
| record_format | Article |
| series | Jisuanji kexue yu tansuo |
| spelling | doaj.art-0534c4c662ae42ab941fd7202d5915dd2022-12-22T03:39:33ZzhoJournal of Computer Engineering and Applications Beijing Co., Ltd., Science PressJisuanji kexue yu tansuo1673-94182022-10-0116102357236410.3778/j.issn.1673-9418.2104118Research of Inference Rules on Decision Implication and Variable Decision ImplicationXUE Dongqian, ZHAI Yanhui, ZHANG Shaoxia, LI Deyu, XU Weihua01. 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;3. School of Artificial Intelligence, Southwest University, Chongqing 400715, ChinaFormal concept analysis is a data analysis method based on concept lattice, while decision implication and variable decision implication are two decision knowledge representations of formal concept analysis. Both decision implication and variable decision implication have complete inference rules for knowledge reasoning. In order to further clarify the differences between variable decision implication and decision implication, this paper first eliminates uncertainty from variable decision implication and introduces restricted variable decision impli-cation. Then, based on the related research on variable decision implication, this paper presents semantic and syntactic characteristics of restricted variable decision implication. On this basis, a complete set of inference rules is obtained for restricted variable decision implication, and decision implication and restricted variable decision implication are compared from the syntactic perspective. Besides, this paper further discusses the differences between the two decision types in knowledge representation and reasoning from the semantic perspective, and summarizes the characteristics of restricted variable decision implication relative to decision implication from the semantic and syntactic perspectives. These conclusions provide new ideas for comparative research of different decision types such as decision implication, variable decision implication, and fuzzy decision implication, as well as a new perspective for introducing more efficient and concise inference rules.http://fcst.ceaj.org/fileup/1673-9418/PDF/1673-9418-16-10-2357.pdf|formal concept analysis|variable decision implication|inference rules|knowledge reasoning ability|knowledge representation |
| spellingShingle | XUE Dongqian, ZHAI Yanhui, ZHANG Shaoxia, LI Deyu, XU Weihua Research of Inference Rules on Decision Implication and Variable Decision Implication Jisuanji kexue yu tansuo |formal concept analysis|variable decision implication|inference rules|knowledge reasoning ability|knowledge representation |
| title | Research of Inference Rules on Decision Implication and Variable Decision Implication |
| title_full | Research of Inference Rules on Decision Implication and Variable Decision Implication |
| title_fullStr | Research of Inference Rules on Decision Implication and Variable Decision Implication |
| title_full_unstemmed | Research of Inference Rules on Decision Implication and Variable Decision Implication |
| title_short | Research of Inference Rules on Decision Implication and Variable Decision Implication |
| title_sort | research of inference rules on decision implication and variable decision implication |
| topic | |formal concept analysis|variable decision implication|inference rules|knowledge reasoning ability|knowledge representation |
| url | http://fcst.ceaj.org/fileup/1673-9418/PDF/1673-9418-16-10-2357.pdf |
| work_keys_str_mv | AT xuedongqianzhaiyanhuizhangshaoxialideyuxuweihua researchofinferencerulesondecisionimplicationandvariabledecisionimplication |