Temporal aspects of knowledge and information
Project goals
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; analysisof 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 iscomputer-aided analysis of natural-language texts based web ontologies like WordNet, FrameNet / VerbNet, VerbaLex and large text corpora.
Keywords
naturallanguagetimeeventslogicalanalysislinguisticanalysisautomatictranslation
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 13 (SGA02010GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
P401-10-0792
Alternative language
Project name in Czech
Temporální aspekty znalostí a informací
Annotation in Czech
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ů.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
AA - Philosophy and religion
CEP - secondary branch
AI - Linguistics
CEP - another secondary branch
IN - Informatics
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
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
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.
Solution timeline
Realization period - beginning
Jan 1, 2010
Realization period - end
Dec 31, 2012
Project status
U - Finished project
Latest support payment
Apr 1, 2012
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP13-GA0-GA-U/02:3
Data delivery date
May 17, 2016
Finance
Total approved costs
4,889 thou. CZK
Public financial support
4,889 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
4 889 CZK thou.
Public support
4 889 CZK thou.
100%
Provider
Czech Science Foundation
CEP
AA - Philosophy and religion
Solution period
01. 01. 2010 - 31. 12. 2012