Logické základy sémantiky a reprezentace znalostí

Poskytovatel

Grantová agentura České republiky

Program

Doktorské granty

Veřejná soutěž

Doktorské granty 1 (SGA02003GA-DG)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

401/03/H047

Název projektu anglicky

Logical foundations of semantics and knowledge representation

Anotace anglicky

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 oftencalled 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. That is the reason why we will also compare different approaches in logic as well as in philosophy learned so far. Critical investigations of logical foundations of reasoning in both natural and artificial contexts and in building intelligent systems

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

AA - Filosofie a náboženství

CEP - vedlejší obor

BA - Obecná matematika

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10101 - Pure mathematics<br>60301 - Philosophy, History and Philosophy of science and technology<br>60302 - Ethics (except ethics related to specific subfields)<br>60303 - Theology<br>60304 - Religious studies

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

V rámci projektu se podařilo vytvořit pevný a produktivní tým doktorandů, jejichž doktorské práce se týkají různých aspektů sémantiky, chápané jako interdisciplinární obor na pomezí filosofie, logiky, lingvistiky a informatiky. V průběhu řešení studenti

Zahájení řešení

1. 1. 2003

Ukončení řešení

31. 12. 2007

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

2. 5. 2007

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP08-GA0-GD-U/01:1

Datum dodání záznamu

24. 7. 2008

Celkové uznané náklady

8 523 tis. Kč

Výše podpory ze státního rozpočtu

8 523 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč