Graded many-valued Resolution with Aggregation

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F04%3A00405257" target="_blank" >RIV/67985807:_____/04:00405257 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Graded many-valued Resolution with Aggregation
Original language description
The aim of this paper is to give a sound resolution deduction rule in many-valued logic with truth value range [0; 1], and with arbitrary connectives and graded information. We introduce and study the resolution truth function which will evaluate the truth value of the result of resolution. Conditions under which this function yields an aggregation operator will be given.
Czech name
Stupňovaná vícehodnotová rezoluce s agregací
Czech description
Cílem práce je prezentovat korektní rezolucní odvozovací pravidlo ve vícehodnotove logice a množinou pravdivostních hodnot [0; 1], navíc s libovolnými spojkami a stupnopvanou informací. Zavádíme a studujeme rezolucní pravdivostní funkci, která vyhodnocuje výsledek rezoluce. Jsou podány podmínky za kterých tato funkce dává agregacní operátor.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)