Department of Telecommunications, National Autonomous University of Mexico, Mexico City, Mexico.
Department of Computer Engineering, National Autonomous University of Mexico, Mexico City, Mexico.
PLoS One. 2024 Mar 22;19(3):e0296655. doi: 10.1371/journal.pone.0296655. eCollection 2024.
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.
物联网 (IoT) 已成为近年来最受欢迎的技术之一。计算能力、硬件可访问性和无线连接方面的进步使得人们、流程和设备之间能够进行各种应用和行业的通信。然而，这项技术的部署几乎完全局限于科技公司，使得最终用户只能访问特定的功能。本文提出了一个框架，允许没有技术知识的用户根据自己的需求构建自己的物联网应用。为此，提出了一个由两个构建块组成的框架。一个友好的接口块允许用户使用简单的操作规则（例如“如果温度低，打开加热器”）告诉系统要做什么。另一方面，由专家构建的模糊逻辑推理器块将人类语言的模糊性转换为对执行器的具体操作，例如“报警”。所提出的系统还可以实时检测并通知用户插入的规则是否不一致。此外，还引入了一个基于模糊描述逻辑的形式模型，用于物联网系统的一致性。最后，本文通过使用模糊逻辑推理器进行各种实验，展示了使用智能家居物联网安全系统作为示例的提出框架的可行性。
