Topic
Paraconsistent logic
About: Paraconsistent logic is a research topic. Over the lifetime, 1610 publications have been published within this topic receiving 28842 citations.
Papers published on a yearly basis
Papers
More filters
••
01 Apr 19902 citations
•
TL;DR: This paper discusses how PANN can be a basis for a reasoning model for the human brain, based on a paraconsistent annotated evidential logic Eτ, which encompasses the classical logic and Fuzzy reasoning.
Abstract: In this expository work, we sketch some applications of a new theory of Artificial Neural Network -
ANN, based on a paraconsistent annotated evidential logic Eτ. Such theory, called Paraconsistent Artificial
Neural Network - PANN - has as characteristics the capability of manipulating uncertain, inconsistent and
paracomplete concepts directly without trivialization. PANN differs from other usual ANNs which are based on
classical logic or in some of its extensions. Some aspects such as the capability of adaptation, velocity
processing, and other useful characteristics make the PANN a promising theory. Although there are some
essential non-classical approaches for reasoning (v.g Fuzzy Set Theory) in this paper, we discuss how PANN
can be a basis for a reasoning model for the human brain. As the logic Eτ encompasses the classical logic and
Fuzzy reasoning, we believe that PANN can be the basis for a new model for the computational scope of the
Neuroscience.
2 citations
••
2 citations
••
14 Sep 2005TL;DR: This work presents some of the investigations concerning paraconsistent, paracomplete and non-alethic systems for knowledge representation in AI and focuses on non- alethic knowledge in distributed systems.
Abstract: In this work we present some of our investigations concerning paraconsistent, paracomplete and non-alethic systems for knowledge representation in AI. Inconsistency and paracompleteness are natural phenomena in describing parts of our reality. Thus, we need more generical tools, i.e., formal systems for modeling contradictory and paracomplete knowledge, and in this paper we focus non-alethic knowledge in distributed systems.
2 citations
••
01 Jan 2012TL;DR: It is shown that the answer depends on the paraconsistent logic in question, and this is done by discussing logics with constructible negation.
Abstract: The distinction between realism and anti-realism about some topic is often couched in terms of the question of whether classical or intuitionist logic is applicable to it. Is paraconsistent logic realist or anti-realist? In this paper it is shown that the answer depends on the paraconsistent logic in question. This is done by discussing logics with constructible negation.
2 citations