Results 191 to 200 of about 1,395,634 (216)

Models for Lattice-Valued First-Order Logic LF(X)

2008 Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008
In this paper, we focus on models for lattice-valued first-order logic LF(X). First, we present some basic notions, operations on models, and basic relations among models, such as isomorphisms, submodels and extensions, etc. Then we discuss their properties and the truth values of formulas under these models. Finally, we give elementary chain theorem.
Peishun Liu, Xue-fang Wang
openaire   +1 more source

Lattice-valued logic, intelligent mathematics and their applications

Proceedings. The Nineteenth International Symposium on Multiple-Valued Logic, 2003
The author defines lattice-valued set and lattice-valued reasoning strictly. Lattice-valued relation theory is also established. The author discusses their application to pattern recognition and expert systems. >
openaire   +1 more source

Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic

2011
This paper presents a parameterized reasoning approach with uncertainty based on a lattice-valued logic system. In this uncertain reasoning approach, some parameters are used to represent uncertainty arising from different sources, which is a common phenomenon in rule-based systems.
Chen, S.W., Liu, Jun, Wang, Hui, Augusto, Juan Carlos   +3 more
openaire   +2 more sources

Automata theory based on complete residuated lattice-valued logic (II)

Science in China Series F Information Sciences, 2001
This paper establishes a fundamental framework of automata theory based on complete residuated lattice-valued logic. First it deals with how to extend the transition relation of states and particularly presents a characterization of residuated lattice by fuzzy automata (called l valued automata).
openaire   +3 more sources

State hyperstructures of tree automata based on lattice-valued logic

RAIRO - Theoretical Informatics and Applications, 2018
In this paper, an association is organized between the theory of tree automata on one hand and the hyperstructures on the other hand, over complete residuated lattices. To this end, the concept of order of the states of a complete residuated lattice-valued tree automaton (simply L-valued tree automaton) is introduced along with several equivalence ...
openaire   +3 more sources

Fuzzifying groups based on complete residuated lattice-valued logic

Information Sciences, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Fuzzy Lattice Reasoning (FLR) Extensions to Lattice-Valued Logic

2012 16th Panhellenic Conference on Informatics, 2012
This work introduces the Boolean (quotient) lattice, an element of whom is the union of countable (closed) intervals on the real line. It follows that is a lattice implication algebra (LIA), the latter is an established framework for reasoning under uncertainty.
openaire   +1 more source

The distribution of truth degrees in quintuple lattice-valued logic

2010 2nd International Conference on Computer Engineering and Technology, 2010
In order to establish approximate reasoning in quintuple lattice-valued logic system. Following Wang (2006), based on the infinite product of evenly distributed probability space with cardinality number is 5, the theory of truth degree in quintuple lattice-valued logic system was introduced. Some inference rules were given.
openaire   +1 more source

Lattice-valued possibility measures on the basis of multimodal logic

Proceedings of the 36th SICE Annual Conference. International Session Papers, 2002
Although the consideration of L-fuzzy sets shows that the membership values may not be limited to the unit interval, such an extension of the possibility measure has not been studied. The aim of the present paper is to show that an extension to lattice-valued possibility measures is possible, and moreover the extension is done by applying multimodal ...
openaire   +1 more source

Lattice Structure of Some Closed Classes for Three-Valued Logic and Its Applications

Mathematics, 2022
Elmira Yu Kalimulina
exaly