Abstract
We discuss two applications of logic to the problem of object classification. The first is related to an application of multi-modal logics to the automatic feature extraction. The second is concerned with inductive reasoning for discovering an optimal feature set with respect to the precision of classification and for improving the performance of decision algorithms. We also present an exemplary system for recognizing handwritten digits based on Boolean reasoning, rough set methods and feature discovery by applying multi-modal logic.
This work was partially supported by the grant T11C01011 from State Committee for Scientific Research (Komitet Badan Naukowych).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Almuallim H., Dietterich T.G., Efficient algorithms for identifying relevant features, Proc. of the Ninth Canadian Conference on Artifitial Intelligence, University of British Columbia 1992, Vancouver, British Columbia, 38–45.
Bazan J., Skowron A., Synak P., Dynamic Reducts as a tool for extracting laws from decision tables, In: Proc. of the International Symposium on Methodologies for Intelligent Systems, October 16–19, 1994, Charlotte, NC, Lecture Notes in Artificial Intelligence No. 869, (eds.) M. Zemankova, Z. Ras, Springer-Verlag, Berlin, 1994, 346–355.
Bazan J., Skowron A., Synak P., Discovery of decision rules from experimental data, Proceedings of the Third International Workshop on Rough Sets and Soft Computing (RSSC’94), November 1012, 1994, San Jose State University 1994, 526–533.
Bhatnager R.K., Kanal, L.N.: Handling uncertain information: A review of numeric and non-numeric methods. In: Uncertainty in Artificial Intelligence, (eds.) L.N. Kanal. and J.F. Lemmer, North - Holland, Amsterdam 1986.
Brachman R.J., Levesque H.J.: Readings in Knowledge Representation, Morgan Kaufinann 1985.
Brown F.M. Boolean Reasoning, Kluwer, Dordrecht 1990.
Downton, A, C., Tregidgo, R.,W., S., Leedham, C., G., Hendrawan, Recorgnition of handwritten British postal addresses. From Pixels to Features III. Frontiers in Handwriting Recorgnition, (eds.) S. Impedovo and J.0.Simon, North-Holland 1992, 129–144.
De Raedt L., Interactive Theory Revision. An Inductive Logic Programming Approach, Academic Press, 1992.
Dubois D., Prade H.: Fuzzy Sets and Systems: Theory and Applications, Academic Press, 1980.
Fawcett T.E., Utgoff P.E.: Automatic feature generation for problem solving systems, In: Proc. Of Ninth International Workshop on Machine Learning (ML92) (ed.) D. Sleeman, Morgan Kaufmann, San Mateo, 1992, 144–153.
Grzymala-Busse J.W.: LERS- A System for learning from examples based on rough sets, In: Intelligent Decision Support. Handbook of Applications and Advances of the Rough Sets Theory (ed.) R. Slowinski, Kluwer, Dordrecht 1992, 3–18.
Grzymala-Busse D.M., Grzymala-Busse J.W.: Comparison of machine learning and knowledge acquisition methods of rule induction based on rough sets, Proc. of the International Workshop on Rough Sets and Knowledge Discovery RSKD’93, Banff, Canada, October 12–15, 1993, 297–306.
Hughes G.E., Cresswell M.J.: A Companion to Modal Logic, Methuen London and New York 1984.
Impedovo S., Occhinegro S., Ottaviano L., A new method for automatic reading of typed/handwritten numerals. In: From Pixels to Features III. Frontiers in Handwriting Recognition, (eds.) S. Impedovo and J.C.Simon, North-Holland 1992, 163–169.
Kripke S.: A completeness proof in modal logic, J. Symbolic Logic 24, 1–14–1959.
Kripke S.: Semantical analysis of modal logic I: normal propositional calculi, Zeitschrift für Mathematische Logic und Grundlagen der Mathematik 9, 67–96, 1963.
Kittler J.: Feature selection and extraction, In: Handbook of pattern recognition and image processing, (eds.)Young and Fu, Academic Press, New York 1986
Kodratoff Y., Michalski R.: Machine learning: An Artificial Intelligence approach, vol. 3, Morgan Kaufieann, San Mateo, 1990.
Kane R., Tchoumachenko I., Milgram M.: Extraction of knowledge from data using constrained neural networks, Proc. ECML’93, Lecture Notes in Artificial Intelligence vol. 667, Springer Verlag, Berlin, 1993.
McMillan C., Mozer M.C., Smolensky P.: The connectionist science game: Rule extraction and refinement in neural network, Proc. of the 13-th Annual Conference on the Cognitive Science Society, Hilsdale, NJ (also as CU-CS-530–91, University of Colorado) 1991.
Michalski R., Carbonell J, Mitchell T.: Machine learning: An Artificial Intelligence approach, vol. 1, Tioga, Palo Alto, 1983
Michalski R., Carbonell J, Mitchell T.: Machine learning: An Artificial Intelligence approach, vol. 2, Morgan Kaufmann, Los Altos, 1986
Michalski R.,Tecuci G.: Machine learning: A Multistrategy approach, vol. 4, Morgan Kaufmann, San Mateo, 1994
Muggelton S. (ed.): Inductive logic programming, Academic Press 1992
Pattern Recognition Vol.26 Number 3. Handwriting Processing and Recognition, Pergamon Press, March 1993
Pawlak Z.: Rough sets, International Journal of Information and Computer Science 11 (1982) 344–356.
Pawlak Z.: Rough sets: Theoretical aspects of reasoning about data, Kluwer, Dordrecht 1991.
Pawlak Z., Skowron A.: A rough set approach for decision rules generation. ICS Research Report 23/93, Warsaw University of Technology, also In: Proc. of the IJCAI’93 Workshop W12: The management of Uncertaining in AI, France 1993.
Shavlik J.W., Dietterich T.: Readings in Machine Learning, Morgan Kaufmann, San Mateo, 1990.
Shafer G.: Mathematical Theory of Evidence, Princeton University Press 1976.
Shafer G., Pearl J., Readings in Uncertain Reasoning, Morgan Kaufmann, San Mateo, California,1990.
Shrager J, Langley P, Computational methods of scientific discovery and theory formation, Morgan Kaufman, San Mateo, 1990.
Skowron A., Grzymala-Busse J.W.: From rough set theory to evidence theory. In: Advances in the Dempster-Shafer Theory of Evidence, (eds.) R.R.Yager, M. Fedrizzi and J. Kacprzyk, John Wiley and Sons, New York 1994, 193–236.
Skowron A.: The rough sets theory and evidence theory. Fundamenta Informaticae 13, (1990), 245–262.
Skowron A.: Boolean reasoning for decision rule generation, In: Proceedings of the 7-th International Symposium ISMIS’93, Trondheim, Norway 1993, (eds.): J. Komorowski and Z. Ras Lecture Notes in Artificial Intelligence, vol. 689, Springer-Verlag, Berlin, 1993, 295–305.
Skowron A.: A Synthesis of Decision Rules: Applications of Discemibility Matrices, Proceedings of the Conference on Intelligent Information Systems, Augustow, Poland, June 7–11, 1993.
Skowron A.: Synthesis of decision systems from experimental data, In: Proc. SCAI-95 Fifth Scandinavian Conference on Artificial Intelligence, (eds) A.Aamodt, J. Komorowski, IOS Press 1995, 220–238.
Skowron A., Polkowski L.: Synthesis od decision systems from data tables, In: Rough Sets and Data Mining: Analysis of Imprecise Data, (eds.) T.Y. Lin and N. Cecerone, Kluwer 1997, 259–300.
Skowron A., Stepaniuk J.: Towards an approximation theory of discrete problems, Fundamenta Informaticae vol. 15 (2) 1991, 187–208.
M. de Glas, D. Gabbay, Paris, July 1–5 1991, 447–460.
Skowron A., Stepaniuk J.: Intelligent Systems Based on Rough Set Approach, Foundations of Computing and Decision Sciences, vol. 18 (3–4), 1993, 343–360.
Stepaniuk J.: Decision Rules for Decision Tables, Bulletin of the Polish Academy of Sciences, Technical Sciences, Vol. 42, No. 3, 1994, 457–469.
Stirling C.: Modal and temporal logics, In: Handbook of Logic in Computer Science vol. 2, (eds.) S. Abramsky, D.M. Dabbay and T.S. Maibaum, Clarendon Press, Oxford 1992, 478–563.
Trung N.T., Son N.H.: An Approach to the Handwriting Digit Recognition Problem Based on Modal Logic, ICS Research Report 44/93, Warsaw University of Technology, 1–58.
Ziarko W., Shan N.: An incremental learning algorithm for constructing decision rules, Proc. of the International Workshop on Rough Sets and Knowledge Discovery, Banff 1993, 335–346.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bazan, J.G., Nguyen, H.S., Nguyen, T.T., Skowron, A., Stepaniuk, J. (1998). Synthesis of Decision Rules for Object Classification. In: Orłowska, E. (eds) Incomplete Information: Rough Set Analysis. Studies in Fuzziness and Soft Computing, vol 13. Physica, Heidelberg. https://doi.org/10.1007/978-3-7908-1888-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-7908-1888-8_2
Publisher Name: Physica, Heidelberg
Print ISBN: 978-3-7908-2457-5
Online ISBN: 978-3-7908-1888-8
eBook Packages: Springer Book Archive