Analysis of the paraconsistency in some logics

In Artificial Intelligence, as well as in data base updating or in the design of intelligent agents, it is necessary the use of contradictory information. For that, it is useful to direct our attention to paraconsistent logics. The goal of the present survey is to offer an initial analysis on paraconsistency in some logics like Pac, RM3, Lukasiewicz, G3.

• Type: Conference
• Year: 2007
• Where: LANMR
• Authors: Eduardo Ariza, José Arrazola
• Keywords: Artificial Intelligence, Intelligent Agents, LANMR 2007, Logical Reasoning, Paraconsistent Logics