• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    Modelling and Verification of Context-Aware Intelligent Assistive Formalism

    2022-08-24 03:29:40ShahidYousafHafizMahfoozUlHaqueAbbasKhalidMuhammadAdnanHashmiandErajKhan
    Computers Materials&Continua 2022年5期

    Shahid Yousaf,Hafiz Mahfooz Ul Haque,Abbas Khalid,Muhammad Adnan Hashmi and Eraj Khan

    1Department of Computer Science&IT,The University of Lahore,Lahore,54000,Pakistan

    2Department of Software Engineering,The University of Lahore,Lahore,54000,Pakistan

    3Higher Colleges of Technology,Abu Dhabi,25026,UAE

    Abstract:Recent years have witnessed the expeditious evolution of intelligent smart devices and autonomous software technologies with the expanded domains of computing from workplaces to smart computing in everyday routine life activities.This trend has been rapidly advancing towards the new generation 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 acquire contextual information from the surrounding environment autonomously,perform reasoning on it,and then adapt their behaviors accordingly.With the proliferation 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 the inconsistent behavior of the system.In this paper, we propose a contextaware intelligent decision support formalism to assist cognitively impaired people in managing their routine life activities.For this,we present a semantic knowledge-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 rules acquired from the ontology can be used to model Context-aware Multi-Agent Systems(CMAS)in order to autonomously plan all activities of the users and notify users to act accordingly.To illustrate the use of the proposed formalism,we model a case study of Mild Cognitive Impaired (MCI) patients using Colored Petri Nets(CPN)to show the reasoning process on how the contextaware agents collaboratively plan activities on the user’s behalf and validate the correctness properties of the system.

    Keywords: Context-awareness;multi-agents;colored petri net;ontology

    1 Introduction

    In recent years, interest and demand for smart systems and applications have been rapidly evolving.With their remarkable upsurge, smart devices and autonomous applications are becoming more complex,optimized,sophisticated,and efficient.In this arena,numerous devices are impeccably integrated via portable or embedded devices by providing readily available services to facilitate users at anytime and anywhere.Using these devices and applications,everyday users spend much time and effort to accomplish their tasks and autonomously exchange information among different devices and/or platforms for complex problem solving and make their lives much more comfortable,relaxed,and reliable,but device-dependent.Context-aware computing has been considered as one of the most emerging paradigms which provide freedom from the bondage of traditional computing systems to adaptive and highly dynamic computing.Context-aware systems often run in a highly decentralized environment and exhibit complex adaptive behaviors without or with very limited human interaction.

    Literature has revealed a significant amount of work in intelligent assistive formalisms and applications with the incorporation of context-awareness in different domains such as safety-critical systems [1,2], disaster recovery systems [3,4], traffic management systems [5,6], different healthcare solutions[7,8],etc.Among others,Mild Cognitive Impairment(MCI)is one of the most commonly spread diseases in elderly age people.These people become helpless and are bound to stay at home due to MCI disease.In mild cognitive impairment,people gradually start facing a feeling of slight and unnoticeable decline in memory.Cognitive impairment mostly starts around the age of 65 or above.According to United Nations(UN)Population Division,the population of elderly people is feared to increase by more than 2 billion by 2050[9].Commonly,these people face difficulties in remembering,decision-making,learning new things,and planning&scheduling daily life activities.They require the assistance of a person/device to drive their regular activities like taking meals,medication,attending social events(wedding ceremony,birthday party,etc.),as well as important events like official meetings and doctor’s appointments,etc.These people can perform their routine life activities easily with little help like notification and alarm.They feel more comfortable and live like normal people if their smart devices such as smartphones or Personal Digital Assistants(PDA)assist them to plan and schedule their routine life activities.Intelligent assisted applications have the great potential to improve the quality of life by rendering a wide range of personalized services and providing users with easier and more efficient ways to exchange information and help interact with other people.For example; in[10],authors have developed a cognitive assistant to help cognitively impaired people.For this,they proposed a system called COACH to assist dementia patients by reminding them about different daily life activities.Such types of assistive application systems are used to manage routine life activities of a person where context is the primary component since it provides the requisite information about the current status/activities of the person under consideration.The authors in [11], presented an Autominder system,which is a personal robotic assistant for elderly people to help them in dealing with memory impairment.This system issues reminders to notify cognitively impaired people in managing and planning their daily life activities such as taking medicines on time and engaging them in social and family activities.Although a significant effort has been made by the researchers to build intelligent assistive applications in different domains, however, the semantic knowledge-based context-aware intelligent assistive formalism for cognitive impairment is still in its infancy and needs to be rigorously studied for the exploitation of its innate potential.In this paper,we propose a context-aware intelligent assistive formalism for cognitively impaired people to schedule and plan their daily life activities without or with minimal human assistance.This formalism consists of three layers named as sensors layer, semantic layer, and contextual reasoning layer.In the sensors layer, we assume that the raw data is fetched through the context-aware agents from the environment and this data is contextualized using the ontology.In the semantic layer, the desired contextualized information is obtained from a semantic knowledge source using SPARQL queries and the set of facts and the set of rules are extracted using semantic knowledge transformation mechanism.In the reasoning layer,a context-aware multiagent system collaboratively plans the activities to infer the desired results and notify patients to take appropriate actions accordingly.To illustrate the use of the proposed formalism, we model a case study of cognitively impaired patients in Colored Petri Nets to analyze the behavior of the system and validate the correctness properties.

    The rest of the paper is structured as follows:Section 2 describes preliminaries and related work.Section 3 presents contextualizing semantic knowledge ontology to represent the context in the machine-processable form.In Section 4,we propose a context-aware multi-agent reasoning formalism for cognitive impairments.Section 5 presents a comprehensive case study for MCI patients along with its execution strategies and evaluates the correctness properties and we finally conclude in Section 6.

    2 Preliminaries and Related Work

    2.1 Contextual Modelling and Reasoning

    Literature has revealed several definitions of contexts so far.Among others, Dey et al.[12]define context as “Any information that can be used to characterize the situation of entity is called context information”.Context information has been classified in different forms along with its different properties such as(a)User context(identity,preference,activity,location)(b)Device context(processor speed, screen size, location) (c) Application context (version, availability) (d) Physical environment context(illumination,humidity)(e)Resource context(availability,size,type)(f)Network context(minimum speed,maximum speed)(g)Location context(where it is subsumed)(h)Activity context (start time, end time, actor) to name a few.In general, there are four major categories to acquire contextual information from different sources such as applying sensors,network information,device status, and browsing user profiles.The contextual instances can be classified further in two dimensions,i.e.,external(physical)and internal(logical).In an external context,data is manipulated by the hardware sensor,while in an internal context,data is manipulated by the interaction of the user(user goals,tasks,emotions,etc.).Context-aware systems and applications are typically designed using smart and intelligent devices with embedded sensors such as smartphones,smartwatches,intelligent assistants, etc.Intelligent assistants have usually customized devices embedded with sensors and/or components,which acquire contextual information from the environment through the physical sensors or logical sensors, perform reasoning based on the existing knowledge, and assist people in their respective activities.

    In context-aware computing, context modelling has been considered to be the most promising approach for contextualizing information.As a context is captured from the different perspectives,a uniform context representation approach is very essential.Context Modelling refers to defining and storing context data in a machine-processable form[13].Literature has revealed various context modelling approaches including Key-Value Models [14,15], Markup Scheme Models [16,17], Graphical Model[18,19],Logic-Based Modelling[20,21],Object-Oriented Models[22–24]and Ontology-Based Models[25–27].Among others,the ontology-based context-modelling approach has been advocated as the most promising approach due to its modular structuring mechanism,reusability,independence of its own identity[28–32].In this paper,we choose the ontology-driven context modelling approach for the proposed intelligent assistive formalism.

    Contextual reasoning plays a vital role in the domain of context-aware systems to infer the contextualized information from the existing knowledge sources and lets the system to take decisions intelligently and interactively in a real-time environment.Contextual reasoning mechanism is used to make decisions dynamically whenever there is a change in the user’s context.The use of contextual reasoning using Multi-Agent Systems (MAS) increases the cognitive ability of the context-aware agents to sense the environment,perform reasoning and take actions accordingly in order to achieve the desired goals.Literature has revealed various reasoning techniques such as BDI (belief-desireintention) [33], case-based reasoning [34], rule-based reasoning [35], etc.Among others, rule-based reasoning has been considered as one of the most simple and efficient reasoning techniques to perform reasoning when developing expert decision-making systems.

    2.2 Related Work

    Numerous efforts have been made in the development of context-aware intelligent assistive systems with the incorporation of context modelling and reasoning.Intelligent assistants facilitate the users by assisting them in the achievement of their short-term as well as long-term goals as described earlier.An intelligent assistant is a software agent that helps the user by performing tasks on its behalf [36].There has been a growing interest in intelligent assistants for a variety of systems and applications.In [37], authors have presented a framework called DynaMoL for managing the follow-up of a colorectal cancer patient.This is a dynamic decision analysis framework that used the Bayesian learning model to learn from the large medical database.Besides, in [38], yet another intelligent assistant called Intelligent Therapy Assistant (ITA) has been developed to assist the therapists in configuring the patient’s treatments in the Guttmann Neuro Personal Trainer (GNPT)platform.This ITA used data mining techniques on large stored data to treat every patient depending on his/her profile.Similarly in [39], the authors presented an automated cognitive assistant system about transportation for mentally retarded people suffering from traumatic brain injuries so that they can easily use public transport.This system is implemented with a GPRS-enabled cell phone,Bluetooth sensor beacon (separate from the cell phone and placed in user’s pocket or purse), and inference engine (a software that learns from the user’s history and behavior to reason about users’transportation routines).Primarily, this system is developed to provide a route starting point to destination with minimum intervention of the user.Moreover, a prototype of a smart home for cognitively impaired people has been presented in [40] which assists patients in their initiatives and helps them in performing their daily life activities.Apart from that,in[41],the authors have shown a large number of assistive living tools,and systems for the assistance of elderly people suffering from various mental impairments.A variety of theoretical as well as practical systems have been presented in this paper to help people suffering from dementia and other cognitive impairments like OutCare[42],wireless health care system[43],etc.

    3 Contextualizing Semantic Knowledge Ontology

    Semantic web technologies [44] are considered to be the most optimal choice for context modelling and knowledge representation in intelligent and dynamic environments due to their uniform representation and reasoning capability.Ontology is the explicit formal specifications of different terms/concepts,which are used to share information in a particular domain.Ontology has different generations such as Web Ontology Language(OWL)namely OWL 1 and OWL 2[45].OWL-1 has three variants[46]namely OWL-Lite,OWL-DL,and OWL-Full.Similarly,OWL 2 has three sub-languages[47]such as OWL 2 EL,OWL 2 QL,and OWL 2 RL.We have chosen OWL 2 RL since it provides scalable reasoning without compromising the expressive power.Further,it enables implementation in polynomial time with rule-based technologies.Semantic Web Rule Language(SWRL)can be used to write complex rules.It enhances the expressivity,completeness,and allows users to write user-defined rules for characterizing the complex systems.To model the domain,we have opted the ontology-based context modelling approach to contextualize the context-aware intelligent assistive formalism.For this purpose, we develop the ontology and construct OWL 2 RL and SWRL rules.The ontology consists of 66 classes in total,wherePerson,UserAgent,PlannerAgentandContextual_Agentsare the superclasses;the rest are their child classes.A few example of object and data properties are:HasRegID,ActivityLocation, HasPlannedActivity, ActivityDate, ActivityStartTimeandActivityEndTime.Rules are formulated from ontology classes,data and object properties.The proposed context model provides the structure of contextualized information to all nominated agents.All types of contexts which can be possibly used by intelligent assistant/agents to assist MCI Patients are defined by categorizing them accordingly,i.e.,we have divided context into the following categories:social context,entertainment context, environmental context, exercise-related context, food-related context, in-home everyday context,medical context,office-related context,to-do thing context,saloon related context,location context and traveling context.A fragment of the ontology is shown in Fig.1.The Fig.2 depicts the class hierarchies of the MCI Patient’s Context.

    Figure 1:A fragment of the ontology of intelligent assistant for MCI patients

    To execute the MCI domain in the Protégé ontology editor,the SPARQL query language is used to check and analyze the results, and it is specifically designed for the semantic web ontologies to evaluate extensible value testing [48].For this, we executed a number of queries using the SPARQL query plugin in the Protégé ontology editor and some of the example queries are given in Tab.1.

    Figure 2:Class hierarchies of the MCI patients’context

    Table 1:Some example SPARQL queries

    Table 1:Continued

    4 Context-Aware Multi-Agent Reasoning Formalism

    In this section, we present a semantic knowledge-based intelligent assistive formalism using a context-aware Multi-Agent System.This formalism consists of a set of agents where each agent in the system has a set of facts (contextualized information), a set of rules, and a reasoning strategy.These agents acquire the contextualized information from the corresponding environment which is obtained from the ontology.Further, they perform reasoning using a set of rules; share the contextualized information among different agents in order to infer the desired results, and adapt behaviors accordingly.In context-aware multi-agent settings, knowledge is shared among different agents.Moreover, ontology provides declarative semantics to assist intelligent agents in contextual reasoning.As shown in Fig.3,the architecture of context-aware intelligent assistive formalism consists of three different layers.The lower layer (sensors layer) interacts with the environment of the user.Further, we assume that the user is carrying the smartphone with him/her, and raw contextual information(user’s activities)is acquired with the help of different sensors of the smartphone from the physical environment.This raw context information is interpreted on the intermediate layer(semantic layer).This interpretation process of context is called context modelling and OWL ontologies are developed to represent the context in the machine-processable form in a standardized format.No doubt, context modelling is an integral part of context-aware assistive applications since the nonintrusive behavior of the assistive application is not possible without the proper understanding of the user’s context.The upper layer is the contextual reasoning layer consisting of two modules, i.e.,contextual agents and context-aware rule-based reasoning.

    The proposed system consists of a set of context-aware agents, i.e., Social Agent, Food Agent,Medical Agent,etc.These context-aware agents receive machine-processable contextualized information from the semantic layer and provide the contextualized information so obtained, to the User Agent and Planner Agent.A user agent interacts with the user to receive and send the information(activities and their schedule).A Planner agent plans all activities of the user with the coordination of other contextual agents (depending on the user’s activities) and then sends it to the user agent.Then, the user agent shows this plan to the user.As the user acknowledges, the Planner agent saves this plan and sends an updated plan to the corresponding agents.The contextual agents continuously synchronize themselves with the environmental context through sensors/agents and monitor the activities of the user continuously and update the Planner Agent after certain intervals of time.If the user deviates from his/her scheduled plan,the Planner agent sends alerts to the user agent.Besides,the second component of the third layer is context-aware rule-based reasoning.A set of generic rules is designed to reason about the user’s context with the help of contextual agents.The rules are defined in the SWRL format,its general representation is as following

    Figure 3:Architecture of context-aware intelligent assistive formalism

    An antecedent is a body and the consequent is the head of the rule.Whenever the specified condition holds true in the antecedent part then ultimately the condition in the consequent part must be held true.The antecedent and consequent both are the conjunctions of atoms which are written in the form ofa1,a2...,an.The question mark(?X),followed a variable is used to denote the variables,for example:

    HerePerson,RegID,hasRegID and Userare the rule atoms,(?u)and(?id),are the variable and after assigning values to variable this rule becomes in the following form:

    The above rule will be interpreted as “there is a person “Bob”and registration ID “R01”, and Bob has the registration ID“R01”therefore he is a registered user”.

    In this work, a context-aware rule-based reasoning system collaboratively plans activities and makes decisions dynamically whenever there is the faintest change in the user’s context.Usage of contextual reasoning increases the cognitive ability of the context-aware agents in achieving their desired goals,of course.

    5 Modelling and Reasoning MCI Patient’s Case Study Using CMAS

    To demonstrate the usability and practical effectiveness of the proposed formalism, we present a case study of MCI patients.This case study has been designed for the people who normally face difficulty in recalling their activities on daily basis.This system would assist the patients in planning and managing their daily routine life activities.We develop a scenario for a cognitively impaired person,namely Bob, who usually forgets to attend important office meetings, family gatherings, doctor’s appointments,taking medicines,etc.He frequently forgets to execute any plan he has scheduled earlier.If someone reminds him,however,he can recall the plan and handle the situation accordingly.Using the proposed system,he can use his intelligent assistant to schedule and recall all the activities without any human intervention.The functionality of the proposed system is illustrated with the help of a case scenario from the MCI example system.For instance,every Sunday morning,Bob usually schedules his activities for a whole week and he can query the planned schedule on his intelligent assistant anytime by writing activity name or by checking the activity date, time, and venue.Bob’s planned activities for the whole week are shown in Tab.2.Bob writes all these activities on the intelligent assistant to schedule these activities.The intelligent agent requests confirmation about Bob’s schedule and Bob confirms this schedule.When this schedule is executed,Bob follows the planned schedule.However,sometimes Bob forgets to plan any activity which was supposed to be planned earlier or activity might be changed due to some reason.In this case,if Bob fails to do the activity in time,the assistant will remind him to perform this activity as the changes were not made.For example,on Monday,Bob must have to leave for the hotel Holiday Inn at 18:20 as he has to join the wedding ceremony of his friend at 19:00.The hotel is at the drive of 40 min from his home.At 18:10,the intelligent assistant will remind Bob to get ready as he has to leave for the hotel at 18:20 to attend the wedding.If Bob does not leave the office till 18:20,he will be notified again or he can cancel this scheduled activity if not interested to attend this event.Similarly,if some other tasks occur during the week,the intelligent assistant will merge the task with the existing activities;on Wednesday,Bob’s wife said to him that she wants to go for shopping,for example.He asks his intelligent assistant to set the time of shopping on Saturday at 12:00,the intelligent assistant replied to him you have already planned an outing activity on Saturday at 10:00,and you will not be able to come back home before 12:00.Therefore,there is a clash between these two activities.The intelligent assistant suggests to him different schedules and Bob selects the option of shopping to go on Saturday at 19:00.Similarly,for next week’s plan,Bob again writes the whole week’s activities and asks his intelligent assistant to schedule them.Such activities are set by Planner agents,and the agents can revise their beliefs based on the existing set of facts and the set of inferred rules.The activities are shown in Tab.2.

    Table 2:Tentative schedule of Bob’s weekly activities

    To model the case study with the proposed framework, a total of 15 different agents are used.They work in an orchestrated way to serve the user in a better way.We used distributed rule-based reasoning method for context reasoning.A multi-agent framework with contextual reasoning has been proposed,where a program of each agent consists of a set of rules,contextual information and reasoning mechanism.These context-aware agents acquire contextual data and set of extracted rules from ontologies.We have written the SWRL rules for all 15 agents but due to space constraints,we present a few rules for only 5 agents to depict the working flow of the system in Tab.3.These rules strengthen the reasoning ability of OWL ontologies and make them more expressive.These SWRL rules are merged with OWL ontologies by using SWRLTab which is available in the Protégé tool.This tool is most commonly used for ontology development and a variety of plugins are available in this tool.Further,it also allows to import new plugins.The SWRLTab of Protégé-OWL allows the creation of new SWRL rules and manipulations on these by reading and writing existing SWRL rules.Some chosen example rules are shown in Tab.3.HereRijrefers to thejthrule of theithagent.

    Table 3:A few examples rules

    Table 3:Continued

    Table 3:Continued

    We assume that data is gathered with the help of the Smartphone sensors and then OWL ontologies are developed to present the context in uniform and standard format.But OWL 2 does not express all types of relations and some complex rules are also not expressible in OWL 2.Therefore,we write user-defined complex rules using SWRL to address this issue with the combination of OWL 2 RL.

    Tab.4 illustrates the total number of queries that are executed on the system.These queries consist of thecorrectly answered queries(successfully executed) on the systems,incorrect querieswhich are executed but give no output, andnot working queries(rejected) that contain errors.The proposed system obtains 82%Precision,78%Recall,andF-Measure80%.

    6 Formal Modelling and Validation of MCI Case Study

    Colored Petri Nets (CPN) is a graphical modelling language that is the union of Petri nets [49]and functional programming languages[50].This union makes the CPN models suitable for modelling complex systems.Further,the thrust of CPN language is on the modelling and validation of software systems having concurrency, communication, and synchronization [51].CPN models are capable to be simulated or verified with formal methods(i.e.,state-space analysis and invariant analysis).CPNs allow for state space-based exploration and analysis.State-space analysis can be used to detect system properties such as the absence of deadlocks.CPN model consists of Colors set, Places, Transitions,Arcs,Color functions,Guard functions,Arc Inscriptions,and Initializing function.Places,transitions,and arcs are the basic Petri net components.We have created an untimed CPN model (as shown in Fig.4)for the proposed model and performed simulation-based analysis which vividly demonstrated that the proposed model is logically correct.

    Table 4:Results of the queries on the model

    Figure 4:CPN model for coordination process of multi-agents

    We illustrate the use of the proposed system using the CPN model to formally model check and verify the correctness properties.For this,we initiallymodel theuser’s activities along with the plans.The syntactic representation of the model shows the number of activities along with each token.In the system,Userplace has a total of 4 tokens which corresponds to their four activities.Two of them are social activities which are represented as2`“S-act”.The rest two activities are(a)exerciserelated activity1` “Exer-act”and (b) entertainment activity1` “E-act”.According to the structure of the proposed multi-agent coordination process, the user agent (U_A) in the CPN model receives the activity request from the user.As the system starts execution,U_Achooses the corresponding contextual agent to plan the activities.For instance, when a user requests the exercise agent (E_A)to plan the exercise activity,theU_Auses special communication primitivesAsk2-Exe-AandTellby-Exe_Ato exchange the contextual information among different agents in term firing rules instances and systems transitions.Ask2-Exe-AmeansU_AaskingExe_Ato plan the exercise activity in the gymnasium whereasTellby-Exe_AmeansExe_Aacknowledges toU_A.As a result of a successful transition,the token1`“Exer-actis passed toU_Ato get acknowledgment andConfirmationOfReply.This transition has a guard value [x=b] which ensures that the right activity is selected according to theU_A.The planner agentP_Aplans the activity considering the location agent(Loc_A)along with the temporal agent (Temp_A), as a result, a tag (“planned”) will be added to every confirmed token which shows that this activity has been planned successfully.In the same fashion,the rest of the activities will be planned concurrently.

    To validate the CPN-based multi-agent communication model, state-space tool can be used to analyze behavioral properties such as boundedness, liveness, and fairness property.Fig.5 shows the experimental results of the proposed model,as it can be seen that state space generated a total of 3645 nodes and 12312 arcs.This simulation took 1 s and its status is full.These states show that the given model will terminate in a given amount of time and there are no such conditions that it will execute infinitely.Furthermore,it indicates that there is a Strongly Connected Component(SCC)in the graph and there is no restriction on the movement of nodes.

    Figure 5:Statistics of O-graph

    Boundedness in model checking is an efficient technique that can be used to find bugs in the system design.If the upper bound of any place in the proposed CPN model is beyond the expectation then it means that the system will not render the expected results.Fig.6 shows that it prevents the overflow of the buffer.The highest upper bound of any state is 4 in the proposed model.Moreover,there are a total of four activities that have been executed on the CPN model.It means that no such condition exists in our system which puts it in the buffer overflow situation.In the CPN model,the home property is used to represent the scenario where the system gets back to the initial state.In the proposed model,the user sends a request to the system for the planning of different contextual activities.The system,in turn,will return these activities to the user after planning.Therefore,catering of home property in the proposed model is very natural.Fig.7 shows that 3645 node is home marking,which is also the last node of state space.This node is against theuserplace which is the start state of the proposed model.It means the model is working according to the requirements and the user will receive the planned activities in return.

    Figure 6:Upper and lower integer bound of places in the model

    Verification of the Liveness properties implies the absence of the deadlock in the system.Fig.7 shows that the dead marking is only 3645,the last node of the state space.It means that there is no other dead state which would have occurred during the currency of the simulation.So, the system will perform all functionalities.Similarly,dead transition instancesare none, which means that no such transition exists in the model which is dead and puts the system in a deadlock situation.The fairness property deals with the“halting”of the system.A firing sequence is said to be unconditionally(globally)fair if it is finite.Fig.7 shows that there is no infinite occurrence of sequences in the proposed model and it will halt in the given timeframe.The result of home properties,liveness properties,and fairness properties is shown in Fig.7.

    Figure 7:Result of home properties,liveness properties and fairness properties

    7 Conclusion

    In this paper, we have proposed a semantic knowledge-based context-aware intelligent assistive formalism for cognitively impaired people.This is a three-layered model where context-aware agents extract the contextualized information from the ontology,perform reasoning on it and automatically schedule the user activities based on his convenience and feedback.We used HermiT reasoner and SPARQL queries to check the consistency and correctness of the ontology domain.We model the case study using Colored Petri Nets to analyze the execution behavior and validate the correctness properties of the system.In future work, we will implement the system physically in a real-time environment using a comprehensive case study and develop a smartphone application.The state-ofthe-art system would assist the user to autonomously plan the whole week’s activities at their own ease and convenience.

    Funding Statement:The authors received no specific funding for this study.

    Conflicts of Interest:The authors declare that they have no conflicts of interest to report regarding the present study.

    亚洲精品色激情综合| 天堂网av新在线| 久久久久免费精品人妻一区二区| 国产高潮美女av| 日韩 欧美 亚洲 中文字幕| 九九热线精品视视频播放| 一本一本综合久久| 国产精品一区二区免费欧美| 精品国产超薄肉色丝袜足j| 一a级毛片在线观看| 制服丝袜大香蕉在线| 国产成人av教育| 亚洲天堂国产精品一区在线| 又紧又爽又黄一区二区| 婷婷六月久久综合丁香| 免费看十八禁软件| 观看免费一级毛片| 一个人看的www免费观看视频| 一级a爱片免费观看的视频| 欧美性猛交╳xxx乱大交人| 一进一出抽搐动态| netflix在线观看网站| 久久久久久人人人人人| 亚洲av日韩精品久久久久久密| 久久久国产成人免费| 黑人欧美特级aaaaaa片| 麻豆久久精品国产亚洲av| 国产免费av片在线观看野外av| 欧美激情在线99| 首页视频小说图片口味搜索| 在线十欧美十亚洲十日本专区| 日本与韩国留学比较| 亚洲无线在线观看| 国产精品亚洲av一区麻豆| 国产亚洲精品av在线| 久久精品人妻少妇| 亚洲av电影在线进入| 国产真实乱freesex| 亚洲 欧美一区二区三区| 丁香六月欧美| 波多野结衣巨乳人妻| 免费观看精品视频网站| 欧美一区二区精品小视频在线| 五月玫瑰六月丁香| 久久久国产成人免费| 日韩大尺度精品在线看网址| 日韩欧美 国产精品| 亚洲18禁久久av| 久久午夜亚洲精品久久| 中文字幕高清在线视频| 亚洲精品在线观看二区| 亚洲av第一区精品v没综合| 非洲黑人性xxxx精品又粗又长| 窝窝影院91人妻| 麻豆久久精品国产亚洲av| 长腿黑丝高跟| 日本撒尿小便嘘嘘汇集6| 中文字幕av在线有码专区| 日韩欧美 国产精品| 久久精品影院6| 久9热在线精品视频| 亚洲欧美日韩高清在线视频| 好男人电影高清在线观看| 久久久久久久午夜电影| 欧美3d第一页| 熟妇人妻久久中文字幕3abv| 日本 av在线| 国产成人精品久久二区二区91| 久久久久国产一级毛片高清牌| 成人高潮视频无遮挡免费网站| 搡老岳熟女国产| 91在线精品国自产拍蜜月 | 中文字幕最新亚洲高清| 免费在线观看影片大全网站| 国内毛片毛片毛片毛片毛片| 亚洲国产中文字幕在线视频| 国产99白浆流出| 久久久水蜜桃国产精品网| 国产真实乱freesex| 亚洲av中文字字幕乱码综合| 男女午夜视频在线观看| 18美女黄网站色大片免费观看| 国内久久婷婷六月综合欲色啪| 一二三四在线观看免费中文在| 国产精品久久久人人做人人爽| 中亚洲国语对白在线视频| 天堂影院成人在线观看| 国产一级毛片七仙女欲春2| 十八禁网站免费在线| 欧美日韩福利视频一区二区| 老司机深夜福利视频在线观看| 亚洲国产精品999在线| 狠狠狠狠99中文字幕| 精品99又大又爽又粗少妇毛片 | 精品熟女少妇八av免费久了| 欧美乱色亚洲激情| 免费av毛片视频| 久久性视频一级片| 美女被艹到高潮喷水动态| 国产精品久久久久久亚洲av鲁大| 欧美zozozo另类| 精品久久久久久久久久久久久| 一区二区三区激情视频| 亚洲狠狠婷婷综合久久图片| 两人在一起打扑克的视频| 免费在线观看视频国产中文字幕亚洲| 国产私拍福利视频在线观看| 国产成人av教育| 亚洲午夜理论影院| 五月玫瑰六月丁香| 欧美黄色片欧美黄色片| 午夜激情福利司机影院| 超碰成人久久| 久久中文看片网| 亚洲av电影在线进入| 欧美日韩福利视频一区二区| 久久久久久久久中文| 国产精品98久久久久久宅男小说| 床上黄色一级片| 免费在线观看成人毛片| 老司机深夜福利视频在线观看| 男女下面进入的视频免费午夜| 成人无遮挡网站| 男女那种视频在线观看| 免费看a级黄色片| 国产成人精品久久二区二区91| 高清在线国产一区| 日韩人妻高清精品专区| 一个人免费在线观看电影 | 99热只有精品国产| 桃色一区二区三区在线观看| 麻豆成人av在线观看| 国产成年人精品一区二区| 成人av在线播放网站| 国产亚洲精品综合一区在线观看| 婷婷六月久久综合丁香| 热99re8久久精品国产| 久久久久免费精品人妻一区二区| 国产91精品成人一区二区三区| 99精品久久久久人妻精品| 久久久久久久久中文| 巨乳人妻的诱惑在线观看| 色精品久久人妻99蜜桃| 午夜日韩欧美国产| 草草在线视频免费看| 久久性视频一级片| 亚洲一区二区三区不卡视频| 91麻豆精品激情在线观看国产| 亚洲熟妇熟女久久| 午夜精品在线福利| 伦理电影免费视频| 亚洲国产日韩欧美精品在线观看 | 欧美绝顶高潮抽搐喷水| 日本黄色视频三级网站网址| 亚洲美女黄片视频| 午夜福利免费观看在线| 后天国语完整版免费观看| 天堂影院成人在线观看| 老熟妇乱子伦视频在线观看| 婷婷精品国产亚洲av在线| 久久精品影院6| a在线观看视频网站| 蜜桃久久精品国产亚洲av| 亚洲va日本ⅴa欧美va伊人久久| av天堂在线播放| 久久久久久大精品| 国产美女午夜福利| 欧美日韩国产亚洲二区| 久久久成人免费电影| 成人av在线播放网站| 又黄又粗又硬又大视频| 国产精品一区二区三区四区久久| 国产单亲对白刺激| 国产视频一区二区在线看| 亚洲国产欧美人成| 久久伊人香网站| 999久久久国产精品视频| 少妇裸体淫交视频免费看高清| 国产高清videossex| 老汉色∧v一级毛片| 我要搜黄色片| 亚洲 欧美一区二区三区| 亚洲国产精品999在线| 俺也久久电影网| 9191精品国产免费久久| 欧美黄色片欧美黄色片| 成熟少妇高潮喷水视频| 久久欧美精品欧美久久欧美| 国模一区二区三区四区视频 | 51午夜福利影视在线观看| 国产人伦9x9x在线观看| 一级a爱片免费观看的视频| 久久九九热精品免费| 9191精品国产免费久久| 丰满的人妻完整版| 亚洲一区高清亚洲精品| 12—13女人毛片做爰片一| 精品免费久久久久久久清纯| 成人欧美大片| 国产精品久久久久久精品电影| 在线观看免费午夜福利视频| 精品不卡国产一区二区三区| 一个人免费在线观看电影 | 国产精品精品国产色婷婷| 国产人伦9x9x在线观看| 欧美在线黄色| 三级毛片av免费| 老司机在亚洲福利影院| 国产精品自产拍在线观看55亚洲| 国产成人av激情在线播放| 欧美av亚洲av综合av国产av| 免费观看的影片在线观看| 中文资源天堂在线| 天堂动漫精品| 首页视频小说图片口味搜索| 99久久久亚洲精品蜜臀av| 一夜夜www| 脱女人内裤的视频| 亚洲成人中文字幕在线播放| 亚洲人与动物交配视频| 国产精品亚洲一级av第二区| 国产高清有码在线观看视频| 亚洲国产日韩欧美精品在线观看 | 极品教师在线免费播放| 精品久久久久久久久久免费视频| 亚洲欧美日韩无卡精品| 成人av在线播放网站| 欧美日韩精品网址| 我要搜黄色片| 色综合婷婷激情| 黄色女人牲交| 狂野欧美激情性xxxx| 夜夜看夜夜爽夜夜摸| 99国产综合亚洲精品| 99久久综合精品五月天人人| 久久精品人妻少妇| 国产亚洲精品久久久com| 国产精品乱码一区二三区的特点| 国产成年人精品一区二区| 又爽又黄无遮挡网站| 午夜福利在线观看免费完整高清在 | 久久久久免费精品人妻一区二区| 18禁国产床啪视频网站| 欧美成人免费av一区二区三区| 久久久久久人人人人人| 听说在线观看完整版免费高清| 在线观看日韩欧美| 好看av亚洲va欧美ⅴa在| 亚洲国产看品久久| 免费人成视频x8x8入口观看| 看黄色毛片网站| 美女黄网站色视频| www.熟女人妻精品国产| 国产一区在线观看成人免费| aaaaa片日本免费| 黑人巨大精品欧美一区二区mp4| 国内毛片毛片毛片毛片毛片| 免费观看精品视频网站| 18禁国产床啪视频网站| 成人18禁在线播放| av中文乱码字幕在线| 久久久久国内视频| 老司机在亚洲福利影院| 51午夜福利影视在线观看| 免费在线观看日本一区| 宅男免费午夜| 欧美中文日本在线观看视频| 人人妻人人澡欧美一区二区| 一进一出抽搐动态| 悠悠久久av| 亚洲黑人精品在线| 看黄色毛片网站| 香蕉av资源在线| 国产成人欧美在线观看| 午夜影院日韩av| 精品熟女少妇八av免费久了| 动漫黄色视频在线观看| 免费搜索国产男女视频| 亚洲国产精品合色在线| 成在线人永久免费视频| 国产亚洲精品综合一区在线观看| 九色成人免费人妻av| 精品久久久久久久久久久久久| 搡老岳熟女国产| 中文字幕精品亚洲无线码一区| 日本黄色视频三级网站网址| 亚洲aⅴ乱码一区二区在线播放| 欧美高清成人免费视频www| 男女床上黄色一级片免费看| 国产人伦9x9x在线观看| 久久99热这里只有精品18| 久久草成人影院| 一进一出抽搐gif免费好疼| 一本久久中文字幕| 女同久久另类99精品国产91| 中亚洲国语对白在线视频| 国产成+人综合+亚洲专区| 麻豆国产97在线/欧美| 久久人妻av系列| 国产高清激情床上av| 在线看三级毛片| 熟女电影av网| 一二三四在线观看免费中文在| 欧美午夜高清在线| 天天躁日日操中文字幕| www国产在线视频色| 久久精品亚洲精品国产色婷小说| 国产一区二区在线观看日韩 | 午夜激情欧美在线| 男人舔女人的私密视频| 最近在线观看免费完整版| 久久香蕉精品热| cao死你这个sao货| 国内精品一区二区在线观看| 亚洲七黄色美女视频| 国产熟女xx| 深夜精品福利| 很黄的视频免费| 日本a在线网址| 99在线视频只有这里精品首页| 99久久99久久久精品蜜桃| 免费看a级黄色片| 精品久久久久久久末码| 免费在线观看日本一区| 亚洲自拍偷在线| 亚洲精品久久国产高清桃花| 一级毛片精品| 国产真人三级小视频在线观看| 欧美成狂野欧美在线观看| 欧美日本视频| 日本 av在线| 操出白浆在线播放| 白带黄色成豆腐渣| 老汉色av国产亚洲站长工具| 欧美丝袜亚洲另类 | 亚洲 国产 在线| 嫁个100分男人电影在线观看| 白带黄色成豆腐渣| 中亚洲国语对白在线视频| 曰老女人黄片| 老鸭窝网址在线观看| 成人高潮视频无遮挡免费网站| 制服丝袜大香蕉在线| 香蕉久久夜色| 狠狠狠狠99中文字幕| 搞女人的毛片| 69av精品久久久久久| 久久久久国产精品人妻aⅴ院| 一个人免费在线观看电影 | 99riav亚洲国产免费| 在线观看66精品国产| 免费搜索国产男女视频| 在线a可以看的网站| 亚洲国产欧美一区二区综合| h日本视频在线播放| 一个人观看的视频www高清免费观看 | 亚洲成人中文字幕在线播放| 性欧美人与动物交配| 久久国产乱子伦精品免费另类| 夜夜夜夜夜久久久久| 亚洲真实伦在线观看| 日本撒尿小便嘘嘘汇集6| 99国产极品粉嫩在线观看| 精品一区二区三区四区五区乱码| 男女午夜视频在线观看| 中出人妻视频一区二区| 热99在线观看视频| 国产综合懂色| 男女床上黄色一级片免费看| 成人欧美大片| 最近视频中文字幕2019在线8| 午夜日韩欧美国产| 观看美女的网站| 超碰成人久久| 嫩草影院入口| 成年女人看的毛片在线观看| 久久久色成人| 97碰自拍视频| 非洲黑人性xxxx精品又粗又长| 亚洲av成人不卡在线观看播放网| 99久久精品国产亚洲精品| 女人高潮潮喷娇喘18禁视频| 国产v大片淫在线免费观看| 一级a爱片免费观看的视频| 久久精品国产99精品国产亚洲性色| 亚洲国产精品sss在线观看| 亚洲第一欧美日韩一区二区三区| 日本 av在线| 在线播放国产精品三级| 美女高潮喷水抽搐中文字幕| 国产精品电影一区二区三区| 最近视频中文字幕2019在线8| 香蕉久久夜色| 国产精品久久久久久人妻精品电影| 亚洲国产精品合色在线| 在线观看午夜福利视频| 国内精品美女久久久久久| 国产欧美日韩一区二区精品| 日韩欧美国产一区二区入口| 免费看日本二区| 男人舔女人下体高潮全视频| 丰满人妻熟妇乱又伦精品不卡| 丰满的人妻完整版| 日韩大尺度精品在线看网址| 精品久久久久久久毛片微露脸| 欧美日韩国产亚洲二区| 免费搜索国产男女视频| 一区二区三区激情视频| 国产美女午夜福利| 亚洲自拍偷在线| 老司机福利观看| 99久久精品热视频| 日韩大尺度精品在线看网址| 久久久精品欧美日韩精品| 国产精品99久久久久久久久| 嫩草影院入口| 国产极品精品免费视频能看的| 成人av在线播放网站| 国产精品影院久久| 色av中文字幕| 97超视频在线观看视频| 麻豆一二三区av精品| 亚洲性夜色夜夜综合| 欧美乱色亚洲激情| 中亚洲国语对白在线视频| 成人特级黄色片久久久久久久| 久9热在线精品视频| 日韩欧美国产一区二区入口| 特大巨黑吊av在线直播| 宅男免费午夜| 成人精品一区二区免费| 黄频高清免费视频| 麻豆成人av在线观看| 久久久色成人| 免费看a级黄色片| 成熟少妇高潮喷水视频| 久久亚洲精品不卡| 久久人妻av系列| АⅤ资源中文在线天堂| 啦啦啦韩国在线观看视频| 国产亚洲欧美在线一区二区| 亚洲专区字幕在线| 欧美xxxx黑人xx丫x性爽| 亚洲国产高清在线一区二区三| 别揉我奶头~嗯~啊~动态视频| 婷婷精品国产亚洲av在线| 99久国产av精品| 色综合亚洲欧美另类图片| 高潮久久久久久久久久久不卡| 女生性感内裤真人,穿戴方法视频| 亚洲成av人片在线播放无| 狠狠狠狠99中文字幕| 精品不卡国产一区二区三区| 十八禁网站免费在线| 成人欧美大片| 黄频高清免费视频| 中文亚洲av片在线观看爽| 国产淫片久久久久久久久 | 国产熟女xx| 69av精品久久久久久| 成人特级黄色片久久久久久久| 操出白浆在线播放| www日本黄色视频网| 国产综合懂色| 亚洲狠狠婷婷综合久久图片| 成年版毛片免费区| 麻豆成人午夜福利视频| 午夜影院日韩av| 国产精品 欧美亚洲| 波多野结衣高清作品| 真人做人爱边吃奶动态| 欧美成人性av电影在线观看| 国产精品久久久久久久电影 | 一区二区三区国产精品乱码| 欧美成人性av电影在线观看| 午夜福利在线观看免费完整高清在 | 我的老师免费观看完整版| 国产成人一区二区三区免费视频网站| 美女免费视频网站| 99热这里只有是精品50| 国产精品自产拍在线观看55亚洲| 一个人看的www免费观看视频| 给我免费播放毛片高清在线观看| 国产精品影院久久| 国产精品 欧美亚洲| 国产精品香港三级国产av潘金莲| 中文字幕久久专区| 18禁美女被吸乳视频| 中文亚洲av片在线观看爽| 午夜激情欧美在线| 国产精品av视频在线免费观看| 国产探花在线观看一区二区| 国产黄色小视频在线观看| 亚洲熟女毛片儿| 热99re8久久精品国产| 少妇丰满av| 中文字幕久久专区| 欧美成人性av电影在线观看| 麻豆久久精品国产亚洲av| 女人被狂操c到高潮| 香蕉av资源在线| 欧美最黄视频在线播放免费| 床上黄色一级片| 啦啦啦韩国在线观看视频| 19禁男女啪啪无遮挡网站| 久久热在线av| 国产精品久久久久久精品电影| 亚洲第一电影网av| 久久久成人免费电影| 成人亚洲精品av一区二区| 午夜免费成人在线视频| 一进一出抽搐动态| 亚洲一区二区三区色噜噜| 好男人在线观看高清免费视频| 日本黄大片高清| 精品欧美国产一区二区三| 黑人操中国人逼视频| 亚洲av电影在线进入| 日韩大尺度精品在线看网址| 久久久久久久久久黄片| 亚洲一区高清亚洲精品| 国产99白浆流出| 一本久久中文字幕| 午夜两性在线视频| 午夜福利在线观看吧| 一二三四在线观看免费中文在| 国产成人精品久久二区二区91| 亚洲午夜精品一区,二区,三区| 亚洲精品中文字幕一二三四区| 一级毛片高清免费大全| 久久久久久国产a免费观看| 日日摸夜夜添夜夜添小说| 热99在线观看视频| 老司机福利观看| 99久久精品热视频| 午夜成年电影在线免费观看| 欧美午夜高清在线| 国产激情欧美一区二区| 国产午夜精品久久久久久| 级片在线观看| 最近视频中文字幕2019在线8| 精品不卡国产一区二区三区| 桃色一区二区三区在线观看| 1024香蕉在线观看| 在线观看舔阴道视频| 日韩高清综合在线| 国产野战对白在线观看| 精品一区二区三区av网在线观看| 91在线精品国自产拍蜜月 | 国产精品一区二区三区四区久久| 精品久久久久久久人妻蜜臀av| 极品教师在线免费播放| 又黄又爽又免费观看的视频| 免费av不卡在线播放| av视频在线观看入口| 在线十欧美十亚洲十日本专区| 久久久久久久精品吃奶| 国语自产精品视频在线第100页| 91av网站免费观看| 搡老熟女国产l中国老女人| 亚洲九九香蕉| 天堂av国产一区二区熟女人妻| 亚洲性夜色夜夜综合| 国产免费男女视频| cao死你这个sao货| 亚洲中文字幕日韩| 国产美女午夜福利| 99国产极品粉嫩在线观看| 国产成人一区二区三区免费视频网站| 午夜福利在线在线| 老司机午夜福利在线观看视频| 精华霜和精华液先用哪个| 日本在线视频免费播放| 亚洲,欧美精品.| 可以在线观看毛片的网站| 国产精品爽爽va在线观看网站| 亚洲无线观看免费| 精品免费久久久久久久清纯| 国产乱人伦免费视频| 成年人黄色毛片网站| 麻豆久久精品国产亚洲av| 黄色片一级片一级黄色片| 日韩欧美精品v在线| 丰满人妻熟妇乱又伦精品不卡| 日本精品一区二区三区蜜桃| 久久久久久久久中文| 日本a在线网址| 久久国产精品影院| 午夜精品久久久久久毛片777| 男人舔奶头视频| 成人三级做爰电影| 丰满人妻一区二区三区视频av | 1024手机看黄色片| 2021天堂中文幕一二区在线观| 99久久综合精品五月天人人| АⅤ资源中文在线天堂| 免费av不卡在线播放| 女人被狂操c到高潮| 床上黄色一级片| 国产亚洲av高清不卡| 欧美一级毛片孕妇| 久久久久久国产a免费观看| 午夜两性在线视频| 亚洲第一欧美日韩一区二区三区| 国产av不卡久久| 欧美日韩综合久久久久久 | 男女午夜视频在线观看| 看免费av毛片| 18美女黄网站色大片免费观看| 亚洲国产精品sss在线观看| 亚洲av中文字字幕乱码综合| 美女cb高潮喷水在线观看 | 可以在线观看毛片的网站| 丝袜人妻中文字幕| 中文字幕人成人乱码亚洲影|