On proofs and rule of multiplication in fuzzy attribute logic

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F07%3A00003616" target="_blank" >RIV/61989592:15310/07:00003616 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

On proofs and rule of multiplication in fuzzy attribute logic

Original language description

The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A => B where A and B are fuzzy sets of attributes. A formula A => B represents a dependency which is true in a data table with fuzzy attributes iff each object having all attributes from A has also all attributes from B, membership degrees in A and B playing a role of thresholds. We study axiomatic systems of fuzzy attribute logic which result by adding a single deduction rule, called a rule of multiplication, to an ordinary system of deduction rules complete w.r.t. bivalent semantics, i.e. to well-known Armstrong axioms. In this paper, we concentrate on the rule of multiplication and its role in fuzzy attribute logic. We show some advantageous properties ofthe rule of multiplication. In addition, we show that these properties enable us to reduce selected problems concerning proofs in fuzzy attribute logic to the corresponding problems in the ordinary case. As an example, we discuss the pro

Czech name

O důkazech a pravidlu násobení ve fuzzy atributové logice

Czech description

Studujeme fuzzy atributovou logiku; zaměřujeme se na odvozovací pravidlo "násobení". Fuzzy atributová logika se zabývá vyplýváním z fuzzy atributových implikací, což jsou formula A => B, kde A a B jsou fuzzy množiny atributů. V článku ukazujeme větu o úplnosti, zabýváme se normalizací důkazů, dále ukazujeme analogie RAP-sekvencí známých z databázových systémů, tak zvané MRAP-sekvence.

Type

D - Article in proceedings

CEP classification

BD - Information theory

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

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

Lecture Notes in Artificial Intelligence

ISBN

978-3-540-72917-4

ISSN

—

e-ISSN

—

Number of pages

10

Pages from-to

471-480

Publisher name

Springer

Place of publication

Heidelberg

Event location

—

Event date

—

Type of event by nationality

—

UT code for WoS article

—