A duality between Pawlak's knowledge representation systems and bi-consequence systems |
| |
| Authors: | Dimiter Vakarelov |
| |
| Institution: | (1) Department of Mathematical Logic with Laboratory for Applied Logic, Sofia University, Blvd James Bouchier 5, 1126 Sofia, Bulgaria |
| |
| Abstract: | A duality between Pawlak's knowledge representation systems and certain information systems of logical type, called bi-consequence systems is established. As an application a first-order characterization of some informational relations is given and a completeness theorem for the corresponding modal logic INF is proved. It is shown that INF possesses finite model property and hence is decidable. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
