Title
Logické základy sémantiky a reprezentace znalostí
Code
GD401/03/H047
Summary
In this project we will study logical calculi suitable for new aspects of information and knowledge together with their logical structure. It means that mainly formal logical calculi exceeding the paradigm of so-called classical logics will be concerned. The need of higher expressive power of tools for understanding and representation is obvious in spite of the fact that the capability of pure formal logic to deal with all problems adequately is being discussed. Thus, we will emphasize the systems oftenc alled as non-classical (including many-valued logics, modal logics, epistemic, deontic, and other related systems). But it is not the complete list of aspects having been discussed in philosophical logic which have to be satisfactorily described. Thatis the reason why we will also compare different approaches in logic as well as in philosophy learned so far.
Start year
2003
End year
2006
Provider
Grantová agentura ČR
Category
Obecná forma
Type
Doktorské granty (GD)
Solver
Information system of research, development and innovation (in Czech)