Results 1 - 10 of 486

A Case for Paraconsistent Logic as Foundation of Future Information Systems

by Hendrik Decker - 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

by Jørgen Villadsen - 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

by Jørgen Villadsen - 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 non-monotonic solutions to the problem of con-tradictions. We propose a many-valued 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

by Marcos Ribeiro Do Nascimento, Luiz Alberto, Vieira Dias, João Inácio, Da Silva Filho
"... Nowadays, application model systems for decision-making based on non-classical logic such as Paraconsistent Logic are used successfully in the treatment of uncertainties. The method present-ed in this paper is based on the fundamental concepts of Paraconsistent Annotated Logic with an-notation 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 applica-tion model of Paraconsistent decision-making, which provides an analysis using Paraconsistent Logic in the treatment of uncertainties

Paraconsistent reasoning via quantified Boolean formulas, I: Axiomatising signed systems

by Torsten Schaub, Hans Tompits, Stefan Woltran - In Proc. JELIA’02, volume 2424 of LNCS , 2002
"... Abstract. Through minimal-model semantics, three-valued 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 minimal-model semantics, three-valued 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 ○ Springer-Verlag LNCS Paraconsistent Assertions

by Jørgen Villadsen
"... 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,

by Wolfram Schultz - 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 ○ Springer-Verlag LNCS Paraconsistent Query Answering Systems

by Jørgen Villadsen
"... 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 non-monotonic solutions to the problem of contradictions. We propose a many-valued 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ψ

by João Inácio, Da Silva Filho , 2011
"... We present in this paper an alternative of modeling physical systems through a non-Classical logic namely the Paraconsistent Logic (PL) whose main feature is the revocation of the principle of non-contradiction. 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 non-Classical logic namely the Paraconsistent Logic (PL) whose main feature is the revocation of the principle of non-contradiction. 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

by Alexander Bochman - Journal of Logic Programming , 1998
"... We suggested in [12] a general logical formalism for Logic Programming based on a four-valued 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