Logické základy sémantiky a reprezentace znalostí
Cíle projektu
V projektu půjde o studium logických kalkulů pro nové pohledy na informace a znalosti a jejich logickou strukturu. To znamená, že půjde především o formálně-logické kalkuly překračující paradigma tzv klasických logik. Potřeba vyšší vyjadřovací síly pro porozumění a reprezentaci je zřejmá, i když je stále diskutabilní nakolik formální logika sama disponuje adekvátními prostředky. Zde tedy bude důraz kladen na systémy často označované jako neklasické (včetně logik vícehodnotových, modálních, epistemických, deontických a dalších), což ale nevystihuje plně celé spektrum aspektů, které se moderní filozofická logika snaží postihnout. Budou proto též porovnávány jednotlivé dosud v logice a filosofii zkoumané, někdy velmi rozmanité, přístupy k analýze a reprezentaci znalostí, a jejich filozofické zázemí a kořeny. Dále budou kriticky zkoumány logické základy usuzování v přirozeném kontextu i v umělém kontextu (umělé inteligenci) a při tvorbě inteligentních systémů včetně porozumění běžnému
Klíčová slova
Veřejná podpora
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
Alternativní jazyk
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
Vědní obory
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
(dle převodníku)10101 - Pure mathematics
60301 - Philosophy, History and Philosophy of science and technology
60302 - Ethics (except ethics related to specific subfields)
60303 - Theology
60304 - Religious studies
Hodnocení dokončeného projektu
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
Termíny řešení
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
Dodání dat do CEP
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
Finance
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č
Základní informace
Uznané náklady
8 523 tis. Kč
Statní podpora
8 523 tis. Kč
100%
Poskytovatel
Grantová agentura České republiky
CEP
AA - Filosofie a náboženství
Doba řešení
01. 01. 2003 - 31. 12. 2007