Pawlak, Belnap and the Magical Number Seven
[ 1 ] Instytut Informatyki, Wydział Informatyki i Telekomunikacji, Politechnika Poznańska | [ 2 ] Instytut Badań Systemowych Polskiej Akademii Nauk | [ P ] employee
2023
chapter in monograph / paper
english
- Rough sets
- Seven-valued logic
- Belnap four-valued logic
- Data analysis
EN We are considering the algebraic structure of the Pawlak-Brouwer-Zadeh lattice to distinguish vagueness due to imprecision from ambiguity due to coarseness. We show that a general class of many-valued logics useful for reasoning about data emerges from this context. All these logics can be obtained from a very general seven-valued logic which, interestingly enough, corresponds to a reasoning system developed by Jaina philosophers four centuries BC. In particular, we show how the celebrated Belnap four-valued logic can be obtained from the very general seven-valued logic based on the Pawlak-Brouwer-Zadeh lattice.
31.12.2023
216 - 228
20
20