®®®® SIIA Público

Título del libro: Proceedings - 2024 International Conference On Intelligent Environments, Ie 2024
Título del capítulo: Consistent IoT Systems: A Perspective Based on Paraconsistent Descriptive Logic

Autores UNAM:
JAVIER GOMEZ CASTELLANOS; ISMAEL EVERARDO BARCENAS PATIÃ?O; FRANCISCO JAVIER GARCIA UGALDE;
Autores externos:

Idioma:

Año de publicación:
2024
Palabras clave:

Computer circuits; Computer hardware description languages; Consistency theorem; Data coherence; Data inconsistencies; Data reliability; Data stream; Decision-based; Non-classical logic; Paracon-sistent logic; User friendly; Internet of things


Resumen:

Internet of Things (IoT) devices generate vast and often contradictory data streams. This poses a challenge for IoT systems, which must make accurate and reliable decisions based on this data. Paraconsistent descriptive logic (PDL) is a branch of non-classical logic that can handle inconsistencies without compromising data reliability. We propose the integration of PDL into IoT systems to improve data coherence and reliability. We also introduce a Consistency Theorem that establishes rules for managing inconsistencies systematically and in a controlled way. Our efforts aim to pave the way for more robust, reliable, and user-friendly IoT systems. © 2024 IEEE.


Entidades citadas de la UNAM: