prof. RNDr. Marie Duží, CSc.

+420 596 995 861 (EA415)

EA415

17. listopadu 2172/15, 708 00 Ostrava - Poruba

http://www.cs.vsb.cz/duzi/

úterý, 14:00 - 16:00

Profesor

2016, profesor Informatiky, VŠB-Technická universita Ostrava

RNDr., CSc.

Relevant professional practice:
1971-1985    Institute of Computer Science, Ostrava, programmer – analyst; Analysis, design and implementation of the Production Control System of Moravian construction companies

1985-1990    CKD Tatra Praha, analyst and database administrator

1990-1992    Charles University of Prague, Institute of Computer Science, assistant professor, teaching logic and foundations of computer science

1992-1994   Czech Technical University of Prague, assistant professor, teaching logic and theory of databases; analysis and design of the Faculty Information System (implemented in Oracle, 1994)

1994-1996    Exact Holding B.V., s.r.o., Delft, Holland, analyst

1996-2001    Silesian University of Opava, Faculty of Philosophy and Sciences, Institute of Computer Science, assistant professor, teaching logic and theory of databases

2001-           VSB-Technical University Ostrava, Faculty of Electrical Engineering and Computer Science, Department of Computer Science
2003-           Charles University of Prague, Faculty of Philosophy, Department of Logic
2015-           Masaryk University of Brno, Faculty of Computer Science

Education and academic qualifications:
1963-1966     Secondary school in Opava
1966-1971     Masaryk University of Brno, Faculty of Natural Sciences, specialisation mathematics, graduated with the thesis on Modular lattices
1982-1985     Technical University of Brno, post-gradual studies, specialisation Data Processing and Theory of Databases. Thesis: Computer Aided Design of a Database Using HIT Data Model.

Degrees:
1982: RNDr. – Doctor of Natural Sciences (Masaryk university of Brno), specialisation: Theoretical cybernetics, mathematical informatics and theory of systems
1992: CSc. – Candidate of Philosophical Sciences (Institute of Philosophy, Czech Academy of Sciences), specialisation Logic, thesis: Logic and Data Semantics
2002: Docent – VSB-Technical University of Ostrava. Habilitation thesis: Logical Foundations of Conceptual modelling.
2016: Professor of Computer Science

2002: Docent – VSB-Technical University of Ostrava. Habilitation thesis: Logical Foundations of Conceptual modelling.

• Transparent Intensional Logic,

• natural language analysis and processing,


• procedural semantics and hyperintensionality,


• extensional logic of hyperintensions

Invited lectures and stays in numerous universities abroad, including, inter alia:

Australia: University of Western Australia, Murdoch University, Perth,
Finland: Technical University of Tampere Pori, University of Helsinki, University of Jyvaskylä;
France: Université Paris I Pantheon-Sorbonne;
Germany: University of Tuebingen, University of Leipzig; Ludwig-Maximilians-Universität München;
Israel: University of Haifa;
Japan: National Institute of Communication Technologies, Kyoto, KEIO University Tokyo;
Poland: University of John Paul II, Cracow;
Spain: University of Barcelona, LOGOS-Grup de Recerca en Lògica, Llenguatge i Cognició;
The Netherlands: University of Utrecht, University of Rotterdam, University of Amsterdam, University of Gröningen, Delft University of Technology, University of Leiden;

Awards:

2011: The Council of the Academy of Sciences of the Czech Republic has presented the authors of the book Procedural Semantics for Hyperintensional Logic with its prestigious award for outstanding results of major scientific importance.

2008: The rector of VSB-Technical University Ostrava presented Marie Duží with the award for outstanding results in the development of science and research in the university

Pedagogical practice – courses:
Mathematical Logic; Logic in Practice; Transparent Intensional Logic; Natural Language processing; Logic and Functional Programming; Principles of Logical Analysis; Intelligent Systems; Logic and Theory of Concepts; Conceptual Modelling; Theory of Formal Systems.

Languages: English, Russian, German (passive), Polish (passive)

Summary of publication results according to Web of Science: Results found: 60; Sum of the Times Cited: 132; Sum of Times Cited without self-citations: 65; Citing Articles: 75; Citing Articles without self-citations: 42; h-index: 8 The complete list of my publications can be found at my web page: http://www.cs.vsb.cz/duzi/

Garantované předměty

Závěrečné práce vedené pedagogem

https://orcid.org/0000-0002-5393-6916

Publikace z evidence VŠB-TUO

Řešené projekty

Řešené projekty - spoluřešitel

Duží, M. (2015): Logika v praxi; work in progress.

Duží M. (2012): Logika pro informatiky a příbuzné obory. VŠB-Technická universita Ostrava. ISBN 978-80-248-2662-2

Duží M. (2002): Matematická logika. Ostrava: VŠB-Technical University. 131 p., available at http://www.cs.vsb.cz/duzi/Matlogika.pdf

Duží M. and Materna P. (2000): Constructions, available at  http://til.phil.muni.cz/text/constructions_duzi_materna.pdf  

Duží M. (2000): Konceptuální modelování (datový model HIT). Opava: Silesian University, 2000, ISBN 80-7248-062-6. 98 pp.

Duží M., Krejčí F., Materna P., Staníček Z. (1986): HIT Method of the Database Design. VUT Brno.

Monographs

Duží M., Jespersen B. and Materna P. (2010): Procedural Semantics for Hyperintensional Logic. Foundations and Applications of Trasnsparent Intensional Logic. First edition. Berlin: Springer, series Logic, Epistemology, and the Unity of Science, vol. 17, ISBN 978-90-481-8811-6.

Duží M., Materna P. (2012): TIL jako procedurální logika (průvodce zvídavého čtenáře Transparentní intensionální logikou). Aleph Bratislava 2012, ISBN 978-80-89491-08-7

Papers in journals: 

• Duží, M. (2023): ‘Knowing-that” vs ‘Knowing-wh’. To appear in In Frontiers in Artificial Intelligence and Applications, vol. xxx: Information Modelling and Knowledge Bases XXXII, Y. Kiyoki, B. Thalheim, H. Jaakkola, N. Yoshida (eds.), pp. xxx, Amsterdam: IOS Press. 2.     


• Duží, M. (2023): Specification of Agents’ Activities in Past, Present and Future. To appear in Organon F, the special issue on “Times, Events and Logical Specification”.


• Jespersen, B., Duží, M. (2022): Transparent quantification into hyperpropositional attitudes de dicto. First online in Linguistic and Philosophy, 45, 1119–1164. https://doi.org/10.1007/s10988-021-09344-9(123456789().,-volV)(0123456789().,-volV) 4.     


• Číhalová, M., Duží, M. (2022): Modelling dynamic behaviour of agents in a multi-agent system; logical analysis of Wh-questions and answers. First online in Logic Journal of the IGPL, doi 10.1093/jigpal/jzab034 5.     


• Duží M., Jespersen B., Glavaničová D. (2021) Impossible Individuals as Necessarily Empty Individual Concepts. In: Giordani A., Malinowski J. (eds) Logic in High Definition. Trends in Logic (Studia Logica Library), vol 56, pp. 177-202. Springer, Cham. https://doi.org/10.1007/978-3-030-53487-5_9 6.     


• Duží, M., Menšík, M. (2020): Inferring knowledge from textual data by natural deduction. Computación y Sistemas, vol. 24, Issue 1, pp. 29-48. 7.     


• Duží, M., Horák, A. (2020): Hyperintensional Reasoning Based on Natural Language Knowledge Base. International Journal of Uncertainty, Fuzziness & Knowledge-Based Systems (IJUFKS), Vol. 28, No. 3 (2020), pp. 443–468. DOI: 10.1142/S021848852050018X. 8.     




• Duží, M. (2019): If structured propositions are logical procedures then how are procedures individuated? Synthese special issue on the Unity of propositions, vol. 196, No. 4, pp. 1249-1283. DOI: 10.1007/s11229-017-1595-5 


• Duží, M. (2018): Negation and presupposition, truth and falsity. Studies in Logic, Grammar and Rhetoric, vol. 54, No. 67, pp. 15-46, de Gruyter. DOI 10.2478/slgr-2018-0014.


• Duží, M., Macek, J. (2018): Analysis of time references in natural language by means of Transparent Intensional Logic. Organon F, 25, No 1, pp. 21-40.


• Duží, M. (2017): Property modifiers and intensional essentialism. Computación y Sistemas, 21, No. 4, 2017, pp. 601–613. DOI: 10.13053/CyS-21-4-2811.


• Duží, M. (2017): If structured propositions are logical procedures then how are procedures individuated? Synthese special issue on the Unity of propositions. DOI: 10.1007/s11229-017-1595-5


• Jespersen, B., Carrara, M., Duží, M. (2017): Iterated privation and positive predication. Journal of Applied Logic, Volume 25, Supplement, December 2017, Pages S48–S71. https://doi.org/10.1016/j.jal.2017.12.004


• Duží, M. (2017): Presuppositions and two kinds of negation. Logique & Analyse, vol. 239, pp. 245-263, the special issue on How to Say ‘Yes’ or ‘No’. DOI: 10.2143/LEA.239.0.3237153 


• Duží, M., Kosterec M. (2017): A valid rule of b-conversion for the logic of partial functions. Organon F, vol. 24, No 1, pp. 10-36.


• Duží, M. (2017): Mereologická struktura procedur. Organon F, vol. 24, Supplementary Issue, pp. 5-26.


• Duží, M., Materna, P. (2017): Několik poznámek k Peregrinovu hodnocení TIL. Filosofický časopis, No. 1, vol. 65, pp. 113-116.


• Duží, M. (2016): Procedurální sémantika TIL. Filosofický časopis, vol. 64, No. 6, pp. 901-929.


• Duží, M., Číhalová, M. (2015): Questions, answers and presuppositions. Computación y Sistemas, 19, No. 4, pp. 647-659.


• Jespersen, B., Duží, M. (2015): Introduction to the special issue on Hyperintensionality. Synthese, vol. 192, No. 3, pp. 525-534. DOI: 1007/s11229-015-0665-9


• Duží, M., Jespersen, B. (2015): Transparent Quantification into Hyperintensional objectual attitudes. Synthese, vol. 192, No. 3, pp. 635-677. DOI: 10.1007/s11229-014-0578-z


• Duží, M. (2015): Procedurální teorie pojmů. Studia Philosophica 62, 2, 87-114.

• Duží, M. (2014): Structural isomorphism of meaning and synonymy. Computacion y Sistemas, 18, No. 3, pp. 439–453, DOI: 10.13053/CyS-18-3-2018.


• Duží, M., Jespersen, B. (2014): In memory of Pavel Tichý. Organon F, vol. 21, 4, pp. 558-566.


• Číhalová, M., Duží, M., Menšík, M. (2014): Logical specification of processes. Frontiers in Artificial Intelligence and Applications, vol. 260: Information Modelling and Knowledge Bases XXV, IOS Press, 45-63.


• Heimbürger, A., Duží, M., Kiyoki, Y., Sasaki, S., Khanom, S. (2014): Cross-cultural communication with icons and images. Frontiers in Artificial Intelligence and Applications, vol. 260, IOS Press, pp. 306-321.


• Duží, M. (2014): Communication in a multi-cultural world. Organon F, vol. 21, No. 2, pp. 198-218.


• Duží, M., Jespersen, B. (2013): Procedural isomorphism, analytic information, and b-conversion by value, Logic Journal of the IGPL, Oxford, vol. 21, No. 2, pp. 291-308, DOI: 10.1093/jigpal/jzs044.


• Duží, M. (2013): Elipsa a anaphora. Organon F, 20, No. 3, pp. 399-412.


• Duží, M. (2013): Deduction in TIL: From simple to ramified hierarchy of types. Organon F, vol. 20, supplementary issue 2, pp. 5-36.


• Duží, M., Košinár, M., Kožusznik, J., Štolfa, S. (2013): Knowledge-base approach to software-process development based on TIL. Frontiers in Artificial Intelligence and Applications, IOS Press, vol. 251, pp. 102-109.


• Duží, M., Jespersen, B. (2012): Transparent quantification into hyperintensional contexts de re. Logique et Analyse 220, pp. 513–554.


• Duží, M. (2012): Extensional logic of hyperintensions. Lecture Notes in Computer Science, vol. 7260, pp. 268-290. DOI: 1007/978-3-642-28279-9-19


• Duží, M. (2012): Towards an extensional calculus of hyperintensions. Organon F, vol. 19, supplementary issue 1, pp. 20-45.


• Duží, M., Menšík, M., Perdek, M. (2012): Document Similarity. Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, vol. 251, pp. 241-254.


• Duží M. (2011): Anselm’s Ontological Arguments. Polish Journal of Philosophy, Volume 5, Issue 1, Spring 2011, pp. 7-37, DOI: 10.5840/pjphil2011511


• Duží M. (2010): The paradox of inference and the non-triviality of analytic information. Journal of Philosophical Logic, 2010, vol. 39, No. 5, pp. 473-510.


• Duží M. and Materna P. (2010): Can concepts be defined in terms of sets? Logic and Logical Philosophy, 2010, vol. 19, pp. 195-242.


• Duží M. (2009): Strawsonian vs. Russellian definite descriptions. Organon F, 2009, vol. XVI, No. 4, pp. 587-614.


• Ciprich N., Duží, M., Košinár M. (2009): The TIL-Script Language. Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, vol. 190, pp. 166-179.


• Ciprich N., Duží M., Frydrych T., Kohut O., Košinár M. (2009): The Architecture of an Intelligent Agent in MAS. Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, vol. 190, No. 1, pp. 261-269.


• Duží M., Materna P. (2009): Concepts and Ontologies. Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, 190, No. 1, pp. 45-64.


• Duží, M., Heimburger, A., Tokuda, T., Vojtáš, P., Yoshida, N. (2009): Multi-agent knowledge modelling. Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, vol. 190, No. 1, pp. 411-428.

Research activities and projects:

• GACR project 18-23891S (2018-2020), Hyperintensional Reasoning over Natural Language Texts (with Aleš Horák, MUNI Brno, Faculty of Computer Science)


• GACR project 15-13277S (2015-2017), Hyperintensional logic for natural-language analysis (with Aleš Horák, MUNI Brno, Faculty of Computer Science)


• ESF Project No: CZ.1.07/2.2.00/28.0216; Logika: systémový rámec oboru v ČR a koncepce logických propedeutik pro mezioborová studia (with Westbohemian University of Plzen), 2012-2015


• ESF Project No: CZ.1.07/2.2.00/28.0209; Elektronické opory a e-learning pro obory výpočtového a konstrukčního charakteru (with Westbohemian University of Plzen), 2012-2015


• ESF Project: CZ.1.07/2.2.00/07.0217; Organon – Learning Management System (LMS) for Logic Courses. Supported by European Science Foundation (ESF), 2009-2013. (with Westbohemian University of Plzen);


• GACR project No. 401/10/0792, Temporal aspects of knowledge and information, 2010-2012 (with Pavel Materna, Institute of Philosophy AVCR and Masaryk University Brno, Faculty of Computer Science).


• GACR project No. 401/09/H007, Logical Foundations of Semantics, 2009-2012. (with Charles University of Prague)


• GACR project No. 401/07/0451, Semantisation of Pragmatics, 2007-2009, with Pavel Materna, Institute of Philosophy, AV CR.


• Project No. 1ET101940420: "Logic and Artificial Intelligence for multi-agent systems"; supported by the program "Information Society" of the Czech Academy of Sciences. 2004-2008.


• GACR project No. 401/04/2073, Transparent intensional logic (a systematic exposition): 2004-2006, co-researcher with Pavel Materna, Institute of Philosophy, AV CR, Prague);


• GACR project No. 401/03/H047, Logical Foundations of Semantics and Knowledge representation, 2003-2007; with Charles University Prague, Department of Logic;


• International Research on the Logical explication of perspectives (Points of View). Jean Nicod Institute Paris; 2003-2004


• GACR project No. 401/03/1403, Principles of Logical Analysis of Language and Intensional Logic, 2003-2004


• GACR project No. 401/99/0001, The role of constructions in Transparent Intensional Logic, 1999-2001 –– evaluated as excellent;


• Conceptual Modelling. grant 166/1998, Research Support Scheme of the Open Society Support Foundation: „Conceptual Representation in the Information Society“ (1998-2000);