A fuzzy description logic based IoT framework: Formal verification and end user programming

The Internet of Things (IoT) has become one of the most popular technologies in recent years. Advances in computing capabilities, hardware accessibility, and wireless connectivity make possible communication between people, processes, and devices for all kinds of applications and industries. However...

Full description

Saved in:
Bibliographic Details
Published in:PloS one Vol. 19; no. 3; p. e0296655
Main Authors: Pérez-Gaspar, Miguel, Gomez, Javier, Bárcenas, Everardo, Garcia, Francisco
Format: Journal Article
Language:English
Published: United States Public Library of Science 22.03.2024
Public Library of Science (PLoS)
Subjects:
Actuators
Biosensors
Fuzzy algorithms
Fuzzy logic
Fuzzy systems
Health aspects
Methods
Mexico
ISSN:1932-6203, 1932-6203
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The Internet of Things (IoT) has become one of the most popular technologies in recent years. Advances in computing capabilities, hardware accessibility, and wireless connectivity make possible communication between people, processes, and devices for all kinds of applications and industries. However, the deployment of this technology is confined almost entirely to tech companies, leaving end users with only access to specific functionalities. This paper presents a framework that allows users with no technical knowledge to build their own IoT applications according to their needs. To this end, a framework consisting of two building blocks is presented. A friendly interface block lets users tell the system what to do using simple operating rules such as “if the temperature is cold, turn on the heater.” On the other hand, a fuzzy logic reasoner block built by experts translates the ambiguity of human language to specific actions to the actuators, such as “call the police.” The proposed system can also detect and inform the user if the inserted rules have inconsistencies in real time. Moreover, a formal model is introduced, based on fuzzy description logic, for the consistency of IoT systems. Finally, this paper presents various experiments using a fuzzy logic reasoner to show the viability of the proposed framework using a smart-home IoT security system as an example.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ISSN:1932-6203
1932-6203
DOI:10.1371/journal.pone.0296655