FUZZY DEDUCTIVE DATABASES BASED ON RESOLUTION PRINCIPLE

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

FUZZY DEDUCTIVE DATABASES BASED ON RESOLUTION PRINCIPLE

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

JD - Use of computers, robotics and its application

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2006

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

Acta Fac. Paed. Univ. Tyrnaviensis, Ser. C

ISBN

80-8082-110-0

ISSN

—

e-ISSN

—

Number of pages

10

Pages from-to

—

Publisher name

University of Trnava

Place of publication

Trnava

Event location

—

Event date

—

Type of event by nationality

—

UT code for WoS article

—