
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.
Electronic computers. Computer science, |formal concept analysis|variable decision implication|inference rules|knowledge reasoning ability|knowledge representation, QA75.5-76.95
Electronic computers. Computer science, |formal concept analysis|variable decision implication|inference rules|knowledge reasoning ability|knowledge representation, QA75.5-76.95
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
