Curriculum Vitae. Jméno disertace: Algebraic Properties of Fuzzy Logics Školitel: prof. Ing. Mirko Navara, DrSc.

Transkript

1 Curriculum Vitae Ing. Rostislav Horčík, Ph.D. 1. Jméno a příjmení, tituly, vědecká hodnost Ing. Rostislav Horčík, Ph.D. 2. Pracoviště AV ČR Ústav informatiky 3. Funkce na pracovišti, celkové zaměření vědecké činnosti Mladší vědecký pracovník, matematické základy fuzzy logiky 4. Vzdělání , PhD, Matematické inženýrství, FEL, ČVUT, Jméno disertace: Algebraic Properties of Fuzzy Logics Školitel: prof. Ing. Mirko Navara, DrSc , Ing, Technická kybernetika, FEL, ČVUT, Jméno diplomové práce: Invariants for Image Matching Školitel: Ing. Tomáš Pajdla, Ph.D. 5. Přehled dosavadních zaměstnání 2005-nyní 2004-nyní Ústav informatiky, AV ČR Katedra matematiky, FEL, ČVUT (VPP) 6. Absolvované stáže a studijní pobyty (tuzemské i zahraniční) 2000 září prosinec University of Patras, Patras, Řecko 2002 leden únor Johannes Kepler University, Linz, Rakousko září leden Johannes Kepler University, Linz, Rakousko 2004 listopad University of Siena, Siena, Itálie 2005 září Artificial Intelligence Research Institute, Bellaterra, Španělsko 2005 listopad University of Technology, Vídeň, Rakousko 1

2 7. Řešené tuzemské granty Řešitel: CTU Matematické vlastnosti fuzzy logik, 2002, interní grant ČVUT CTU Vícehodnotové logiky a jejich vlastnosti, 2003, interní grant ČVUT Člen řešitelského týmu: A Mathematical Foundation of Inference and Decision under Uncertainty (GAAV ČR) Řešitel: prof. RNDr. Petr Hájek, DrSc. Trvání: B Formal Theories of Mathematical Structures with Vagueness (GAAV ČR) Řešitel: Ing. Petr Cintula, Ph.D. Trvání: ET Methods for Intelligent Systems and Their Applications in Datamining and Natural Language Processing, Program Informační společnost Řešitel: doc. RNDr. Jiří Šíma, CSc. Trvání: /03/H047 Logical Foundation of semantics and knowledge representation (GA ČR) Řešitel: doc. PhDr. Petr Jirků, CSc. Trvání: /02/1540 Many-valued Logics for Soft Computing (GA ČR) Řešitel: prof. Ing. Mirko Navara, DrSc. Trvání: Účast na mezinárodních projektech Člen řešitelského týmu: Theoretical investigations of fuzzy logic systems in the framework of substructural logics projekt v rámci spoluprace AV ČR a CSIC Španělsko, (za českou stranu: prof. RNDr. Petr Hájek, DrSc.) Automated Model Building for Fuzzy Logic projekt v rámci programu vědeckotechnické spolupráce KONTAKT mezi ČR a Rakouskem, (za českou stranu: prof. RNDr. Petr Hájek, DrSc.) 2

3 9. Účast na tuzemských sympoziích a konferencích s mezinárodní účastí On the Failure of Strong Standard Completeness in ΠMTL, Logic of Soft Computing IV, Ostrava, (3 pages) 10. Účast na zahraničních sympoziích a konferencích Note on Constrained Fuzzy Arithmetic, Fuzzy Set Theory and its Applications, Liptovský Ján, Slovensko (abstract) Stronger version of standard completeness theorem for MTL, Conference of the European Society for Fuzzy Logic and Technology, Barcelona, Španělsko, (6 pages) Archimedean Completeness and Subvarieties of ΠMTL-Algebras (s P. Cintulou a F. Montagnou), Algebraic and Topological Methods in Non-Classical Logics, Barcelona, Španělsko (2 pages) Strong Standard Completness of ΠMTL, Logic Colloquium, Turín, Itálie (abstract) Structure of Commutative Cancellative Residuated l-monoids in [0,1], Residuated Lattices and Many-Valued Logic, Patras, Řecko (2 pages) Standard Completeness for ΠMTL Logic. The Logic of Soft Computing III, Siena, Itálie (abstract) A Note on the Structure of ΠMTL-Chains and Left-Continuous Cancellative Norms, Conference of the European Society for Fuzzy Logic and Technology, Zittau, Německo, (5 pages) Extension of Lukasiewicz Logic by Product Connective (s P. Cintulou), World Congress of International Fuzzy Set Association, Istanbul, Turecko (9 pages) Product Lukasiewicz Logic (s P. Cintulou), Logic of Soft Computing II, Capri, Itálie (abstract) Validation Sets in R -fuzzy logics and RS-Fuzzy logics, Euro-International Symposium on Computational Intelligence, Košice, Slovensko, (2 pages) Consistency Degrees in Fuzzy Logic, Information Processing and Management Uncertainty in Knowledge-based Systems, Annecy, Francie (5 pages) Validation sets in fuzzy logics, Uncertainty Modelling, Bratislava, Slovensko, (9 pages) 3

4 11. Pedagogická a popularizační činnost Výuka: 2001-nyní, Úvod do algebry, FEL, ČVUT (cvičení) 2001, Zpracování signálů a obrazů, FEL, ČVUT (cvičení) 2002, Rozpoznávání, FEL, ČVUT (cvičení) 2003, Matematika 4 (komplexní analýza, teorie pravděpodobnosti), FEL, ČVUT (cvičení) 2004, Matematika 2 (diferenciální rovnice), FEL, ČVUT (cvičení) 12. Ocenění vědeckou komunitou 7 citací (z toho 4 registrovány v Science Citation Index) Recenzent pro: Fuzzy Sets and Systems, Zentralblatt, International Journal of General Systems, Information Sciences 4

5 Publikace V mezinárodních časopisech Zaslané: R. Horčík: Decidability of Cancellative Extension of Monoidal T-norm Logic. Logic Journal of the IGPL. R. Horčík: On the Failure of Standard Completeness in ΠMTL for Infinite Theories. Fuzzy Sets and Systems. R. Horčík: Structure of Commutative Cancellative Residuated Lattices in (0, 1]. Algebra Universalis. V tisku: R. Horčík: Alternative Proof of Standard Completeness Theorem for MTL. Soft Computing. (published online F. Montagna, C. Noguera, R. Horčík: On Weakly Cancellative Fuzzy Logics. Journal of Logic and Computation. Vyšlé: R. Horčík: Standard Completeness Theorem for ΠMTL. Archive for Mathematical Logic, 44(4): , May R. Horčík, P. Cintula. Product Lukasiewicz logic. Archive for Mathematical Logic, 43(4): , R. Horčík: Residuated Fuzzy Logics with Additional Connectives and Their Validation Sets. Fuzzy Sets and Systems, 143(1):75 87, April R. Horčík, M. Navara: Validation Sets in Fuzzy Logics. Kybernetika, 38(3): , June Ostatní významné publikace R. Horčík: On the Failure of Strong Standard Completness in ΠMTL. In V. Novák, M. Štěpnička, editors, Proceedings of the 4th Conference The Logic of Soft Computing, pages 19 21, Ostrava, Czech Republic, October R. Horčík: Stronger Version of Standard Completness Theorem for MTL. In E. Montseny, P. Sobrevilla, editors, EUSFLAT 2005: Proceedings of the 4th Conference of the European Society for Fuzzy Logic and Technology, pages , Barcelona, Spain, September

6 R. Horčík, P. Cintula: Extension of Lukasiewicz Logic by Product Connective. In Taner Bilgiç, Bernard De Baets, and Okyay Kaynak, editors, Fuzzy Sets and Systems IFSA 2003: Proceedings of the 10th International Fuzzy Systems Association World Congress, volume 2715 of Lecture Notes in Artificial Intelligence, pages , Heidelberg, Germany, June Springer. R. Horčík: A Note on the Structure of ΠMTL-chains and Left-continuous Cancellative T-norms. In Reiner Hampel Michael Wagenknecht, editor, EUSFLAT 2003: Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, pages , Zittau, Germany, September R. Horčík: Validation Sets in R -fuzzy Logics and RS-fuzzy Logics. In Peter Sinčák, editor, Intelligent Technologies - Theory and Applications, volume 76 of Frontiers in Artificial Intelligence and Applications, pages , Amsterdam, The Netherlands, June IOS Press. R. Horčík, M. Navara: Consistency Degrees in Fuzzy Logics. In ESIA Université de Savoie, editor, Proceedings Ninth International Conference Information Processing and Management of Uncertainty in Knowledge-Based Systems, pages , Annecy, France, July ESIA - Université de Savoie. R. Horčík, M. Navara: Validation Sets in Fuzzy Logics. In M. Komorníková and R. Mesiar, editors, Proceedings of the International Conference Uncertainty Modelling 2001, pages 82 90, Bratislava, Slovakia, September Slovak Technical University. Citace Product Lukasiewicz logic. T. Vetterlein: Partial algebras for Lukasiewicz logics and its extensions, Archive for Mathematical Logic, 44: , S. Gottwald: Mathematical fuzzy logic as a tool for the treatment of vague information, Information Sciences, 172:41 71, M. Holeňa: Extraction of fuzzy logic rules from data by means of artificial neural networks, Kybernetika 41: , P. Cintula: A Note to the Definition of the LPi-Algebras, Soft Computing 9: , S. Gottwald S, P. Hájek: Triangular norm-based mathematical fuzzy logics, Local, Algebraic, Analytic and Probabilistic Aspects of Triangular Norms, , 2005, Elsevier. 6

7 Standard Completeness Theorem for ΠMTL. C. Noguera, F. Esteva, J. Gispert: On some varieties of MTL-algebras, Logic Journal IGPL, 13: , Structure of Commutative Cancellative Residuated Lattices in (0, 1]. C. Noguera, F. Esteva, J. Gispert: On some varieties of MTL-algebras, Logic Journal IGPL, 13: ,