Temporal Aspects of Knowledge and Information

D 2009

Temporal Aspects of Knowledge and Information

DUŽÍ, Marie; Aleš HORÁK a Pavel MATERNA

Základní údaje

Originální název

Temporal Aspects of Knowledge and Information

Autoři

DUŽÍ, Marie; Aleš HORÁK a Pavel MATERNA

Vydání

Brno, Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2009, od s. 39-47, 9 s. 2009

Nakladatel

Masaryk University

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

60200 6.2 Languages and Literature

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/09:00073104

Organizační jednotka

Fakulta informatiky

ISBN

978-80-210-5048-8

Klíčová slova anglicky

Transparent intensional logic; TIL; temporal knowledge

Změněno: 29. 4. 2014 10:13, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

The authors of the paper have proposed a collaborative research project that should start in 2010 and proceed in three successive years. 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 on web ontologies like WordNet, FrameNet/VerbNet, VerbaLex and large text corpora.

Návaznosti

LC536, projekt VaV

Název: Centrum komputační lingvistiky

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Centrum komputační lingvistiky

2C06009, projekt VaV

Název: Prostředky tvorby komplexní báze znalostí pro komunikaci se sémantickým webem v přirozeném jazyce (Akronym: COT-SEWing)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Prostředky tvorby komplexní báze znalostí pro komunikaci se sémantickým webem v přirozeném jazyce

Citovat

DUŽÍ, Marie; Aleš HORÁK a Pavel MATERNA. Temporal Aspects of Knowledge and Information. In Petr Sojka, Aleš Horák. Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2009. Brno: Masaryk University, 2009, s. 39-47. ISBN 978-80-210-5048-8.

@inproceedings{1181479,
   author = {Duží, Marie and Horák, Aleš and Materna, Pavel},
   address = {Brno},
   booktitle = {Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2009},
   editor = {Petr Sojka, Aleš Horák},
   keywords = {Transparent intensional logic; TIL; temporal knowledge},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Brno},
   isbn = {978-80-210-5048-8},
   pages = {39-47},
   publisher = {Masaryk University},
   title = {Temporal Aspects of Knowledge and Information},
   year = {2009}
}

TY  - CONF
ID  - 1181479
AU  - Duží, Marie - Horák, Aleš - Materna, Pavel
PY  - 2009
TI  - Temporal Aspects of Knowledge and Information
PB  - Masaryk University
CY  - Brno
SN  - 9788021050488
KW  - Transparent intensional logic
KW  - TIL
KW  - temporal knowledge
N2  - The authors of the paper have proposed a collaborative research project that should start in 2010 and proceed in three successive years. 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 on web ontologies like WordNet, FrameNet/VerbNet, VerbaLex and large text corpora.
ER  -

DUŽÍ, Marie; Aleš HORÁK a Pavel MATERNA. Temporal Aspects of Knowledge and Information. In Petr Sojka, Aleš Horák. \textit{Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2009}. Brno: Masaryk University, 2009, s.~39-47. ISBN~978-80-210-5048-8.

Přehled o publikaci