First-order rough logic I: Approximate reasoning via rough sets

Fundamenta Informaticae

Volumn 27, Issue 2-3, 1996, Pages 137-153

  Lin, T Y ^a   Liu, Qing ^b  

^a SAN JOSE STATE UNIVERSITY   (United States)

^b NANCHANG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL LINGUISTICS; CONVERGENCE OF NUMERICAL METHODS; FORMAL LOGIC; GEOMETRY; MATHEMATICAL MODELS; TOPOLOGY;

AXIOM; CONVERGENCE THEOREM; FIRST ORDER LOGIC; INFORMATION LOGIC; MODAL LOGIC; ROUGH APPROXIMATION; ROUGH LOGIC; ROUGH SETS; SEMANTICS; TARSKIAN MODEL;

SET THEORY;

EID: 0030219290     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1996-272303     Document Type: Article

References (21)

1. J. Kelley, General Topology, van Norstrand, 1955.
2. T.Y. Lin and S. Bairamian, Neighborhood systems and Goal Queries, Manuscript, California State University, Northridge, 1987.
3. T. Y. Lin, Neighborhood Systems and Relational Database. Proceedings of CSC '88, February, 1988.
4. 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.
5. 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.
6. Q. Liu, K.J. Huang and T.Y. Lin, A Model of Topological Reasoning Expert System with Application to an Expert System for Computer-Aided Diagnosis and Treatment in Acupuncture and Moxibustion, International Symposium on Expert Systems and Neural Network Theory and Application, August 1990.
7. T.Y. Lin, A topological and Fuzzy Rough Sets, Intelligent Decision Support, Kluwer Academic Publishers, Boston, 1992, Chapter 5, Part II. edited by Slowinski.
8. T.Y. Lin and Q. Liu, Rough Approximate Operators, Axiomatic Rough Set Theory, Rough Sets, Fuzzy Sets and Knowledge Discovery, Proceedings of the International Workshop on Rough Sets and Knowledge Discovery (RSKD'93), Banff, Canada, 12-15 October 1993, Springer Verlag, 1993.
9. T.Y. Lin, Fuzzy Controllers and Rough Logic, Soft Computing:Rough Sets, Fuzzy Logic, Neural Networks, Uncertainty Management, and Knowledge Discoveryi. The Society for Computer Simulation, 1995.
10. T.Y. Lin, Rough-Fuzzy Controllers for Complex Systems, Proceedings of the 4th Annual Conference on Fuzzy Theory and Technology, Wrightsville Beach, NC USA, September 28-October 1, 1995
11. W. Lukaszewicz, Non-monotonic Reasoning-Formalization of Common Sense Reasoning, Institute of Information, University of Poland, 1990.
12. Z. Pawlak, Rough Sets, Theoretical aspects of reasoning about data, Kluwer Academic Pub., Dordrecht, 1991.
13. Brian F, Chellas, Modal Logic: an Introduction, Published by the Press Syndicate of the University of Cambridge, 1980.
14. A.G. Hamilton, Logic for Mathematicians, Cambridge University, 1987.
15. Richad Frost, Introduction to Knowledge Base Systems, Macmillab Publishing Company, New York, 1986.
16. 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.
17. 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.
18. L. Farinas, del Cerro, and Ewa Orlowska, DAL-A Logic Data Analysis, Theoretical Computer Science, 36 (1985), 251-264.
19. Helena Rasiowa and Andrzej Skowron, Rough Concepts Logic, Institute of Mathematics Warsaw University Rkin IX/907,00-901 Warsaw Poland.
20. Zohar Manna, Verification of Sequential Programs: Temporal Axiomatization, Theoretical Foundations of Programming Methodology, 53-102, 1982 by D. Reidel Publishing Company.
21. Sierpinski, General Topology, University of Toronto Press, 1956.