2000
Knowledge Representation and Reasoning with Transparent Intensional Logic
HADACZ, Leo a Aleš HORÁKZákladní údaje
Originální název
Knowledge Representation and Reasoning with Transparent Intensional Logic
Autoři
HADACZ, Leo a Aleš HORÁK
Vydání
Amsterdam, Knowledge-Based Software Engineering, Proceedings of JCKBSE'2000, od s. 74-80, 7 s. 2000
Nakladatel
IOS Press
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10000 1. Natural Sciences
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14330/00:00002676
Organizační jednotka
Fakulta informatiky
ISBN
1-58603-060-4
ISSN
UT WoS
Klíčová slova česky
transparentní intenzionální logika; báze znalostí; vyvozování znalostí
Klíčová slova anglicky
transparent intensional logic; knowledge base; reasoning
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 25. 3. 2010 11:46, doc. RNDr. Aleš Horák, Ph.D.
V originále
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.
Česky
Článek popisuje návrh systému pro rezprezentaci a vyvozování znalostí založeném na transparentní intenzionální logice (TIL).
Návaznosti
| MSM 143300003, záměr |
|