Jak udělat deskripční logiku obecnější

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F05%3A00405476" target="_blank" >RIV/67985807:_____/05:00405476 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Making Fuzzy Description Logic More General
Popis výsledku v původním jazyce
A version of fuzzy description logic based on the basic (continuous t-norm based) fuzzy predicate logic BL is presented. Problems of satisfability, validity and subsumption of concepts are discussed and reduced to problems of fuzzy propositional logic known to be decidable for any continuous t-norm. For Lukasiewicz t-norm some stronger results are obtained.
Název v anglickém jazyce
Making Fuzzy Description Logic More General
Popis výsledku anglicky
A version of fuzzy description logic based on the basic (continuous t-norm based) fuzzy predicate logic BL is presented. Problems of satisfability, validity and subsumption of concepts are discussed and reduced to problems of fuzzy propositional logic known to be decidable for any continuous t-norm. For Lukasiewicz t-norm some stronger results are obtained.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Projekt
<a href="/cs/project/1ET100300419" target="_blank" >1ET100300419: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2005
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ů

Podobné výsledky(10)