On inference rules in decision formal contexts
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 e...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Springer
2015-01-01
|
| Series: | International Journal of Computational Intelligence Systems |
| Subjects: | |
| Online Access: | https://www.atlantis-press.com/article/25868587.pdf |
| _version_ | 1828515292547907584 |
|---|---|
| author | Jinhai Li Changlin Mei Lidong Wang Junhong Wang |
| author_facet | Jinhai Li Changlin Mei Lidong Wang Junhong Wang |
| author_sort | Jinhai Li |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-11T18:11:15Z |
| format | Article |
| id | doaj.art-f36ca360841a46159be34819bb9a7369 |
| institution | Directory Open Access Journal |
| issn | 1875-6883 |
| language | English |
| last_indexed | 2024-12-11T18:11:15Z |
| publishDate | 2015-01-01 |
| publisher | Springer |
| record_format | Article |
| series | International Journal of Computational Intelligence Systems |
| spelling | doaj.art-f36ca360841a46159be34819bb9a73692022-12-22T00:55:34ZengSpringerInternational Journal of Computational Intelligence Systems1875-68832015-01-018110.2991/ijcis.2015.8.1.14On inference rules in decision formal contextsJinhai LiChanglin MeiLidong WangJunhong WangRule 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.https://www.atlantis-press.com/article/25868587.pdfFormal concept analysisconcept latticeformal contextdecision formal contextinference rulerule acquisition |
| spellingShingle | Jinhai Li Changlin Mei Lidong Wang Junhong Wang On inference rules in decision formal contexts International Journal of Computational Intelligence Systems Formal concept analysis concept lattice formal context decision formal context inference rule rule acquisition |
| title | On inference rules in decision formal contexts |
| title_full | On inference rules in decision formal contexts |
| title_fullStr | On inference rules in decision formal contexts |
| title_full_unstemmed | On inference rules in decision formal contexts |
| title_short | On inference rules in decision formal contexts |
| title_sort | on inference rules in decision formal contexts |
| topic | Formal concept analysis concept lattice formal context decision formal context inference rule rule acquisition |
| url | https://www.atlantis-press.com/article/25868587.pdf |
| work_keys_str_mv | AT jinhaili oninferencerulesindecisionformalcontexts AT changlinmei oninferencerulesindecisionformalcontexts AT lidongwang oninferencerulesindecisionformalcontexts AT junhongwang oninferencerulesindecisionformalcontexts |