| Identifikační kód |
GD401/03/H047 |
| Důvěrnost údajů |
S - Není předmětem státního či obchodního tajemství a data lze v souladu s právními předpisy poskytnout do veřejně přístupných
informačních systémů včetně mezinárodních |
| Název projektu v původním jazyce |
Logické základy sémantiky a reprezentace znalostí |
| Název projektu anglicky |
Logical foundations of semantics and knowledge representation |
| Poskytovatel |
GA0 - Grantová agentura České republiky (GA ČR) |
| Program |
GD - Doktorské granty (2003 - 2050) |
| Kategorie VaV |
ZV - Základní výzkum |
| Hlavní obor - skupina |
A - Společenské vědy |
| Hlavní obor |
AA - Filosofie a náboženství |
| Vedlejší obor |
BA - Obecná matematika |
| Další vedlejší obor |
- |
| Zahájení řešení |
01.01.2003 |
| Ukončení řešení |
31.12.2007 |
| Datum posledního uvolnění účelové podpory |
02.05.2007 |
| Číslo smlouvy |
401/03/H047 |
| Poslední stav řešení |
U - Ukončený (rok ukončení projektu < rok sběru dat, v roce sběru dat již není financován ze SR) |
| Finance projektu | 2003 | 2004 | 2005 | 2006 | 2007 | celkem |
|---|
| Výše podpory z národních zdrojů | 476 000,00476 | 1 934 000,001934 | 2 236 000,002236 | 2 144 000,002144 | 1 733 000,001733 | 8 523 000,008523 | | Výše podpory z veřej. zahraničních zdrojů *** | 0,000 | 0,000 | 0,000 | 0,000 | 0,000 | 0,000 | | Celkové uznané náklady | 476 000,00476 | 1 934 000,001934 | 2 236 000,002236 | 2 144 000,002144 | 1 733 000,001733 | 8 523 000,008523 | | Typ | čerpané | čerpané | čerpané | čerpané | čerpané | |
** Finance v tisících Kč jsou automaticky zaokrouhleny z částky v jednotkách Kč s přesností na 2 desetinná místa
*** Výše podpory z veřejných zahraničních zdrojů je sledována od období sběru 2020 |
|
Zobrazit skutečně čerpané finance projektu z národních zdrojů »
| Skutečně čerpané finance projektu z národních zdrojů | 2003 | 2004 | 2005 | 2006 | 2007 | celkem |
|---|
| Finance | 476 000,00476 | 1 934 000,001934 | 2 236 000,002236 | 2 144 000,002144 | 1 733 000,001733 | 8 523 000,008523 |
|
| Druh soutěže |
VS - Veřejná soutěž |
| Veřejná soutěž ve výzkumu, vývoji a inovacích |
SGA02003GA-DG - Veřejná soutěž (GA0/GD) |
| Cíle řešení v původním jazyce |
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 |
| Cíle řešení v anglickém jazyce |
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 |
| Klíčová slova v anglickém jazyce |
Neuvedeno. |
| Kontrolní číslo stavu projektu v letech |
2003: 1103635
2004: 1448621
2005: 1724424
2006: 33609752
2007: 2579500
2008: 167804511 |
| Datum dodání posledního záznamu o projektu |
24.07.2008 |
| Systémové označení dodávky dat |
CEP08-GA0-GD-U/01:1 |