Publication details

Dolphin - a Knowledge base for Transparent Intensional Logic

Investor logo
Authors

GARDOŇ Andrej HORÁK Aleš

Year of publication 2007
Type Article in Proceedings
Conference Proceedings of IWCS 2007
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords transparent intensional logic; knowledge base
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info