Knowledge Representation and Reasoning with Transparent Intensional Logic

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F00%3A00002676" target="_blank" >RIV/00216224:14330/00:00002676 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Knowledge Representation and Reasoning with Transparent Intensional Logic

Original language description

This paper describes the design of a system for knowledge representation and reasoning (KRR) based on transparent intensional logic (TIL). It depicts the basic principles of temporal version of TIL based on the extended type hierarchy and presents our suggested method of inference from facts based on natural language input. We show the advantages of using TIL for the knowledge representation of this kind of data and describe particular implementation strategy of KRR.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

BD - Information theory

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2000

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

Knowledge-Based Software Engineering, Proceedings of JCKBSE'2000

ISBN

—

ISSN

—

e-ISSN

—

Number of pages

7

Pages from-to

—

Publisher name

IOS Press

Place of publication

Amsterdam

Event location

—

Event date

—

Type of event by nationality

—

UT code for WoS article

—