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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:PloS one Ročník 19; číslo 3; s. e0296655
Hlavní autoři: Pérez-Gaspar, Miguel, Gomez, Javier, Bárcenas, Everardo, Garcia, Francisco
Médium: Journal Article
Jazyk:angličtina
Vydáno: United States Public Library of Science 22.03.2024
Public Library of Science (PLoS)
Témata:
Actuators
Biosensors
Fuzzy algorithms
Fuzzy logic
Fuzzy systems
Health aspects
Methods
Mexico
ISSN:1932-6203, 1932-6203
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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