Abstract
This paper discusses on a logic of information for reasoning about various persons’ knowledge or time-depending knowledge. The motivation comes from the problem of logical foundations of knowledge representation proposed by Z. Pawlak and E. Orlowska [6], and partially from Orlowska [8]. We consider monadic predicate symbols in this logic. We give its semantics and syntax. Further, we give a deductive system for the logic, and prove the soundness and completeness.
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.
Reference
L. Farinas del Cerro and E. Orlowska: DAL-A logic for data analysis, Theoretical Computer Science,36, (1985), 251–264
L. Farinas del Cerro and E. Orlowska: CORRIGENDUM, Theoretical Computer Science, 47, (1986), 345.
A. Nakamura: On the undecidability of monadic modal predicate logic, Zeitschr. f. math. Logik und Grundlagen d. Math., 16, (1970), 257–260.
A. Nakamura and J-M. Gao: A logic for fuzzy data analysis, Fuzzy Sets and Systems, 39, (1991), 127–132.
A. Nakamura Topological soft algebra for the S5-modal fuzzy logic, Proc. of the 21st ISMVL, May 26–29,1991, Victoria,80–84.
A. Nakamura: A logic of imprecise monadic predicates and its relation to the S5-modal fuzzy logic, Lecture Notes in Computer Science, 548, Symbolic and Quantitative Approaches to Uncertainty, (Eds. R. Kruse and P. Siegel ), (1991), 254–261.
E. Orlowska and Z. Pawlak: Logical foundations of knowledge representation, Part I, ICS PAS (Polish Academy of Sciences) Reports, 537, 1984.
E. Orlowska: Logic of indiscernibility relation, Bulletin of the Polish Academy of Sciences, Mathematics, (1985), 475–485.
E. Orlowska: Logic for reasoning about knowledge, Zeitschr. f. math. Logik und Grundlagen d. Math., 35, (1989), 559–572.
Z. Pawlak: Rough sets, International J. of Information and Computer Sciences, 11, (1982), 341–356.
Z. Pawlak: Rough Sets - Theoretical aspects of reasoning about data -, Kluwer Academic Pub., Dordrecht, (1991).
R.M. Smullyan: First-Order Logic, Springer-Verlag, Berlin, 1968.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Nakamura, A. (1994). On a Logic of Information for Reasoning about Knowledge. In: Ziarko, W.P. (eds) Rough Sets, Fuzzy Sets and Knowledge Discovery. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3238-7_23
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3238-7_23
Publisher Name: Springer, London
Print ISBN: 978-3-540-19885-7
Online ISBN: 978-1-4471-3238-7
eBook Packages: Springer Book Archive