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...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Public Library of Science (PLoS)
2024-01-01
|
| Series: | PLoS ONE |
| Online Access: | https://journals.plos.org/plosone/article/file?id=10.1371/journal.pone.0296655&type=printable |
| _version_ | 1827307773507928064 |
|---|---|
| author | Miguel Pérez-Gaspar Javier Gomez Everardo Bárcenas Francisco Garcia |
| author_facet | Miguel Pérez-Gaspar Javier Gomez Everardo Bárcenas Francisco Garcia |
| author_sort | Miguel Pérez-Gaspar |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-24T18:46:17Z |
| format | Article |
| id | doaj.art-63e0607a7fe34e748ddb1510913fb917 |
| institution | Directory Open Access Journal |
| issn | 1932-6203 |
| language | English |
| last_indexed | 2024-04-24T18:46:17Z |
| publishDate | 2024-01-01 |
| publisher | Public Library of Science (PLoS) |
| record_format | Article |
| series | PLoS ONE |
| spelling | doaj.art-63e0607a7fe34e748ddb1510913fb9172024-03-27T05:32:34ZengPublic Library of Science (PLoS)PLoS ONE1932-62032024-01-01193e029665510.1371/journal.pone.0296655A fuzzy description logic based IoT framework: Formal verification and end user programming.Miguel Pérez-GasparJavier GomezEverardo BárcenasFrancisco GarciaThe 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.https://journals.plos.org/plosone/article/file?id=10.1371/journal.pone.0296655&type=printable |
| spellingShingle | Miguel Pérez-Gaspar Javier Gomez Everardo Bárcenas Francisco Garcia A fuzzy description logic based IoT framework: Formal verification and end user programming. PLoS ONE |
| title | A fuzzy description logic based IoT framework: Formal verification and end user programming. |
| title_full | A fuzzy description logic based IoT framework: Formal verification and end user programming. |
| title_fullStr | A fuzzy description logic based IoT framework: Formal verification and end user programming. |
| title_full_unstemmed | A fuzzy description logic based IoT framework: Formal verification and end user programming. |
| title_short | A fuzzy description logic based IoT framework: Formal verification and end user programming. |
| title_sort | fuzzy description logic based iot framework formal verification and end user programming |
| url | https://journals.plos.org/plosone/article/file?id=10.1371/journal.pone.0296655&type=printable |
| work_keys_str_mv | AT miguelperezgaspar afuzzydescriptionlogicbasediotframeworkformalverificationandenduserprogramming AT javiergomez afuzzydescriptionlogicbasediotframeworkformalverificationandenduserprogramming AT everardobarcenas afuzzydescriptionlogicbasediotframeworkformalverificationandenduserprogramming AT franciscogarcia afuzzydescriptionlogicbasediotframeworkformalverificationandenduserprogramming AT miguelperezgaspar fuzzydescriptionlogicbasediotframeworkformalverificationandenduserprogramming AT javiergomez fuzzydescriptionlogicbasediotframeworkformalverificationandenduserprogramming AT everardobarcenas fuzzydescriptionlogicbasediotframeworkformalverificationandenduserprogramming AT franciscogarcia fuzzydescriptionlogicbasediotframeworkformalverificationandenduserprogramming |