Knowledge Representation and Reasoning with Transparent Intensional Logic

Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Knowledge Representation and Reasoning with Transparent Intensional Logic
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Knowledge Representation and Reasoning with Transparent Intensional Logic
Popis výsledku anglicky
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.

Rok uplatnění
2000
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Knowledge-Based Software Engineering, Proceedings of JCKBSE'2000
ISBN
—
ISSN
—
e-ISSN
—
Počet stran výsledku
7
Strana od-do
—
Název nakladatele
IOS Press
Místo vydání
Amsterdam
Místo konání akce
—
Datum konání akce
—
Typ akce podle státní příslušnosti
—
Kód UT WoS článku
—

Podobné výsledky(10)