On inference rules in decision formal contexts
- DOI
- 10.2991/ijcis.2015.8.1.14How to use a DOI?
- Keywords
- Formal concept analysis, concept lattice, formal context, decision formal context, inference rule, rule acquisition
- Abstract
Rule acquisition is one of the main purposes in the analysis of decision formal contexts. In general, the number of implications in a decision formal context is an exponential increase to the scale of the database. So, it is important to introduce effective inference rules between implications for eliminating as many superfluous implications as possible. This study puts forward a criterion called ‘strongness’ to assess the effectiveness of inference rules in terms of eliminating superfluous implications. We define a new inference rule in decision formal contexts and prove that the proposed inference rule is stronger than the existing one. Furthermore, we figure out the exact number of the superfluous implications that we can additionally remove by using the proposed inference rule compared with the existing one.
- Copyright
- © 2017, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - JOUR AU - Jinhai Li AU - Changlin Mei AU - Lidong Wang AU - Junhong Wang PY - 2015 DA - 2015/01/01 TI - On inference rules in decision formal contexts JO - International Journal of Computational Intelligence Systems SP - 175 EP - 186 VL - 8 IS - 1 SN - 1875-6883 UR - https://doi.org/10.2991/ijcis.2015.8.1.14 DO - 10.2991/ijcis.2015.8.1.14 ID - Li2015 ER -