References
Facsimile [PDF, 4.4M]

Simulating Inconsistencies in a Paraconsistent Logic Controller

Jair Minoro Abe and João I. Da Silva Filho

p. 315-323

    Abstract

    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.

    Index

    Keywords

    non-classical logic and simulating, autonomous mobile robot, paraconsistent logic and applications, logic controller

    Text

    Download Facsimile [PDF, 4.4M]

    References

    Bibliographical reference

    Jair Minoro Abe and João I. Da Silva Filho, « Simulating Inconsistencies in a Paraconsistent Logic Controller », CASYS, 12 | 2002, 315-323.

    Electronic reference

    Jair Minoro Abe and João I. Da Silva Filho, « Simulating Inconsistencies in a Paraconsistent Logic Controller », CASYS [Online], 12 | 2002, Online since 17 July 2024, connection on 20 September 2024. URL : http://popups.lib.uliege.be/1373-5411/index.php?id=1836

    Authors

    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

    By this author

    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

    By this author

    Copyright

    CC BY-SA 4.0 Deed