Results 121 to 130 of about 7,093 (165)

Multi-valued neural logic networks

Proceedings of the Twentieth International Symposium on Multiple-Valued Logic, 2002
Two types of networks that are useful in developing expert systems are proposed. The probabilistic network can be used for predictive types of expert systems, whereas the fuzzy network is more suitable for expert systems that help in decision-making. In both cases, the expert system can operate in two modes.
Loke-Soo Hsu, Hoon heng Teh, Sing-Chai Chan, Kia-Fock Loe   +3 more
openaire   +1 more source

Multi-valued autoepistemic logic

Annals of Mathematics and Artificial Intelligence, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Model Checking with Multi-valued Logics

2004
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.
Glenn Bruns, Patrice Godefroid
openaire   +1 more source

Multi-Valued Logics

1998
It is almost a safe bet to assume that most students, after receiving the first rudiments of Boolean calculus, wonder: “Why not more than two truth-values?” This question is both natural and vague; attempts to give an answer originated a lot of logical systems.
openaire   +2 more sources

CWA Extensions to Multi-Valued Logics

Journal of Applied Non-Classical Logics, 2003
The closed world assumption (CWA) plays a fundamental role in the theory of deductive databases. On the other hand, multi-valued logics occupy a vast field in non-classical logics. Some questions are better explained and expressed in terms of such logics.
openaire   +1 more source

Multi-Valued MSO Logics OverWords and Trees

Fundamenta Informaticae, 2008
We introduce multi-valued Büchi and Muller automata over distributive lattices and a multi-valued MSO logic for infinite words. For this logic, we prove the expressive equivalence of ω-recognizable and MSO-definable infinitary formal power series over distributive lattices with negation function. Then we consider multi-valued Muller tree automata and a
Manfred Droste, Werner Kuich, George Rahonis   +2 more
openaire   +3 more sources

Verification of multi-valued logic networks

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96), 2002
A method for verification of Multi-Valued Logic Networks (MVLNs) using Ordered Multi-Valued Decision Diagrams (OMDDs) is presented. For tree-like MVLNs an upper bound on the OMDD size can be proven. Thus, heuristics known for OBDDs can also be used for OMDDs. A large set of experiments is presented that underlines the efficiency of the approach.
openaire   +1 more source

CWA formalizations in multi-valued logics

Journal of Computer Science and Technology, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Engineering aspects of multi-valued logic systems

Computer, 1974
We live in a binary world of computers, accepting the inevitability of dealing with strings of O's and l's, simply because this is dictated by the two-valued nature of switching primitives which make up the machines. Yet there is little doubt that most of us would prefer decimal machines if they were available.
Zvonko G. Vranesic, Kenneth C. Smith
openaire   +1 more source

Model checking with multi-valued temporal logics

Proceedings 31st IEEE International Symposium on Multiple-Valued Logic, 2002
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dynamic properties of systems where complete, agreed upon models of the system are not available.
Marsha Chechik, Steve M. Easterbrook, Benet Devereux   +2 more
openaire   +1 more source