Abstract
Investigations concerning a systematic approach to reasoning by one or more fully communicating, intelligent, agents have been developed by both logicians and computer scientists. In the last few years a number of papers addressing the problem of reasoning about knowledge have appeared, e.g. [H], [Hi], [L], [O], [P], [R] and [RM]. There are, however, many approaches in this area, as for example, how to understand, represent and manipulate knowledge, e.g. [FHV], [Hi], [Ho].
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Fagin, R., Halpern, J., Vardi, M.: 1988, Model-theoretical analysis of knowledge, IBM Research Report Rj 6461.
Halpern, J. (Ed.): 1986, Proceedings of the Conference Theoretical Aspects of Reasoning about Knowledge,Morgan Kaufmann.
Halpern, J. and Moses, Y.: 1992, ‘A guide to completeness and complexity for modal logics of knowledge and belief’, Artificial Intelligence 54, pp. 309–379.
Hintikka, J.: 1962, Knowledge and Belief,Cornell University Press.
Holland, J. H., Holyoak, K. J., Nisbett, R. E., and Thagard, P. R.: 1986, Induction: Processes of Inference, Learning and Discovery, MIT Press.
Lenzen, W.: 1978, ‘Recent Work in Epistemic Logic’, Acta Philosophica Fennica 30, 1–219.
Orlowska, E.: 1989, ‘Logic for Reasoning about Knowledge’, Zeitschr. f Math. Logik und Grundlagen d. Math 35, 559–572.
Parikh, R. (Ed.): 1990, Proceedings of the Conference Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann.
Pawlak, Z.: 1982, ‘Rough Sets’, International Journal of Computer and Information Sciences 11, 341–346.
Pawlak, Z.: 1991, Rough Sets — Theoretical Aspects of Reasoning about Data,Kluwer Academic Publishers.
Pawlak, Z.: 1990, ‘Decision Logic’, Report of the Warsaw University of Technology, Institute of Computer Science.
Rasiowa, H.: 1990, ‘On Approximation Logics: A Survey’, Jahrbuch 1990 der Kurt Gödel Gesellschaft.
Rasiowa, H. and Marek, W.: 1989, ‘On Reaching Consensus by Groups of Inteligent Agents’. In: Ras, Z. W., (Ed) Proceedings of ISMIS’89, North-Holland, pp. 234–243.
Rauszer, C. M.: ‘Logic for Information Systems’, Fundamenta Informaticae,to appear.
Valley, M. K.: ‘Interpretation of Modal Logics as Epistemic Logics’, (in Russian). Proceedings of the Conference Borzomi’88, 1988, pp. 76–77.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Rauszer, C.M. (1994). Knowledge Representation Systems for Groups of Agents. In: Woleński, J. (eds) Philosophical Logic in Poland. Synthese Library, vol 228. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8273-5_15
Download citation
DOI: https://doi.org/10.1007/978-94-015-8273-5_15
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4276-7
Online ISBN: 978-94-015-8273-5
eBook Packages: Springer Book Archive