One of the fundamental goals of artificial intelligence (AI) is to build artificially computer-
based systems which make computer simulate, extend and expand human's intelligence …

Annotated logics were introduced in [43] and later studied in [5, 7, 31, 32]. In [32],
annotations were extended to allow variables and functions, and it was argued that such …

The notion of bilattice was introduced by Ginsberg, and further examined by Fitting, as a
general framework for many applications. In the present paper we develop proof systems …

This paper reviews the paraconsistent annotated evidential logic (PAL E τ) research. This
non-classical logic has gained attention in several real-world applications, including …

Publisher Summary This chapter discusses paraconsistent logics (PL) and paraconsistency.
PL are the logics of inconsistent but nontrivial theories. A deductive theory is paraconsistent …

This book constitutes a self-contained and unified approach to automated reasoning in
multiple-valued logics (MVL) developed by the author. Moreover, it contains a virtually …

Untitled Page 1 Page 2 COGNITIVE INTERFERENCE Theories, Methods, and Findings Page 3
The LEA Series in Personality and Clinical Psychology Irving B. Weiner, Editor Exner. Issues and …

In the present paper, resolution-based automated reasoning theory in an L-type fuzzy logic
is focused. Concretely, the α-resolution principle, which is based on lattice-valued …

A large Knowledge System operating for a long time almost inevitably becomes 'polluted'by
wrong data that make the system inconsistent. Despite this fact, a sizeable part of the system …

In the present paper, as a continuous work about α-resolution principle based on lattice-
valued propositional logic LP (X)(Information Sciences 130 (2000) 1–29) whose algebra of …