Results 1 to 10 of about 5,206 (148)

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   +2 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

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

Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account [PDF]

, 2021
One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found.
Carnielli, Walter, Coniglio, Marcelo E., Fuenmayor, David   +2 more
core   +2 more sources

Tolerating Inconsistencies: A Study of Logic of Moral Conflicts

Bulletin of the Section of Logic, 2022
Moral conflicts are the situations which emerge as a response to deal with conflicting obligations or duties. An interesting case arises when an agent thinks that two obligations A and B are equally important, but yet fails to choose one obligation over ...
Meha Mishra, A.V. Ravishankar Sarma
doaj   +1 more source

A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics

Bulletin of the Section of Logic, 2021
In this paper, we consider the class of four-valued literal-paraconsistent-paracomplete logics constructed by combination of isomorphs of classical logic CPC. These logics form a 10-element upper semi-lattice with respect to the functional embeddinig one
Natalya Tomova
doaj   +1 more source

Rotary Inverted Pendulum Identification for Control by Paraconsistent Neural Network

IEEE Access, 2021
Artificial neural networks (ANNs) have been used over the last few decades to perform tasks by learning with comparisons. Fitting input-output models, system identification, control, and pattern recognition are some fields for ANN applications.
Arnaldo de Carvalho, Joao Francisco Justo, Bruno Augusto Angelico, Alexandre Manicoba de Oliveira, Joao Inacio da Silva Filho   +4 more
doaj   +1 more source

AGM-Like Paraconsistent Belief Change [PDF]

, 2017
Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle ...
Coniglio, Marcelo E., Ribeiro, Márcio M., Testa, Rafael R.   +2 more
core   +1 more source

Paraconsistent Random Forest: An Alternative Approach for Dealing With Uncertain Data

IEEE Access, 2019
Pattern recognition algorithms have introduced increasingly sophisticated solutions. However, many datasets are far from perfect; for example, they may include inconsistencies and have missing data, which may interfere with the classification process ...
Gabriela W. Favieiro, Alexandre Balbinot
doaj   +1 more source