Dolphin - a Knowledge base for Transparent Intensional Logic

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F07%3A00019553" target="_blank" >RIV/00216224:14330/07:00019553 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Dolphin - a Knowledge base for Transparent Intensional Logic

Original language 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 mentionedand basic ``thinking'' capabilities of the Dolphin system will be exemplified.

Czech name

Dolphin - báze znalostí pro transparentní intenzionální logiku

Czech description

Tento článek popisuje návrh a implementaci systému báze znalostí pro transparentní intenzionální logiku.

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of IWCS 2007

ISBN

90-74029-31-0

ISSN

—

e-ISSN

—

Number of pages

4

Pages from-to

316

Publisher name

University of Tilburg

Place of publication

Tilburg, Netherlands

Event location

Tilburg, Netherlands

Event date

Jan 1, 2007

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—