FUZZY DEDUCTIVE DATABASES BASED ON RESOLUTION PRINCIPLE

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F06%3AA1000GZO" target="_blank" >RIV/61988987:17610/06:A1000GZO - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
FUZZY DEDUCTIVE DATABASES BASED ON RESOLUTION PRINCIPLE
Popis výsledku v původním jazyce
The article presents the possibilities of usage of the resolution principle for Fuzzy Predicate Logic with Evaluated Syntax as theoretical and inference background for fuzzy deductive databases. We start on explaining the problem of the classical deductive databases, further describing possibilities of fuzzyfication of deductive database on the mentioned fuzzy logic. The key part shows how to utilize resolution principle as an inference engine of the fuzzy deductive database together with some efficientresolution strategies devised originally for the refutational resolution theorem proving system for FPL.
Název v anglickém jazyce
FUZZY DEDUCTIVE DATABASES BASED ON RESOLUTION PRINCIPLE
Popis výsledku anglicky
The article presents the possibilities of usage of the resolution principle for Fuzzy Predicate Logic with Evaluated Syntax as theoretical and inference background for fuzzy deductive databases. We start on explaining the problem of the classical deductive databases, further describing possibilities of fuzzyfication of deductive database on the mentioned fuzzy logic. The key part shows how to utilize resolution principle as an inference engine of the fuzzy deductive database together with some efficientresolution strategies devised originally for the refutational resolution theorem proving system for FPL.

Rok uplatnění
2006
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)