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í 2001-2005, PhD, Matematické inženýrství, FEL, ČVUT, Jméno disertace: Algebraic Properties of Fuzzy Logics Školitel: prof. Ing. Mirko Navara, DrSc. 1995-2001, 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 2002 3 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
7. Řešené tuzemské granty Řešitel: CTU0208613 Matematické vlastnosti fuzzy logik, 2002, interní grant ČVUT CTU0306213 Vícehodnotové logiky a jejich vlastnosti, 2003, interní grant ČVUT Člen řešitelského týmu: A100300503 Mathematical Foundation of Inference and Decision under Uncertainty (GAAV ČR) Řešitel: prof. RNDr. Petr Hájek, DrSc. Trvání: 1.1.2005 31.12.2009 B100300502 Formal Theories of Mathematical Structures with Vagueness (GAAV ČR) Řešitel: Ing. Petr Cintula, Ph.D. Trvání: 1.1.2005 31.12.2007 1ET100300517 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í: 1.1.2005 31.12.2009 401/03/H047 Logical Foundation of semantics and knowledge representation (GA ČR) Řešitel: doc. PhDr. Petr Jirků, CSc. Trvání: 1.1.2003 31.12.2006 201/02/1540 Many-valued Logics for Soft Computing (GA ČR) Řešitel: prof. Ing. Mirko Navara, DrSc. Trvání: 1.1.2002 31.12.2004 8. Úč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, 2005 2006 (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, 2005 2006 (za českou stranu: prof. RNDr. Petr Hájek, DrSc.) 2
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, 2005. (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 2006. (abstract) Stronger version of standard completeness theorem for MTL, Conference of the European Society for Fuzzy Logic and Technology, Barcelona, Španělsko, 2005. (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 2005. (2 pages) Strong Standard Completness of ΠMTL, Logic Colloquium, Turín, Itálie 2004. (abstract) Structure of Commutative Cancellative Residuated l-monoids in [0,1], Residuated Lattices and Many-Valued Logic, Patras, Řecko 2004. (2 pages) Standard Completeness for ΠMTL Logic. The Logic of Soft Computing III, Siena, Itálie 2003. (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, 2003. (5 pages) Extension of Lukasiewicz Logic by Product Connective (s P. Cintulou), World Congress of International Fuzzy Set Association, Istanbul, Turecko 2003. (9 pages) Product Lukasiewicz Logic (s P. Cintulou), Logic of Soft Computing II, Capri, Itálie 2002. (abstract) Validation Sets in R -fuzzy logics and RS-Fuzzy logics, Euro-International Symposium on Computational Intelligence, Košice, Slovensko, 2002. (2 pages) Consistency Degrees in Fuzzy Logic, Information Processing and Management Uncertainty in Knowledge-based Systems, Annecy, Francie 2002. (5 pages) Validation sets in fuzzy logics, Uncertainty Modelling, Bratislava, Slovensko, 2001. (9 pages) 3
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
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 http://dx.doi.org/10.1007/s00500-006-0058-6) 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):413 424, May 2005. R. Horčík, P. Cintula. Product Lukasiewicz logic. Archive for Mathematical Logic, 43(4):477 503, 2004. R. Horčík: Residuated Fuzzy Logics with Additional Connectives and Their Validation Sets. Fuzzy Sets and Systems, 143(1):75 87, April 2004. R. Horčík, M. Navara: Validation Sets in Fuzzy Logics. Kybernetika, 38(3):319 326, June 2002. 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 2005. 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 878 883, Barcelona, Spain, September 2005. 5
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 180 188, Heidelberg, Germany, June 2003. 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 614 618, Zittau, Germany, September 2003. 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 137 138, Amsterdam, The Netherlands, June 2002. 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 399 403, Annecy, France, July 2002. 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 2001. Slovak Technical University. Citace Product Lukasiewicz logic. T. Vetterlein: Partial algebras for Lukasiewicz logics and its extensions, Archive for Mathematical Logic, 44:913 933, 2005. S. Gottwald: Mathematical fuzzy logic as a tool for the treatment of vague information, Information Sciences, 172:41 71, 2005. M. Holeňa: Extraction of fuzzy logic rules from data by means of artificial neural networks, Kybernetika 41:297 314, 2005. P. Cintula: A Note to the Definition of the LPi-Algebras, Soft Computing 9:575 578, 2005. S. Gottwald S, P. Hájek: Triangular norm-based mathematical fuzzy logics, Local, Algebraic, Analytic and Probabilistic Aspects of Triangular Norms, 275 299, 2005, Elsevier. 6
Standard Completeness Theorem for ΠMTL. C. Noguera, F. Esteva, J. Gispert: On some varieties of MTL-algebras, Logic Journal IGPL, 13:443 466, 2005. 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:443 466, 2005. 7