Simulating Inconsistencies in a Paraconsistent Logic Controller
p. 315-323
Résumé
In this paper we present a simulator based on the paraconsistent annotated logic Eτ (Para-Sim) that allows to deal with inconsistent or paracomplete signals in a non-trivial manner, besides dealing with fuzzy information. The simulator Para-Sim allows parameters to be modified by a paraconsistent analysis and conditions in order to obtain the optimization of the qualitative notions of real size, as distance between the robot and the obstacles, and also navigation speed.
Texte
Citer cet article
Référence papier
Jair Minoro Abe et João I. Da Silva Filho, « Simulating Inconsistencies in a Paraconsistent Logic Controller », CASYS, 12 | 2002, 315-323.
Référence électronique
Jair Minoro Abe et João I. Da Silva Filho, « Simulating Inconsistencies in a Paraconsistent Logic Controller », CASYS [En ligne], 12 | 2002, mis en ligne le 17 July 2024, consulté le 20 September 2024. URL : http://popups.lib.uliege.be/1373-5411/index.php?id=1836
Auteurs
Jair Minoro Abe
Institute For Advanced Studies – University of São Paulo, Av. Prof. Luciano Gualberto, trav. J, 374, térreo, Cidade Universitária, 05508-900 São Paulo – SP – Brazil ; SENAC – College of Computer Science and Technology, Rua Galvão Bueno, 430, 01506-000 São Paulo – SP - Brazil
João I. Da Silva Filho
Institute For Advanced Studies – University of São Paulo, Av. Prof. Luciano Gualberto, trav. J, 374, térreo, Cidade Universitária, 05508-900 São Paulo – SP – Brazil ; SENAC – College of Computer Science and Technology, Rua Galvão Bueno, 430, 01506-000 São Paulo – SP – Brazil