… The main argument in favour of the use of multi-valued logics is the criterion of "true" intelligence
… specific multi-valued logics that allow a variable understanding of the category of Truth. …

… The overhead for the bookkeeping system generally was approximately 60 % , in that
inference tasks that did not need to make use of the multivalued facility ran 60% more slowly than …

… in the multi-valued logic examined. … multi-valued logic in the DIAG 2 diagnostic system. For
this purpose, a procedure of the classification of states in selected values of multi-valued logic …

A great deal of recent theoretical work in inference has involved extending classical logic in
some way. I argue that these extensions share two properties: firstly, the formal addition of …

… of classical logicians, has found its way into practical applications to almost all fields of
human activity, from control theory to artificial intelligence and has proved very successful there. …

… between many-valued logic and fuzzy logic. As both of these logics have-appropriately-fuzzy …
In particular, we have omitted the use of many-valued logic to prove the independence of ax…

… multi-valued logics and not the particular implementation. However, the implementation is
useful because it allows one to exemplify the theory, and also shows its applicability. Section …

… The lack of the exact multi-valued or fuzzy logic system for … a new formalism of multi-valued
logic and fuzzy logic for … In Section 2 we introduce a multi-valued logic for preferences (FMPL) …

… The multi-valued logics which are of interest to this research include: … to artificial intelligence
has been a … to this thesis is the application of multi-valued logic in artificial intelligence. …

… a multivalued logic is interpreted. Then we are able to estimate different graph transformation
variants by the truth-values set of the logic … also to use the multi-valued logic of the category …