2007
Dolphin - a Knowledge base for Transparent Intensional Logic
GARDOŇ, Andrej a Aleš HORÁKZákladní údaje
Originální název
Dolphin - a Knowledge base for Transparent Intensional Logic
Název česky
Dolphin - báze znalostí pro transparentní intenzionální logiku
Autoři
Vydání
Tilburg, Netherlands, Proceedings of IWCS 2007, s. 316-319, 2007
Nakladatel
University of Tilburg
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Nizozemské království
Utajení
není předmětem státního či obchodního tajemství
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14330/07:00019553
Organizační jednotka
Fakulta informatiky
ISBN
90-74029-31-0
Klíčová slova anglicky
transparent intensional logic; knowledge base
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 11. 1. 2008 14:46, doc. RNDr. Aleš Horák, Ph.D.
V originále
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.
Česky
Tento článek popisuje návrh a implementaci systému báze znalostí pro transparentní intenzionální logiku.
Návaznosti
| GA201/05/2781, projekt VaV |
| ||
| 1ET100300414, projekt VaV |
|