Results 131 to 140 of about 7,093 (165)

Non-deterministic Multi-valued Logics--A Tutorial

2010 40th IEEE International Symposium on Multiple-Valued Logic, 2010
Non-deterministic multi-valued matrices (Nmatrices) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly developing towards a foundational logical theory and has found numerous applications.
Arnon Avron, Anna Zamansky
openaire   +1 more source

Multi-Valued Logics Introducing Propositional Multi-Valued Logics with the Help of a CAS

1999
It is shown in this paper how a classical approach to multi-valued Logics, based on the use of truth tables, can be easily implemented in a Computer Algebra System (CAS). Producing truth tables by hand is a hard work. But we think that an important part of the experience and intuitive ideas come from working with them.
openaire   +1 more source

Representation of unbalanced terms in multi-valued logic

2015 IEEE 12th International Multi-Conference on Systems, Signals & Devices (SSD15), 2015
Various approaches were proposed to represent and treat imperfect knowledge, in particular fuzzy logic and multivalued logic. Such knowledge is generally expressed with uniformly distributed linguistic term sets. However, in many cases, we need to describe information with unbalanced term sets.
Nouha Chaoued, Amel Borgi
openaire   +1 more source

Multi-valued Logics, Effectiveness and Domains

2007
Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machines and fuzzy grammar given in literature is also investigated. This shows the inadequateness of these definitions and the difficulties in formulating an analogue of Church Thesis for ...
openaire   +2 more sources

Approximative conjunctions processing by multi-valued logic

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96), 2002
We study a knowledge base composed of facts and rules of a linguistic nature. We attribute a linguistic degree to each proposition which represents its veracity. A problem encountered is the following: "When the premise part of a production rule is a conjunction of several propositions and when we observe each of these propositions with some degree ...
Herman Akdag, Myriam Mokhtari
openaire   +1 more source

Synchronization of Interconnected Multi‐valued Logical Networks

Asian Journal of Control, 2014
AbstractThis paper studies the synchronization of interconnectedk‐valued logical networks, as well as that of interconnected higher orderk‐valued logical networks, based on their algebraic representations. For interconnectedk‐valued logical networks, one necessary and sufficient criterion of synchronization is established via the definition of ...
Meng, Min, Feng, Jun-E, Hou, Zhongsheng
openaire   +2 more sources

A Novel Multi-Valued Logic QAM

2006 2nd International Conference on Information & Communication Technologies, 2006
This paper proposes a novel Ternary QAM (TQAM), which is new concept in communication. The proposed model minimizes the number of characters per symbol; hence results in a better signal-to-noise ratio (SNR) and bit error rate (BER). For this purpose a new generation of constellation diagrams is proposed leading to new methods of modulating transmitted ...
A.M. Haidar, S. Ghabboura, N. Ahdab
openaire   +1 more source

Multi-valued Logics, Automata, Simulations, and Games

2008
Multi-valued systems are systems in which the atomic propositions and the transitions are not Boolean and can take values from some set. Latticed systems, in which the elements in the set are partially ordered, are useful in abstraction, query checking, and reasoning about multiple view-points.
Orna Kupferman, Yoad Lustig
openaire   +1 more source

An algorithm for the solution of multi-valued logic programming

[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic, 2002
Logic programming using the Horn clause in the field of artificial intelligence is considered. It has been previously reported that the solution of multivalued logic programming with many truth values is obtained by solving the multivalued logic formula expressed in the Postian algebra.
openaire   +1 more source

From Multi-valued Logics to Fuzzy Logic

2016
When, in February 2008, I visited the European Centre for Soft Computing (ECSC) in Mieres Asturias, Spain, for the first time to give a talk, I stayed for about a week. It was Enric Trillas who extended the invitation, and it was Claudio Moraga who made my first weekend in Asturias—this then unknown and foreign landscape—enjoyable.
openaire   +1 more source