Paraconsistent logic

About: Paraconsistent logic is a research topic. Over the lifetime, 1610 publications have been published within this topic receiving 28842 citations.

A new approach for offer evaluation in multi-agent system negotiation based in evidential paraconsistent logic

Abstract: This paper presents a Paraconsistent Approach based on a heuristic of multi-valued decrement list followed by formalization into Evidential Paraconsistent Logic to evaluate offers in a negotiation session. The mission of an organization stands for its goals and also leads corrections likely to occur in the posture adopted by the organization before the society. In order to fulfill the goals of the organization, this one needs to interact with other components of the society. Within an organization each individual responsible for the sale and purchase of either commodities or services detains knowledge concerning possible values of the criteria used to represent a determined commodity or service which may be either offered or accepted in a negotiation. So, an offer may be seen as an inconsistency caused by the previous individual knowledge of the negotiator and the incoming offer. When compared to the Utility Value Approach, the Paraconsistent one converges toward the negotiation ending with fewer interactions.

Reformulation of Explanation by Linear Logic: Toward Logic for Explanation

Abstract: The use of the concept of “explanation” spreads extensively over fields of Artificial Intelligence: EBG, analogy, abduction, natural language understanding, diagnosis, etc Their formalisms, however, suffer inconveniences from the nature of the logic underlying them — classical logic This paper explores one of the crucial inconveniences stemming from classical logic and attempts newly to construct an adequate logic for “explanation” based on linear logic

Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic

Abstract: This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what adjustments it could work as a logic of induction in the philosophical sense. By making use of this analysis, we extend default logic so as to make it able to minimally perform the task of a logic of induction, having as a result a system which we believe has interesting properties from the standpoint of theory of confirmation. It is for instance able to represent chains of inductive rules as well as to reason paraconsistently on the conclusions obtained from them. We then use this logic to represent some traditional ideas concerning confirmation theory, in particular the ones proposed by Carl Hempel in his classical paper "Studies in the Logic of Confirmation" of 1945 and the ones incorporated in the so-called abductive and hy-pothetico-deductive models.

Duality in Some Intuitionistic Paraconsistent Logics

Abstract: Duality in constructive (or intuitionistic) logics is an important basic property since the dual counterpart of a given constructive logic can obtain a refutation or falsification of the information or knowledge which is described by the given logic. In this paper, duality in some intuitinistic paraconsistent logics is investigated. A constructive connexive logic (connexive logic for short) and Nelson’s paraconsistent four-valued logic are addressed as an example of such intuitionistic paraconsistent logics. A new logic called dual connexive logic (dCN), which is the dual counterpart of the connexive logic (CN), is introduced as a Gentzen-type sequent calculus. Some theorems for embedding dCN into CN and vice versa, which represent the duality between them, are shown. Similar embedding results cannot be shown for Nelson’s paraconsistent four-valued logic. But, similar embedding results can be shown for an extended Nelson logic with co-implication.