Results 1  10
of
486
A Case for Paraconsistent Logic as Foundation of Future Information Systems
 Information Systems’, CAiSE Workshops
, 2005
"... Abstract. Logic links philosophy with computer science and is the acknowledged foundation of information systems. Since the large scale proliferation of the internet and the world wide web, however, a rush of new technologies is avalanching, in many cases without much consideration of a solid founda ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
of classical logic begs question of its legitimacy, in the face of ubiquitous inconsistency in virtually all information systems of sizable extent. Based on that, we propose to overcome classical logic foundations by adopting paraconsistency as a foundational concept for future information systems engineering
Paraconsistent assertions
 In Second German Conference on Multiagent System Technologies
, 2004
"... Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an explosion. We argue that paraconsistent logics are especially advantageous in order to deal with assertions made ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
and it is described using key equalities for the logical operators. A case study is included. We briefly compare with logics based on bilattices. We finally investigate how to translate the paraconsistent logic into classical predicate logic thereby allowing us to make use of automated deduction of classical logic
Paraconsistent query answering systems
 International Conference on Flexible Query Answering Systems
, 2002
"... Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of par ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
of paraconsistent logics in query answering systems. We compare the paraconsistent and the nonmonotonic solutions to the problem of contradictions. We propose a manyvalued paraconsistent logic based on a simple notion of indeterminacy. In particular we describe the semantics of the logic using key equalities
An Application of Paraconsistent Annotated Logic for Design Software Testing Strategies
"... Nowadays, application model systems for decisionmaking based on nonclassical logic such as Paraconsistent Logic are used successfully in the treatment of uncertainties. The method presented in this paper is based on the fundamental concepts of Paraconsistent Annotated Logic with annotation of 2 ..."
Abstract
 Add to MetaCart
of networks of analyses (PANets) of signal information, where uncertain and contradictory signals may be found. Software test case scenarios are subordinated to an application model of Paraconsistent decisionmaking, which provides an analysis using Paraconsistent Logic in the treatment of uncertainties
Paraconsistent reasoning via quantified Boolean formulas, I: Axiomatising signed systems
 In Proc. JELIA’02, volume 2424 of LNCS
, 2002
"... Abstract. Through minimalmodel semantics, threevalued logics provide an interesting formalism for capturing reasoning from inconsistent information. However, the resulting paraconsistent logics lack so far a uniform implementation platform. Here, we address this and specifically provide a translat ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
Abstract. Through minimalmodel semantics, threevalued logics provide an interesting formalism for capturing reasoning from inconsistent information. However, the resulting paraconsistent logics lack so far a uniform implementation platform. Here, we address this and specifically provide a
Multiagent System Technologies — MATES 2004 c ○ SpringerVerlag LNCS Paraconsistent Assertions
"... Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an explosion. We argue that paraconsistent logics are especially advantageous in order to deal with assertions made ..."
Abstract
 Add to MetaCart
and it is described using key equalities for the logical operators. A case study is included. We briefly compare with logics based on bilattices. We finally investigate how to translate the paraconsistent logic into classical predicate logic thereby allowing us to make use of automated deduction of classical logic
Behavioral theories and the neurophysiology of reward,
 Annu. Rev. Psychol.
, 2006
"... ■ Abstract The functions of rewards are based primarily on their effects on behavior and are less directly governed by the physics and chemistry of input events as in sensory systems. Therefore, the investigation of neural mechanisms underlying reward functions requires behavioral theories that can ..."
Abstract

Cited by 187 (0 self)
 Add to MetaCart
provides quantifiable assessments of outcomes under uncertainty and has gone a long way to explain human and animal decision making, even though more recent data cast doubt on the logic in some decision situations A Call for Behavioral Theory Primary sensory systems have dedicated physical and chemical
FQAS 2002 c ○ SpringerVerlag LNCS Paraconsistent Query Answering Systems
"... Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of par ..."
Abstract
 Add to MetaCart
of paraconsistent logics in query answering systems. We compare the paraconsistent and the nonmonotonic solutions to the problem of contradictions. We propose a manyvalued paraconsistent logic based on a simple notion of indeterminacy. In particular we describe the semantics of the logic using key equalities
Paraconsistent Annotated Logic in Analysis of Physical Systems: Introducing the Paraquantum Factor of Quantization hψ
, 2011
"... We present in this paper an alternative of modeling physical systems through a nonClassical logic namely the Paraconsistent Logic (PL) whose main feature is the revocation of the principle of noncontradiction. The Paraconsistent Annotated Logic with annotation of two values (PAL2v) is a type of PL ..."
Abstract
 Add to MetaCart
We present in this paper an alternative of modeling physical systems through a nonClassical logic namely the Paraconsistent Logic (PL) whose main feature is the revocation of the principle of noncontradiction. The Paraconsistent Annotated Logic with annotation of two values (PAL2v) is a type
A Logical Foundation for Logic Programming II: Semantics of General Logic Programs
 Journal of Logic Programming
, 1998
"... We suggested in [12] a general logical formalism for Logic Programming based on a fourvalued inference. In this paper we give a uniform representation of various semantics for logic programs based on this formalism. The main conclusion from this representation is that the distinction between these ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
these semantics can be largely attributed to the difference in their underlying (monotonic) logical systems. Moreover, in most cases the difference can even be reduced to that of the language, that is, to the difference in the logical connectives allowed for representing derivable information. Keywords
Results 1  10
of
486