Rough logic for multi-agent systems
Reasoning about knowledge is one of the most challenging problems in philosophy, artificial intelligence and logic. Various approaches have been presented, such as nonmonotonic reasoning, fuzzy sets, probabilistic logic, and so on. In this paper we focus on rough set philosophy to describe reasoning about knowledge, which is understood as the ability to classify objects. Rough sets are used as a mathematical tool to deal with uncertain and imprecise data. The aim of this paper is to present a complete formal system for reasoning based on incomplete information of a multi-agent system. The logic under consideration is a multi modal logic that can be used as a query language for groups of agents.
Unable to display preview. Download preview PDF.
- Grzymala Busse, J.W.: LERS-A System for Learning from Examples Based on Rough Sets, to appear.Google Scholar
- Hintikka, J. Knowledge and Belief. Chicago: Cornell University Press, 1962.Google Scholar
- Halpern, J.Y., and Y. Moses: “A guide to completeness and complexity for modal logics of knowledge and belief,” in: Artificial Intelligence, 54 (1992) 309–379.Google Scholar
- Minski, M.: “A Framework for representation knowledge,” in: P. Winston (ed.), The Psychology of Computer Vision, New York: McGraw-Hill (1975) 211–277.Google Scholar
- Pawlak, Z.: “Rough sets,” in: International Journal of Computer and Information Sciences, 11 (1982) 341–346.Google Scholar
- Pawlak, Z.: Rough Sets — Theoretical Aspects of Reasoning about Data. Kluwer Academic Press, 1992.Google Scholar
- Orlowska, E.: “Logic for reasoning about knowledge,” in: Zeitschr. f. Math. Logik und Grundlagen d. Math., 35 (1989) 559–572.Google Scholar
- Rasiowa, H.: “On approximation logics: A survey.” in: Jahrbuch 1990 der Kurt Gödel Gesellschaft, (1990) 63–87.Google Scholar
- Rauszer, C.M.: “Logic for information systems,” in: Fundamenta Informaticae, vol.16, no 3–4 (1992a) 371–383.Google Scholar
- Rauszer, C.M.: “Knowledge representation systems for groups of agents,” in: J. Woleński (ed.), Philosophical Logic in Poland, Kluwer, to appear.Google Scholar
- Rauszer, C.M.: “Distributive knowledge representation systems,” ICS Research Report 22/92, Warsaw: University of Technology, Institute of Computer Science, 1992b.Google Scholar
- Skowron, A.: “On topology in information systems,” in: Bulletin of the Polish Academy of Sciences, vol.36, no 7–8 (1988) 477–479.Google Scholar
- Skowron, A., and C.M. Rauszer: “The discernibility matrices and functions in information systems,” in: R. Slowiński (ed.), Decision Support by Experience-Applications of the Rough Sets Theory, Kluwer Academic Press, 1992.Google Scholar