Abstract
Mathematicians formalized the approximation in terms of topology. In this paper a new family of logic systems for approximate reasoning, called Near Logic, is proposed; their semantics are rested on the notion of neighborhood system-a building block of topology. Somewhat surprisingly, the axiom schema of the Near Logic is that of the modal logic S4. This generalizes the fact that the axiom schema of Rough Logic is S5. The agreement in geometric and modalic considerations seems indicate that the proposed approach must have captured some intrinsic meaning of the approximate reasoning. Neighborhood Systems are very general approximation, so Near Logic can be regarded as a small step toward the formalization what Hao Wang called ”approximate proof” three decades ago.
On leave from Jiangxi University Nan-Chang, Jiangxi, P.R. China
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. Kelley, General Topology, van Norstrand, 1955.
T.Y. Lin and S. Bairamian, Neighborhood systems and Goal Queries, Manuscript, California State University, Northridge, 1987.
T. Y. Lin, Neighborhood Systems and Relational Database. Proceedings of CSC'88, February, 1988.
T. Y. Lin, Neighborhood Systems and Approximation in Database and Knowledge Base Systems, Proceedings of the Fourth International Symposium on Methodologies of Intelligent Systems, Poster Session, October 1215, 1989.
T. Y. Lin, Q. Liu, K. J. Huang and W. Chen. Rough Sets, Neighborhood Systems and Approximation, Fifth International Symposium on Methodologies of Intelligent Systems, Selected Papers, Oct. 1990.
T.Y. Lin, A topological and Fuzzy Rough Sets, Intelligent Decision Support, Kluwer Academic Publishers, Boston, 1992, Chapter 5, Part II. edited by Slowinski.
T.Y. Lin and Q. Liu, Rough Approximate Operators, Axiomatic Rough Set Theory, Proceedings of the International Workshop on Rough Sets and Knowledge Discovery, RSKD' 93, First Edition, Banff, Canada, 1993.
W. Lukaszewicz, Non-monotonic Reasoning-Formalization of Common Sense Reasoning, Institute of Information, University of Poland, 1990.
Z. Pawlak, Rough Sets, Theoretical aspects of reasoning about data, Kluwer Academic Pub., Dordrecht, 1991.
Brian F., Chellas, Modal Logic: an Introduction, Published by the Press Syndicate of the University of Cambridge, 1980.
Richad Frost, Introduction to Knowledge Base Systems, Macmillab Publishing Company, New York, 1986.
Akira Nakamura, On a Logic of Information for reasoning about Knowledge, Proceedings of the International Workshop on Rough Sets and Knowledge Discovery, RSKD”93, First Edition, Banff, Canada, 1993.
Ewa Orlowska, Rough set semantics For Nonclassical Logics, Proceedings of the International Workshop on Rough Sets and Knowledge Discovery, RSKD' 93, First Edition, Banff, Canada, 1993.
Helena Rasiowa and Andrzej Skowron, Rough Concepts Logic, Institute of Mathematics Warsaw University Rkin IX/907, 00-901 Warsaw Poland.
Sierpenski, General Topology, University of Torranto Press, 1960.
T. Y. Lin and Q. Liu, First Order Rough Logic I: Approximate Reasoning via Rough Sets, Fundamenta Informaticaie, 1994.
Sirepenski, General Topology, University of Torranto Press, 1956.
Wang, Hao: Toward Mechanical Mathematics, IBM Journal, 1960
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lin, T.Y., Liu, Q., Yao, Y.Y. (1994). Logic systems for approximate reasoning: via rough sets and topology. In: Raś, Z.W., Zemankova, M. (eds) Methodologies for Intelligent Systems. ISMIS 1994. Lecture Notes in Computer Science, vol 869. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58495-1_7
Download citation
DOI: https://doi.org/10.1007/3-540-58495-1_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58495-7
Online ISBN: 978-3-540-49010-4
eBook Packages: Springer Book Archive