In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorithms for multi-valued model checking. We first show how to reduce multi-valued model checking with any distributive DeMorgan lattice to standard, two-valued model checking. We then present a direct, automata-theoretic a...

In this paper, the minimization of incompletely specified multi-valued functions using functional decomposition is discussed. From the aspect of machine learning, learning samples can be implemented as minterms in multi-valued logic. The representation, can then be decomposed into smaller blocks, resulting in a reduced problem complexity. This gives induced descriptions through structuring, or ...

More work is needed on devising practical, but theoretically wellfounded procedures for doing object-oriented database (OODB) &sign. Besides being practical and having formal properties, these design procedures should alSo be flexible enough to allow for peculiarities that make applications unique. In this paper. we present and discuss an OODB design procedure that addresses these problems. The...

The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of fuzzy Datalog will be summarized, then its extensions for intuitionisticand interval-valued fuzzy logic is given and the concept of bipolar fuzzy Datalog is introduced. Based on these ideas the concept of multivalued knowledge-b...

Abstract: Human non-conscious reasoning is one of the most successful procedures developed to 9 solve everyday problems in an efficient way. This is why the field of artificial intelligence should 10 analyze, formalize and emulate the multiple ways of non-conscious reasoning with the purpose of 11 applying them in knowledge based systems, neurocomputers and similar devices for aiding people 12 ...

Recent research in multi-valued logic for quantum computing has shown practical advantages for scaling up a quantum computer. [1,12] Multivalued quantum systems have also been used in the framework of quantum cryptography, [4] and the concept of a qudit cluster state has been proposed by generalizing the qubit cluster state. [5] An evolutionary algorithm based synthesizer for ternary quantum ci...

In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hybrid automata aims at combining the advantages of classical methods based either on the preorder of simulation or on bounded reachability. However, as originally defined, it relies on the preliminary definition of special abstr...

Compared with the conventional electronic computer, the Ternary Optical Computer (TOC) is the better idea for next generation computing tools because it possesses numerous data bits, enough intercom bandwidth, and inter controller made of electronic computer, but when designing optical calculators in TOC, there is much randomness that bring the manufacture of the optical calculators on lots of ...

Sibylla Priess-Crampe and Paulo Ribenboim recently established a general xed-point theorem for multivalued mappings deened on generalized ultrametric spaces, and introduced it to the area of logic programming semantics. We discuss, in this context, the applications which have been made so far of this theorem and of its corollaries. In particular, we will relate these results to Scott-Ershov dom...

This paper presents a new approach to an on-chip asynchronous transmission system suitable for next generation asynchronous on-chip networks. It implements multivalued logic to reduce the number of wires and a low-voltage swing for lower dynamic power dissipation. Furthermore, the transmission system described here enjoys fully static design and has zero static power consumption. Two versions o...