Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{747988,
author = {Gardoň, Andrej and Horák, Aleš},
address = {Tilburg, Netherlands},
booktitle = {Proceedings of IWCS 2007},
keywords = {transparent intensional logic; knowledge base},
language = {eng},
location = {Tilburg, Netherlands},
isbn = {90-74029-31-0},
pages = {316-319},
publisher = {University of Tilburg},
title = {Dolphin - a Knowledge base for Transparent Intensional Logic},
year = {2007}
}
TY - JOUR
ID - 747988
AU - Gardoň, Andrej - Horák, Aleš
PY - 2007
TI - Dolphin - a Knowledge base for Transparent Intensional Logic
PB - University of Tilburg
CY - Tilburg, Netherlands
SN - 9074029310
KW - transparent intensional logic
KW - knowledge base
N2 - This paper describes the design of newly developed Dolphin system for effective implementation of a knowledge base and question answering based on the transparent intensional logic (TIL). TIL is a high-order logic with a hierarchy of types made for representing all natural language phenomena like intensionality, temporality or belief attitudes. In the text, we will introduce the database acting as a knowledge base for inference in TIL. The time aspect of the truth value of propositions will be mentioned and basic ``thinking'' capabilities of the Dolphin system will be exemplified.
ER -
GARDOŇ, Andrej a Aleš HORÁK. Dolphin - a Knowledge base for Transparent Intensional Logic. In \textit{Proceedings of IWCS 2007}. Tilburg, Netherlands: University of Tilburg, 2007, s.~316-319. ISBN~90-74029-31-0.
|
