Results 1 to 10 of about 1,589 (220)

Paraconsistent Annotated Logic Algorithms Applied in Management and Control of Communication Network Routes [PDF]

Sensors, 2021
This paper presents a computational method based on non-classical logic dedicated to routing management and information stream control in communication networks. Paraconsistent logic (PL) was used to create an algorithmic structure whose main property is
João Inácio Da Silva Filho, Jair Minoro Abe, Alessandro de Lima Marreiro, Angel Antonio Gonzalez Martinez, Cláudio Rodrigo Torres, Alexandre Rocco, Hyghor Miranda Côrtes, Mauricio Conceição Mario, Marcos Tadeu Tavares Pacheco, Dorotéa Vilanova Garcia, Maurício Fontoura Blos   +10 more
doaj   +4 more sources

Minimally inconsistent reasoning in Semantic Web. [PDF]

PLoS ONE, 2017
Reasoning with inconsistencies is an important issue for Semantic Web as imperfect information is unavoidable in real applications. For this, different paraconsistent approaches, due to their capacity to draw as nontrivial conclusions by tolerating ...
Xiaowang Zhang
doaj   +2 more sources

Paraconsistent Many-Valued Logic in GUHA Framework

Acta Informatica Pragensia, 2018
The primary aim of this paper is to establish a formal connection between a particular many-valued paraconsistent logic and the logic of a KDD method, namely the GUHA data mining method by introducing a new quantifier called Paraconsistent Separation ...
Esko Turunen
doaj   +2 more sources

Paraconsistent Logic and Its Place in Latin American Philosophy

RUDN Journal of Philosophy
This study presents an overview of paraconsistent logic, tracing its historical origins and development within what may be referred to as the Latin American school of paraconsistency.
Lauro de Matos Nunes Filho
doaj   +2 more sources

Paraconsistent Logic

, 2009
This chapter contains sections titled: Introduction Paraconsistent Logic and Latin America Thinking about Logic The Nature of Paraconsistent Logic A History of Paraconsistent Logic Philosophical Aspects of Paraconsistent Logic References Further ...
Newton C A da Costa
exaly   +2 more sources

A Note on Fernández–Coniglio’s Hierarchy of Paraconsistent Systems

Axioms, 2020
A logic is called explosive if its consequence relation validates the so-called principle of ex contradictione sequitur quodlibet. A logic is called paraconsistent so long as it is not explosive.
Janusz Ciuciura
doaj   +2 more sources

Paraconsistent logic from a modal viewpoint

Journal of Applied Logic, 2005
In this paper we study paraconsistent negation as a modal operator, considering the fact that the classical negation of necessity has a paraconsistent behavior.
Jean-Yves Béziau
exaly   +2 more sources

Proof theory of Nelson’s paraconsistent logic: A uniform perspective

Theoretical Computer Science, 2012
The aim of this paper is to obtain a theoretical foundation of inconsistency-tolerant (or paraconsistent) reasoning by presenting a comprehensive study of the structural proof-theory of David Nelson’s paraconsistent logic.
Norihiro Kamide, Heinrich Wansing
exaly   +2 more sources

Predictive Controller Based on Paraconsistent Annotated Logic for Synchronous Generator Excitation Control

Energies, 2023
This study presents a new Model Predictive Controller (MPC), built with algorithms based on Paraconsistent Annotated Logic (PAL), with application examples in the excitation control of a synchronous generator.
João Inácio Da Silva Filho, Raphael Adamelk Bispo de Oliveira, Marcos Carneiro Rodrigues, Hyghor Miranda Côrtes, Alexandre Rocco, Mauricio Conceição Mario, Dorotéa Vilanova Garcia, Jair Minoro Abe, Claudio Rodrigo Torres, Viviane B. Duarte Ricciotti, Antonio Carlos Duarte Ricciotti, Arnaldo de Carvalho, Germano Lambert-Torres   +12 more
doaj   +1 more source

Process of Learning from Demonstration with Paraconsistent Artificial Neural Cells for Application in Linear Cartesian Robots

Robotics, 2023
Paraconsistent Annotated Logic (PAL) is a type of non-classical logic based on concepts that allow, under certain conditions, for one to accept contradictions without invalidating conclusions.
João Inácio Da Silva Filho, Cláudio Luís Magalhães Fernandes, Rodrigo Silvério da Silveira, Paulino Machado Gomes, Sérgio Luiz da Conceição Matos, Leonardo do Espirito Santo, Vander Célio Nunes, Hyghor Miranda Côrtes, William Aparecido Celestino Lopes, Mauricio Conceição Mario, Dorotéa Vilanova Garcia, Cláudio Rodrigo Torres, Jair Minoro Abe, Germano Lambert-Torres   +13 more
doaj   +1 more source