检索结果-南通市图书馆

Modelling and Verification of Context-Aware Intelligent Assistive Formalism

Computers, Materials & Continua 2022年第5期71卷 3355-3373页

作者： Shahid Yousaf hafiz mahfooz ul haque Abbas Khalid Muhammad Adnan Hashmi Eraj Khan Department of Computer Science&IT The University of LahoreLahore54000Pakistan Department of Software Engineering The University of LahoreLahore54000Pakistan Higher Colleges of Technology Abu Dhabi25026UAE

Recent years have witnessed the expeditious evolution of intelligentsmart devices and autonomous software technologies with the expandeddomains of computing from workplaces to smart computing in everydayroutine life activities. This trend has been rapidly advancing towards the newgeneration of systems where smart devices play vital roles in acting intelligently on behalf of the users. Context-awareness has emerged from the pervasive computing paradigm. Context-aware systems have the ability to acquirecontextual information from the surrounding environment autonomously,perform reasoning on it, and then adapt their behaviors accordingly. With theproliferation of context-aware systems and smart sensors, real-time monitoring of environmental situations (context) has become quite trivial. However,it is often challenging because the imperfect nature of context can cause theinconsistent behavior of the system. In this paper, we propose a contextaware intelligent decision support formalism to assist cognitively impairedpeople in managing their routine life activities. For this, we present a semanticknowledge-based framework to contextualize the information from the environment using the protégé ontology editor and Semantic Web Rule Language(SWRL) rules. The set of contextualized information and the set of rulesacquired from the ontology can be used to model Context-aware Multi-AgentSystems (CMAS) in order to autonomously plan all activities of the users andnotify users to act accordingly. To illustrate the use of the proposed formalism,we model a case study of Mild Cognitive Impaired (MCI) patients usingColored Petri Nets (CPN) to show the reasoning process on how the contextaware agents collaboratively plan activities on the user’s behalf and validatethe correctness properties of the system.

关键词： Context-awareness multi-agents colored petri net ontology

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：