Institute of Information Theory and Automation

You are here

Carles Noguera, Ph.D.

Position: 
Research fellow
Mail: 
Room: 
Phone: 
266052563
Research interests: 
reasoning with graded notions, mathematical fuzzy logic, (abstract) algebraic logic, logics for artificial intelligence
Publications ÚTIA: 
list

Short bio:
Carles Noguera was born in 1978. He obtained degrees in Mathematics (2001) and Philosophy (2007) in the University of Barcelona. As a doctoral student of the Artificial Intelligence Research Institute, under the supervision of Francesc Esteva and Joan Gispert, he obtained a Ph.D. in Logic (2006), again in the University of Barcelona. Later he was a lecturer at the University of Lleida (2006-2007), a postdoc at the University of Siena (2007-2009), and a contracted researcher at the Artificial Intelligence Research Institute (2009-2012). Since 2013 he is a researcher (since 2018 a senior research fellow) at the Institute of Information Theory and Automation, in Prague.

Research:
Noguera's research is in the field of Logic, understood as the science of correct reasoning. In particular, he aims at understanding reasoning with graded properties, which are ubiquitious in rational action and discourse. Graded properties encompass vagueness and other phenomena. The theoretical side of such investigation pertains mainly to Mathematical Logic, with connections to Philosophy, Linguistics, and Cognitive Science. Moreover, it has a potential for applications to Computer Science and Artificial Intelligence (see the position paper attached below).

He has a publication record in the study of systems of non-classical logic (propositional, modal and first-order formalisms) for the mentioned purposes. In particular, he has done many contributions to the area of mathematical fuzzy logic (algebraic semantics, completeness theorems, expansions of the language, arithmetical complexity, substructural semilinear logics, model theory, paraconsistent aspects, and two-layered modal systems for uncertainty) and has helped systematizing the area as an editor of a handbook series. Moreover, together with Petr Cintula, he has proposed a general approach to logics with implication, in the style of abstract algebraic logic (see the book attached below and the papers referred therein).

Many papers have been written in cooperation with some of the leading experts in the field. See a complete list of publications in the CV file attached below.

This research is (and has been) conducted in the context of several funded research projects, where Noguera is the principal (or co-principal) investigator. These projects may include positions for postdoctoral researchers. Young researchers with a background in Logic (and an education in Mathematics, Philosophy, Computer Science, Linguistics, or Psychology) are encouraged to contact him. Current postdocs: Tomáš Lávička and Berta Grimau.

Teaching and supervising:
Noguera has lectured in universities of four countries full undergraduated and graduated courses on Computational Logic, Artificial Intelligence, Mathematical Fuzzy Logic, and Algebraic Logic. Currently, he teaches at the Faculty of Philosophy of Charles University and at the Faculty of Nuclear Sciences and Physical Engineering of the Czech Technical University in Prague. He is also active as a supervisor of master and PhD theses. Interested students are invited to contact him.

Other activities:
Noguera has continued to serve the scientific community through several activities, such as serving as an editor of the Journal of Multiple-Valued Logic and Soft Computing, refereeing papers for many journals (over 110 different papers so far), as coordinator of the working groups ManyVal and MathFuzzLog, as member of the steering committee of LATD, as member of the programme committee of 30 international conferences, and as member of the organizing committee of 11 conferences and workshops.

AttachmentSize
PDF icon Slabe-implikativni-logiky.pdf1.12 MB
PDF icon GradedLORI.pdf258.02 KB
PDF icon CV-Noguera.pdf160.37 KB
2018-10-05 10:33

Person detail

Duration: 2018 - 2020
Graded properties are ubiquitous in human discourse and reasoning. They are characterized by the fact that they may apply with different intensity to different objects. Typical examples are vague properties (e.g.
Duration: 2017 - 2019
Classical mathematical logic, built on the conceptually simple core of propositional Boolean calculus, plays a crucial role in modern computer science. A critical limit to its applicability is the underlying bivalent principle that forces all propositions to be either true or false.
Duration: 2017 - 2018
Many-valued logics are a prominent family of non-classical logics whose intended semantics uses more than the two classical truth-values, truth/false. The study of these logics is stimulated by strong mutually beneficial connections with other mathematical disciplines such as universal algebra, topology, and model, proof, game and category theory.
Duration: 2016 - 2019
Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics.
Duration: 2015 - 2017
The main aim of the project is to deepen and extend the mathematical foundations for adequate modeling of vague quantifiers as fuzzy quantifiers in the framework of MFL.
Duration: 2013 - 2016
Formal systems of (non-)classical logics are essential in many areas of computer science. Their appreciation is due to their deductive nature, universality and portability, and the power they gain from their rigorous mathematical background. Such a diverse landscape of logical systems has greatly benefited from a unified approach offered by Abstract Algebraic Logic.

Current

Graduates

Mgr. Tomáš Lávička Ph.D.
Filozofická fakulta UK
Fakulta jaderná a fyzikálně-inženýrská ČVUT
Filozofická fakulta UK