Transparentní intensionální logika (systematický výklad)
Cíle projektu
Problém adekvátní logické analýzy významu výrazů přirozeného jazyka nabývá v posledních letech stále většího významu, a to nejen v oblasti filosofické logiky a teoretické a komputační lingvistiky, ale rovněž v prakticky orientovaných disciplínách informatiky a umělé inteligence. Transparentní intensionální logika (TIL), jejímž autorem byl Pavel Tichý, je velice expresivní logický systém, přinejmenším srovnatelný se systémy založenými na Montagueho gramatice. TIL však navíc nabízí adekvátní řešeníproblému tzv. hyper-intensionálních kontextů, a to na základě klíčového pojmu logické konstrukce. Tento rys TILu je extrémně důležitý pro representaci a akvizici znalostí, neboť naše znalosti, hypotézy a inference jsou primárně spojeny s logickými konstrukcemi.V současné době jsou k dispozici pouze dvě monografie o TILu, které jsou však věnovány specifickým problémům. Tichého monografie kriticky hodnotí základní Fregeho sémantické ideje a předkládá jejich korektní rozvinutí na základě TILu.
Klíčová slova
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 6 (SGA02004GA-ST)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
Transparent Intensional Logic (a Systematic Exposition)
Anotace anglicky
The problem of logical analysis of natural language expressions has recently become a hot problem not only from the point of view of philosophical logic and theretical linguistics, but also from a practical viewpoint of computer science and artificial intelligence. Transparent Intensional Logic (TIL), originated by late Pavel Tichý, is an expressive system comparable with "mainstream" systems based on Montague grammar. Moreover, using the key notion of logical construction, TIL offers a proper solutionof so-called hyper-intensional contexts, which is extremely important in the area of knowledge representation and acquisition. Our knowledge, beliefs and inferences primarily concern logical constructions themselves, not only their outcomes. Recently, there are two monographs on TIL, which however deal with rather special problems. Tichý's book examines critically Frege's semantic ideas and presents their correct development, in particular a fundamental shift of Frege's semantic scheme.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
AA - Filosofie a náboženství
CEP - vedlejší obor
BD - Teorie informace
CEP - další vedlejší obor
AI - Jazykověda
OECD FORD - odpovídající obory
(dle převodníku)10102 - Applied mathematics
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
60201 - General language studies
60202 - Specific languages
60203 - Linguistics
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
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Během tří let, kdy jsme se systematicky věnovali Transparentní intensionální logice (TIL), jsme dospěli k nezanedbatelným novým výsledkům. Jedná se zejména o tyto oblasti: analýza vět s neúplným významemnávrh nové analýzy vět s anaforickými odkazy příspě
Termíny řešení
Zahájení řešení
1. 1. 2004
Ukončení řešení
1. 1. 2006
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
—
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
CEP07-GA0-GA-U/03:2
Datum dodání záznamu
16. 10. 2007
Finance
Celkové uznané náklady
585 tis. Kč
Výše podpory ze státního rozpočtu
585 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
585 tis. Kč
Statní podpora
585 tis. Kč
100%
Poskytovatel
Grantová agentura České republiky
CEP
AA - Filosofie a náboženství
Doba řešení
01. 01. 2004 - 01. 01. 2006