Temperature Control using a Technique based on Paraconsistent Annotated Logic Luiz Carlos Rodrigues da Silva, Maurício Conceição Mario, Hyghor Miranda Cortês, Dorotéa Vilanova Garcia, João Inácio da Silva Filho

Abstract

In this paper we present an application of Paraconsistent annotated logic with annotations of two values (PAL2v) as industrial process controller. The non-classical logic theories denominated Paraconsistent logic and studies based on the analysis of the unit square in the Cartesian plane (USCP) and ParaAnalyzer algorithm were used on control circuits with microcontroller. The unit square in the Cartesian plane and ParaAnalyzer algorithm was implemented in open source software ARDUINO and development board based on the eight-bit microcontroller from ATMEL. From the whole hardware, software was developed using a temperature controller PAL2v the concepts called Paraconsistent controller (Contemp_PAL2v) and used in a process in closed loop. The application Contemp_PAL2v - was compared with a commercial temperature controller in the same process operating with ON/OFF and PID control. Whereas the first prototype the resulting comparative values show a good performance of the ConTempLPA2v.