. "2012-03-30+02:00"^^ . " language" . . . " linguistic" . "2014-01-30+01:00"^^ . . . . . . . "0"^^ . "C\u00EDlem navr\u017Een\u00E9ho projektu je v\u00FDvoj n\u00E1stroj\u016F a mechanism\u016F pro computer-aided anal\u00FDzu p\u0159irozen\u00E9ho jazyka a usuzov\u00E1n\u00ED v\u00A0p\u0159irozen\u00E9m jazyce. Zam\u011B\u0159\u00EDme se zejm\u00E9na na tempor\u00E1ln\u00ED, mod\u00E1ln\u00ED a epist\u00E9mick\u00E9 aspekty reprezentace znalost\u00ED a usuzov\u00E1n\u00ED.\u00A0V\u00FDzkum prov\u00E1d\u011Bn\u00FD v\u00A0r\u00E1mci projektu se skl\u00E1d\u00E1 ze dvou hlavn\u00EDch podoblast\u00ED, a to teorie a praktick\u00FDch aplikac\u00ED. Co se t\u00FDk\u00E1 teoretick\u00FDch v\u00FDsledk\u016F, budeme d\u00E1le rozv\u00EDjet Transparentn\u00ED intension\u00E1ln\u00ED logiku, zejm\u00E9na pak logickou anal\u00FDzu p\u0159irozen\u00E9ho jazyka na z\u00E1klad\u011B TIL. Hlavn\u00ED probl\u00E9my, na kter\u00E9 se zam\u011B\u0159\u00EDme, jsou tyto: TIL d\u016Fkazov\u00FD kalkul pro hyperintension\u00E1ln\u00ED, parci\u00E1ln\u00ED, typovan\u00FD lambda-kalkul s\u00A0procedur\u00E1ln\u00ED s\u00E9mantikou; anal\u00FDza gramatick\u00FDch \u010Das\u016F a tempor\u00E1ln\u00ED logika; anal\u00FDza epist\u00E9mick\u00FDch sloves a ud\u00E1lost\u00ED; anal\u00FDza kontextu\u00E1ln\u00EDch vztah\u016F jako jsou anaforick\u00E9 odkazy, probl\u00E9m topic-focus artikulace v\u011Bty ve spojen\u00ED s\u00A0presupozicemi a logick\u00FDm vypl\u00FDv\u00E1n\u00EDm. Co se t\u00FDk\u00E1 praktick\u00FDch aplikac\u00ED, vyv\u00EDj\u00EDme po\u010D\u00EDta\u010Dovou variantu TIL, a to funkcion\u00E1ln\u00ED programovac\u00ED jazyk TIL-Script. Hlavn\u00EDm v\u00FDstupem pak bude computer-aided anal\u00FDza text\u016F v\u00A0p\u0159irozen\u00E9m jazyce zalo\u017Een\u00E1 na TIL a webov\u00FDch ontologi\u00EDch jako je anglick\u00FD a \u010Desk\u00FD WordNet, FrameNet/VerbNet (pro angli\u010Dtinu), VerbaLex (pro \u010De\u0161tinu) s vyu\u017Eit\u00EDm velk\u00FDch textov\u00FDch korpus\u016F." . "Tempor\u00E1ln\u00ED aspekty znalost\u00ED a informac\u00ED" . . " time" . " automatic" . "1"^^ . "Temporal aspects of knowledge and information"@en . "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:\u00A0TIL\u00A0proof 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 . "http://www.isvav.cz/projectDetail.do?rowId=GAP401/10/0792"^^ . "2"^^ . . "2012-12-31+01:00"^^ . "natural" . "1. Odborn\u00FD p\u0159\u00EDnos projektu je zna\u010Dn\u00FD pro filosofii, logiku i matematiku. 2. V\u00FDsledky \u0159e\u0161itel\u016F a jejich uveden\u00E9 \u00FAdaje v kart\u011B jsou adekv\u00E1tn\u00ED. 3. V\u00FDznam projektu sm\u011B\u0159uje i ke student\u016Fm a jejich odborn\u00E9 v\u00FDchov\u011B. 4. V\u00FDstupy z projektu jsou jednozna\u010Dn\u00E9, nezbochybniteln\u00E9 s uveden\u00EDm dedikace. 5. Finan\u010Dn\u00ED prost\u0159edky byly \u010Derp\u00E1ny podle pravidel."@cs . "83"^^ . "83"^^ . . . . " events" . . . "natural; language; time; events; logical; analysis; linguistic; analysis; automatic; translation"@en . . "First Professional contribution of the project is significant for philosophy, logic and mathematics. Second Results uvedn\u00E9 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\u00E9 dedication. 5th The funds were used by the rules."@en . . " logical" . . " analysis" . . "2010-01-01+01:00"^^ . "GAP401/10/0792" .