Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

2 Fundamenta Informaticae

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations

100%

Burrieza A. , Ojeda-Aciego M.

Fundamenta Informaticae

2005

tom Vol. 68, nr 1/2

21--46

Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude qualitative reasoning, extending the recently introduced system MQ, by means of a certain notion of negligibility relation which satisfies a number of intuitively plausible properties, as well as a minimal axiom system allowing for interaction among the different qualitative relations. The main aim is to show the completeness of the formal system introduced. Moreover, we consider some definability results and discuss possible directions for further research.

The Category of L-Chu Correspondences and the Structure of L-Bonds

80%

Kridlo O. , Krajči S. , Ojeda-Aciego M.

Fundamenta Informaticae

2012

tom Vol. 115, nr 4

297-325

An L-fuzzy generalization of the so-called Chu correspondences between formal contexts forms a category called L-ChuCors. In this work, we show that this category naturally embeds ChuCors and prove that it is *-autonomous. We also focus on the direct product of two L-fuzzy contexts, which is defined with the help of a binary operation, essentially a disjunction, on a lattice of truth-values L.