Filtry
Návrh systémů automatického logického řízení (ME 867)
vývoj přesného a jednoduchého a pohodlného nástroje pro návrh logické průmyslové automatiky...
AE - Řízení, správa a administrativa
- 2006 - 2009 •
- 742 tis. Kč •
- 595 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2006 - 28. 2. 2009
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Základy logiky ve světle nových výsledků filosofie a vědy (GA13-21076S)
Projekt se soustředí na prozkoumání základů logiky ve světle nedávného vývoje jak logiky samotné, tak vědeckých oborů, které se týkají jazyka a usuzování. Budeme stavět na našich předchozích výzkumech, které se soustředily na analýzu základních pojmů...
AA - Filosofie a náboženství
- 2013 - 2016 •
- 4 342 tis. Kč •
- 4 342 tis. Kč •
- GA ČR
Řešení projektu: 1. 2. 2013 - 31. 12. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
ArchConcepts (EH22_010/0008600)
Projekt zkoumá vztah mezi teorií architektury a kontinentální filosofií (zejména myšlením strukturalismu, sémiotiky, poststrukturalismu a logického pozitivismu) mezi lety 1960 a 1980 na základě kritické analýzy spisů o architektuře od autorů, jako by...
Philosophy, History and Philosophy of science and technology
- 2025 - 2027 •
- 3 904 tis. Kč •
- 987 tis. Kč •
- MŠMT
Řešení projektu: 1. 7. 2025 - 30. 6. 2027
Uznané náklady
Podpora ze státního rozpočtu (25%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Logické modely usuzování a argumentace v přirozeném jazyce (GA17-15645S)
Hlavním cílem projektu je nové promyšlení relevance logických metod pro posuzování argumentace v rámci přirozeného jazyka. Současné odborné časopisy nabízejí spoustu systémů, o nichž se má za to, že modelují různé druhy úsudků. Tyto systémy jsou obvy...
AA - Filosofie a náboženství
- 2017 - 2019 •
- 4 381 tis. Kč •
- 4 381 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Základy současné logické analýzy (GAP401/10/1279)
Badatelská část projektu je zaměřena především na rozbor pojmově-metodologických základů moderních logických systémů a přezkoumání toho, jak přijímání odlišných východisek v rámci jednotlivých koncepcí logické analýzy ovlivňuje spektrum řešených prob...
AA - Filosofie a náboženství
- 2010 - 2012 •
- 1 764 tis. Kč •
- 1 764 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Hyperintensionální logika pro analýzu přirozeného jazyka (GA15-13277S)
Projekt má jako hlavní cíl stanovenu počítačově podporovanou lingvisticko-logickou analýzu přirozeného jazyka, a to především češtiny a angličtiny. Navrhovaný projekt bude rozvíjet logický rámec Transparentní intensionální logiky (TIL), což je jeden ...
AI - Jazykověda
- 2015 - 2017 •
- 4 679 tis. Kč •
- 4 679 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2015 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Rámec pro deduktivní analýzu softwarových aplikací vestavěných systémů (GP201/07/P544)
Navrhovaný projekt představuje základní výzkum v problematice integrace formálních metod a doménově specifikačních jazyků pro návrh vestavěných systémů. Uvažované řešení bude založeno na definici formálního rámce disponujícího deduktivním odvozovacím...
JC - Počítačový hardware a software
- 2007 - 2008 •
- 352 tis. Kč •
- 352 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2007 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Překlad českých vět do konstrukcí transparentní intenzionální logiky (GA201/05/2781)
Hlavním cílem navrhovaného projektu je získání automatického systému pro zpracování textů v přirozeném jazyce (češtině) a tvorbu logické reprezentace věty ve strojově čitelné formě. Získaný logický popis bude bezprostředně využit k reprezentaci znalo...
JD - Využití počítačů, robotika a její aplikace
- 2005 - 2007 •
- 1 886 tis. Kč •
- 1 886 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2005 - 31. 12. 2007
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Vícehodnotový přístup k optimům a ekvilibriím v ekonomii (GAP402/12/1309)
Vícehodnotový přístup nabízí efektivní nástroje pro tvorbu modelů v teorii her a analýzu ekonomických optim i ekvilibrií. Cílem tohoto projektu je využití metod mnohoznačné analýzy a vícehodnotové logiky k zevrubnému výzkumu několika vybraných náročn...
AH - Ekonomie
- 2012 - 2016 •
- 5 961 tis. Kč •
- 5 961 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2012 - 7. 4. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Sémantizace pragmatiky (GA401/07/0451)
Sémantika studuje významy jakožto abstraktní entity, kdežto pragmatika se zajímá o způsob, jakým uživatel daného jazyka užívá jeho výrazy. Jedním z argumentů ve prospěch Quinovy pragmatické koncepce je tvrzení, že význam výrazu je univerzálně závislý...
AA - Filosofie a náboženství
- 2007 - 2009 •
- 666 tis. Kč •
- 666 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2007 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 20