Fuzzy atributové implikace jako formule logiky s pravdivostně evaluovanou syntaxí

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F05%3A00002279" target="_blank" >RIV/61989592:15310/05:00002279 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Fuzzy attribute implications as formulas of logics with truth-evaluated syntax

Popis výsledku v původním jazyce

We show that fuzzy attribute implications, which are the basic formulas of fuzzy attribute logic (FAL), can be introduced in several logics with truth-evaluated syntax. Namely, we focus on representing fuzzy attribute implications as formulas of threshold Boolean logic (TBL) and fuzzy Horn logic (FHL). Our motivations stem basically in the fact that TBL and FHL use formulas which are similar to that of FAL. This opens a question whether one can use results on TBL and FHL to get some insight into FAL, e.g. to prove the completeness of FAL. The present paper shows that in particular cases completeness of TBL and FHL can be used to prove completeness of FAL.

Název v anglickém jazyce

Fuzzy attribute implications as formulas of logics with truth-evaluated syntax

Popis výsledku anglicky

We show that fuzzy attribute implications, which are the basic formulas of fuzzy attribute logic (FAL), can be introduced in several logics with truth-evaluated syntax. Namely, we focus on representing fuzzy attribute implications as formulas of threshold Boolean logic (TBL) and fuzzy Horn logic (FHL). Our motivations stem basically in the fact that TBL and FHL use formulas which are similar to that of FAL. This opens a question whether one can use results on TBL and FHL to get some insight into FAL, e.g. to prove the completeness of FAL. The present paper shows that in particular cases completeness of TBL and FHL can be used to prove completeness of FAL.

Druh

D - Stať ve sborníku

CEP obor

BD - Teorie informace

OECD FORD obor

—

Projekt

<a href="/cs/project/1ET101370417" target="_blank" >1ET101370417: Hierarchická analýza složitých dat</a><br>

Návaznosti

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ů

Název statě ve sborníku

8th Joint Conference on Information Sciences

ISBN

0-9707890-3-3

ISSN

—

e-ISSN

—

Počet stran výsledku

1435

Strana od-do

74-77

Název nakladatele

Joint Conference on Information Sciences

Místo vydání

Salt Lake City

Místo konání akce

Salt Lake City

Datum konání akce

1. 1. 2005

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—