摘要
Attribute reduction of formal decision context mainly uses the relationship between two concept lattices generated by the condition and decision attributes to remove redundant condition attributes.By using decision attributes to observe the covering of objects,this study defines two types of consistent sets and reducts in a consistent formal decision context based on neighbourhood systems.Four types of reductions in inconsistent formal decision contexts are also studied.The methods to calculate all types of reductions are formulated by discernibility matrix.Finally,an approach to obtain the decision rules in consistent formal decision context is proposed.
基金
This work was supported by the National Natural Science Foundation of China(nos.61573127 and 61502144)
the Natural Science Foundation of Hebei Province(no.F2018205196)
the Science and Technology Research Program of Higher Education Institutions of Hebei Province(nos.BJ2019014 and QN2017095)
the Doctor Natural Science Foundation of Hebei Normal University(no.L2017B19).