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.
|