Abstract
We are concerned with formal models of reasoning under uncertainty. Many approaches to this problem are known in the literature e.g. Dempster-Shafer theory [29], [42], bayesian-based reasoning [21], [29], belief networks [29], many-valued logics and fuzzy logics [6], non-monotonic logics [29], neural network logics [14]. We propose rough mereology developed by the last two authors [22-25] as a foundation for approximate reasoning about complex objects. Our notion of a complex object includes, among others, proofs understood as schemes constructed in order to support within our knowledge assertions/hypotheses about reality described by our knowledge incompletely.
Similar content being viewed by others
References
Amarel, S., 1991, PANEL on AI and Design, IJCAI-91, San Mateo, Morgan Kaufmann, 563-565.
Brown, E. M., 1990, Boolean reasoning, Kluwer, Dordrecht.
Chellas, B., 1980, Modal Logic: An Introduction, Cambridge, University Press.
Clarke, B. L., 1981, 'A calculus of individuals based on “Connection”', Notre Dame Journal of Formal Logic 22, 204-218.
Clarke, B. L., 1985, 'Individuals and points', Notre Dame Journal of Formal Logic 26, 61-75.
Dubois, D., Prade H., Yager R. R., 1993, Readings in Fuzzy Sets for Intelligent Systems, Morgan Kaufmann, San Mateo.
Hugies, G. E., Cresswell H. J., 1968, An Introduction to Modal Logic, Methuen.
LeŚniewski, S., 1916, Foundations of the general theory of sets (in Polish), Moscow; eng. transl. in: Surma, Srzednicki, Barnett, Rickey (eds.), Stanislaw Leśniewski, Collected Works, Kluwer, Dordrecht 1992, 128–173.
LeŚniewski, S., 1927, 'On the foundations of Mathematics', Ch.I–III, (in Polish), Przegląd Filozoficzny 30, 164-206, eng. transl. in [SSBR; 175–226].
LeŚniewski, S., 1928, 'On the foundations of Mathematics', Ch.IV, (in Polish), Przegląd Filozoficzny 31, 261-291, eng. transl. in [SSBR; 227–263].
LeŚniewski, S., 1929, 'On the foundations of Mathematics', Ch.V, (in Polish), Przegląd Filozoficzny 32, 60-101, eng. transl. in [SSBR; 264–314].
LeŚniewski, S., 1930, 'On the foundations of Mathematics', Ch.VI–IX, (in Polish), Przegląd Filozoficzny 33, 77-105; eng. transl. in [SSBR; 315–349].
LeŚniewski, S., 1931, 'On the foundations of Mathematics', Ch.X–XI, (in Polish), Przegląd Filozoficzny 34, 142-170, eng. transl. in [SSBR; 350–382].
Low, B. T., 1993, 'Neural-logic belief networks — a tool for knowledge representation and reasoning', Proc. of the 5-th IEEE International Conference on Tools with Artificial Intelligence, Boston, 34-37.
Marczewski, E., 1958, 'A general scheme of independence in mathematics', Bull. Acad. Polon. Sci., Ser. Sci. Math. Astronom. Phys. 6, 731-736.
Matheron, G., 1975, Random sets and integral geometry, Wiley.
Mendelson, E., 1964, Introduction to mathematical logic, Van Nostrand-Reinhold, New York.
Pawlak, Z., 1991, Rough sets: Theoretical aspects of reasoning about data, Dordrecht, Kluwer.
Pawlak, Z., Skowron A., 1993, 'A rough set approach for decision rules generation', ICS Research Report 23/93, Warsaw University of Technology, Proc. of the IJCAI'93 Workshop: The Management of Uncertainty in AI, France, 1993.
Pawlak, Z., Skowron A., 1994, 'Rough membership functions', In: M. Fedrizzi, J. Kacprzyk and R. R. Yager (eds.): Advances in the Dempster-Shafer Theory of Evidence, New York, John Wiley and Sons, 251-271.
Pearl, J., 1988, 'Probabilistic reasoning in intelligent systems', Networks of Plausible Beliefs, Morgan Kaufmann.
Polkowski, L., Skowron A., 1994, 'Rough mereology', Proc. of the International Symp. on Methodologies for Intelligent Systems, Charlotte, NC, October 16–19, 1994, Lecture Notes in Artificial Intelligence 869, Springer-Verlag, Berlin, 85-94.
Polkowski, L., Skowron A., 1994, 'Logic of rough inclusion. Rough mereological functions. Rough functions', ICS Research Report 12/94, Institute of Computer Sci., Warsaw University of Technology.
Polkowski, L., Skowron A., 1994, 'Introducing rough mereological controllers. Rough quality control', Conference Proceedings RSSC'94: The Third International Workshop on Rough Sets and Soft Computing, San Jose State University, CA, November 10–12, 78-85.
Polkowski, L., Skowron A., 1994, 'Adaptive decision-making by systems of cooperating intelligent agents organized on rough mereological principles', ICS Research Report 71/94, Warsaw University of Technology.
Serra, J., 1992, Image Analysis and Mathematical Morphology, Academic Press, New York.
Shafer, G., 1976, Mathematical Theory of Evidence, Princeton University Press.
Shafer, G., 1981, 'Constructive probability', Synthese 48, 1-60.
Shafer, G., Pearl J., 1990, Readings in Uncertainty Reasoning, Morgan Kaufmann, San Mateo.
Skowron, A., and Rauszer C., 1992, 'The Discernibility Matrices and Functions in Information Systems', In: R. Slowiński (ed.): Intelligent Decision Support. Handbook of Applications and Advances of the Rough Sets Theory, Kluwer, Dordrecht, 331-362.
Skowron, A., 1993, 'Boolean reasoning for decision rules generation', Proceedings of the 7-th International Symposium ISMIS'93, Trondheim, Norway 1993, In: J. Komorowski and Z. Ras (eds.): Lecture Notes in Artificial Intelligence 689, Springer-Verlag, 295-305.
Skowron, A., 1993, 'A synthesis of decision rules: Applications of discernibility matrices', Proc. of the Conf. Intelligent Information Systems, Augustów, June 7–11, 30-46.
Skowron, A., GrzymalŁa-Busse J., 1994, 'From rough set theory to evidence theory', In: Advances in the Dempster-Shafer Theory of Evidence, R. R. Yager, M. Fedrizzi, J. Kacprzyk (eds.), John Wiley & Sons, New York, 193-236.
Skowron, A., Polkowski L., 'Adaptive decision algorithms', Proc. of the Int. Conf. on Intelligent Systems, Augustów 1994 (in print.)
Skowron, A., Polkowski L., 1994, 'Analytical Morphology: Mathematical Morphology of Decision Tables', ICS Research Report 22/94, Warsaw University of Technology.
Sriram, D., Logcher R., Fukuda S., 1991, Computer — Aided Cooperative Product Development, LNCS 492, Springer-Verlag, Berlin Heidelberg.
SŁowiŃski, R., 1992, (ed.), Intelligent Decision Support. Handbook of Applications and Advances of the Rough Sets Theory, Dordrecht: Kluwer.
Surma, S. J., Srzednicki J. T., Barnett D. I., Rickey V. F., 1992, (eds.): Stanislaw Leśniewski, Collected Works, Kluwer-Polisch Scientific Publishers, Dordrecht-Warsaw.
Tarski, A., 1935, 'Zur Grundlegung der Booleschen Algebra. I', Fundamenta Mathematicae, 24, 177-198, eng. transl. in [Wo; 320–341].
Tarski, A., 1937, 'Appendix E', in: Woodger, J. H., The Axiomatic Methodin Biology, Cambridge U. Press, Cambridge.
Whitehead, A. N., 1919, An Enquiry Concerning the Principles of Natural Knowledge, Cambridge U. Press, Cambridge.
Yager, R. R., Fedrizzi, M., Kacprzyk, J., 1994, Advances in the Dempster-Shafer Theory of Evidence, Wiley.
Zadeh, L. A., 1965, Fuzzy sets, Information and Control 8, 338-353.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Komorowski, J., Polkowski, L.T. & Skowron, A. Towards a Rough Mereology-Based Logic for Approximate Solution Synthesis. Part 1. Studia Logica 58, 143–184 (1997). https://doi.org/10.1023/A:1004900200790
Issue Date:
DOI: https://doi.org/10.1023/A:1004900200790