| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - The goal of the proposed project is to develop tools and mechanisms for computer-aided natural-language analysis, knowledge management and reasoning. In a broader sense, the main objective is to propose a new solution to natural language analysis and reasoning based on the procedural semantics of Transparent Intensional Logic (TIL). Primarily, our research is classified in the area of philosophical logic. Subsidiary works then fall under theoretical linguistics and computer science. Our research is focused on the temporal, modal and epistemic aspects of knowledge representation and reasoning. The main problems under our scrutiny are: TIL proof calculus for hyperintensional, partial typed lambda calculus; analysis of tenses and temporal logic; analysis of epistemic verbs and events; analysis of anaphora references and topic-focus articulation. Concerning practical applications, we develop functional programming language TIL-Script, the computational variant of TIL. The main result we aim to achieve is computer-aided analysis of natural-language texts based web ontologies like WordNet, FrameNet / VerbNet, VerbaLex and large text corpora. (en)
- Cílem navrženého projektu je vývoj nástrojů a mechanismů pro computer-aided analýzu přirozeného jazyka a usuzování v přirozeném jazyce. Zaměříme se zejména na temporální, modální a epistémické aspekty reprezentace znalostí a usuzování. Výzkum prováděný v rámci projektu se skládá ze dvou hlavních podoblastí, a to teorie a praktických aplikací. Co se týká teoretických výsledků, budeme dále rozvíjet Transparentní intensionální logiku, zejména pak logickou analýzu přirozeného jazyka na základě TIL. Hlavní problémy, na které se zaměříme, jsou tyto: TIL důkazový kalkul pro hyperintensionální, parciální, typovaný lambda-kalkul s procedurální sémantikou; analýza gramatických časů a temporální logika; analýza epistémických sloves a událostí; analýza kontextuálních vztahů jako jsou anaforické odkazy, problém topic-focus artikulace věty ve spojení s presupozicemi a logickým vyplýváním. Co se týká praktických aplikací, vyvíjíme počítačovou variantu TIL, a to funkcionální programovací jazyk TIL-Script. Hlavním výstupem pak bude computer-aided analýza textů v přirozeném jazyce založená na TIL a webových ontologiích jako je anglický a český WordNet, FrameNet/VerbNet (pro angličtinu), VerbaLex (pro češtinu) s využitím velkých textových korpusů.
|
| Title
| - Temporal aspects of knowledge and information (en)
- Temporální aspekty znalostí a informací
|
| skos:notation
| |
| http://linked.open...avai/cep/aktivita
| |
| http://linked.open...kovaStatniPodpora
| |
| http://linked.open...ep/celkoveNaklady
| |
| http://linked.open...datumDodatniDoRIV
| |
| http://linked.open...i/cep/druhSouteze
| |
| http://linked.open...ep/duvernostUdaju
| |
| http://linked.open.../cep/fazeProjektu
| |
| http://linked.open...ai/cep/hlavniObor
| |
| http://linked.open...hodnoceniProjektu
| |
| http://linked.open...vai/cep/kategorie
| |
| http://linked.open.../cep/klicovaSlova
| - natural; language; time; events; logical; analysis; linguistic; analysis; automatic; translation (en)
|
| http://linked.open...ep/partnetrHlavni
| |
| http://linked.open...inujicichPrijemcu
| |
| http://linked.open...cep/pocetPrijemcu
| |
| http://linked.open...ocetSpoluPrijemcu
| |
| http://linked.open.../pocetVysledkuRIV
| |
| http://linked.open...enychVysledkuVRIV
| |
| http://linked.open...lneniVMinulemRoce
| |
| http://linked.open.../prideleniPodpory
| |
| http://linked.open...iciPoslednihoRoku
| |
| http://linked.open...atUdajeProjZameru
| |
| http://linked.open.../vavai/cep/soutez
| |
| http://linked.open...usZobrazovaneFaze
| |
| http://linked.open...ai/cep/typPojektu
| |
| http://linked.open...ep/ukonceniReseni
| |
| http://linked.open.../cep/vedlejsiObor
| |
| http://linked.open...ep/zahajeniReseni
| |
| http://linked.open...jektu+dodavatelem
| - 1. Odborný přínos projektu je značný pro filosofii, logiku i matematiku. 2. Výsledky řešitelů a jejich uvedené údaje v kartě jsou adekvátní. 3. Význam projektu směřuje i ke studentům a jejich odborné výchově. 4. Výstupy z projektu jsou jednoznačné, nezbochybnitelné s uvedením dedikace. 5. Finanční prostředky byly čerpány podle pravidel. (cs)
- First Professional contribution of the project is significant for philosophy, logic and mathematics. Second Results uvedné solvers and data in the card is adequate. Third Significance of the project is also aimed at students and their professional education. 4th Outcomes of the project are clear, indicating nezbochybnitelné dedication. 5th The funds were used by the rules. (en)
|
| http://linked.open...tniCyklusProjektu
| |
| http://linked.open.../cep/klicoveSlovo
| - natural
- analysis
- automatic
- events
- language
- linguistic
- logical
- time
|
| is http://linked.open...vavai/riv/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)