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

    www.色视频.com| 国产一区亚洲一区在线观看| 中文字幕人妻丝袜制服| 制服丝袜香蕉在线| 国产极品天堂在线| 美女大奶头黄色视频| 日韩,欧美,国产一区二区三区| 国产日韩欧美亚洲二区| 久久精品国产a三级三级三级| 国产老妇伦熟女老妇高清| 精品国产国语对白av| 午夜久久久在线观看| 亚洲综合色网址| 国国产精品蜜臀av免费| 啦啦啦中文免费视频观看日本| 久久人人爽av亚洲精品天堂| 亚洲av电影在线观看一区二区三区| 在线观看美女被高潮喷水网站| 嫩草影院入口| 国产亚洲精品久久久com| 久久久久精品性色| 建设人人有责人人尽责人人享有的| 18禁观看日本| tube8黄色片| 午夜视频国产福利| 亚洲久久久国产精品| videosex国产| 亚洲第一区二区三区不卡| 国产精品偷伦视频观看了| 国产片内射在线| 精品一区二区三区视频在线| tube8黄色片| 国产熟女欧美一区二区| 日韩中文字幕视频在线看片| www日本在线高清视频| 男女午夜视频在线观看 | 大片电影免费在线观看免费| 下体分泌物呈黄色| 日韩一区二区视频免费看| 满18在线观看网站| 国产精品三级大全| 久久人人爽人人片av| 亚洲国产看品久久| 捣出白浆h1v1| 国产精品国产av在线观看| 午夜老司机福利剧场| 亚洲欧美一区二区三区国产| 九色亚洲精品在线播放| 日韩制服丝袜自拍偷拍| 亚洲三级黄色毛片| 午夜视频国产福利| 人人妻人人澡人人爽人人夜夜| 制服丝袜香蕉在线| 大香蕉久久成人网| 亚洲av福利一区| 91在线精品国自产拍蜜月| 亚洲 欧美一区二区三区| 91在线精品国自产拍蜜月| 日本猛色少妇xxxxx猛交久久| 国产综合精华液| 国产片特级美女逼逼视频| 99热6这里只有精品| 欧美日韩亚洲高清精品| 91成人精品电影| 热99久久久久精品小说推荐| 90打野战视频偷拍视频| 人成视频在线观看免费观看| 国产 一区精品| 国产精品三级大全| 91久久精品国产一区二区三区| 午夜91福利影院| 免费黄色在线免费观看| 建设人人有责人人尽责人人享有的| 乱人伦中国视频| 在线观看免费视频网站a站| 在线天堂最新版资源| 亚洲精品乱码久久久久久按摩| 久久久久精品久久久久真实原创| 精品一区在线观看国产| 热re99久久国产66热| 99热网站在线观看| 天美传媒精品一区二区| 九九在线视频观看精品| 国产av精品麻豆| 母亲3免费完整高清在线观看 | 考比视频在线观看| 精品熟女少妇av免费看| 欧美日韩精品成人综合77777| 国产精品三级大全| 国产亚洲精品久久久com| a级毛片黄视频| 亚洲精品一区蜜桃| h视频一区二区三区| 国产不卡av网站在线观看| 亚洲经典国产精华液单| 色5月婷婷丁香| 国产成人精品久久久久久| 一区二区三区精品91| 一本色道久久久久久精品综合| 黑人猛操日本美女一级片| 国产精品熟女久久久久浪| 欧美亚洲日本最大视频资源| 在线观看一区二区三区激情| 97超碰精品成人国产| 亚洲精品久久成人aⅴ小说| 80岁老熟妇乱子伦牲交| 亚洲av电影在线进入| 亚洲av欧美aⅴ国产| 国产女主播在线喷水免费视频网站| 波多野结衣一区麻豆| 十分钟在线观看高清视频www| 成人影院久久| 高清欧美精品videossex| 久久精品国产亚洲av天美| 免费少妇av软件| 全区人妻精品视频| 美女主播在线视频| 国产精品一区二区在线不卡| 亚洲精品国产av成人精品| 亚洲国产精品成人久久小说| 伊人久久国产一区二区| 国产免费又黄又爽又色| 性高湖久久久久久久久免费观看| 夫妻性生交免费视频一级片| 在线观看免费日韩欧美大片| 精品久久蜜臀av无| 天美传媒精品一区二区| 国产片特级美女逼逼视频| 极品少妇高潮喷水抽搐| 国产午夜精品一二区理论片| 国产白丝娇喘喷水9色精品| 日韩中字成人| 大码成人一级视频| 99久国产av精品国产电影| 内地一区二区视频在线| 国产精品国产av在线观看| 国产一区二区三区综合在线观看 | 啦啦啦在线观看免费高清www| 黄色怎么调成土黄色| 精品少妇内射三级| 亚洲av在线观看美女高潮| 日本91视频免费播放| 秋霞伦理黄片| 一级,二级,三级黄色视频| 国产免费福利视频在线观看| 国产一区二区在线观看日韩| 久久影院123| 亚洲欧美中文字幕日韩二区| 超碰97精品在线观看| 亚洲伊人色综图| 成人亚洲欧美一区二区av| 街头女战士在线观看网站| 久久人人爽人人爽人人片va| 毛片一级片免费看久久久久| 日韩制服丝袜自拍偷拍| 国产又色又爽无遮挡免| av有码第一页| 中文字幕人妻熟女乱码| 欧美另类一区| 高清欧美精品videossex| 亚洲国产成人一精品久久久| 亚洲久久久国产精品| 久久久久久久久久久久大奶| 最新中文字幕久久久久| 在线观看三级黄色| 国产精品女同一区二区软件| 性色avwww在线观看| 51国产日韩欧美| 久久精品国产a三级三级三级| 亚洲国产日韩一区二区| 亚洲一区二区三区欧美精品| 国产亚洲欧美精品永久| 高清欧美精品videossex| 久久久久久久国产电影| 熟女av电影| 国产永久视频网站| 精品午夜福利在线看| 人妻人人澡人人爽人人| 18禁观看日本| 国产永久视频网站| 亚洲欧美成人综合另类久久久| 91久久精品国产一区二区三区| 欧美人与性动交α欧美软件 | 91久久精品国产一区二区三区| 超碰97精品在线观看| 国产成人一区二区在线| 国产精品久久久久久久电影| 欧美变态另类bdsm刘玥| 国产午夜精品一二区理论片| 亚洲一码二码三码区别大吗| 亚洲国产欧美在线一区| videossex国产| 精品亚洲成a人片在线观看| 精品国产露脸久久av麻豆| av又黄又爽大尺度在线免费看| a 毛片基地| 久久av网站| 国产精品一国产av| 毛片一级片免费看久久久久| 熟妇人妻不卡中文字幕| 99国产精品免费福利视频| 1024视频免费在线观看| 国产精品欧美亚洲77777| 曰老女人黄片| 免费人成在线观看视频色| 香蕉丝袜av| 最近最新中文字幕免费大全7| 一本久久精品| 日本黄色日本黄色录像| 亚洲国产欧美在线一区| 晚上一个人看的免费电影| 亚洲国产精品一区二区三区在线| 天美传媒精品一区二区| 另类亚洲欧美激情| 精品久久蜜臀av无| 国产在线一区二区三区精| 插逼视频在线观看| 一本—道久久a久久精品蜜桃钙片| 女性被躁到高潮视频| 一级爰片在线观看| 亚洲一码二码三码区别大吗| 国产欧美另类精品又又久久亚洲欧美| 欧美bdsm另类| 久久ye,这里只有精品| 国产黄色视频一区二区在线观看| 午夜福利视频在线观看免费| 欧美97在线视频| 99国产综合亚洲精品| freevideosex欧美| 国产精品偷伦视频观看了| 午夜福利,免费看| 天天躁夜夜躁狠狠久久av| 国产片内射在线| 国产 精品1| 久久av网站| 观看av在线不卡| 少妇猛男粗大的猛烈进出视频| 国产高清三级在线| 国产精品 国内视频| 欧美性感艳星| 中文字幕免费在线视频6| 国产有黄有色有爽视频| 在线观看三级黄色| 亚洲国产色片| 赤兔流量卡办理| 男人操女人黄网站| 午夜老司机福利剧场| 国产精品蜜桃在线观看| 不卡视频在线观看欧美| 亚洲欧美成人综合另类久久久| 久久精品久久精品一区二区三区| 一边摸一边做爽爽视频免费| 午夜视频国产福利| freevideosex欧美| 视频中文字幕在线观看| 黄色 视频免费看| 九草在线视频观看| av免费在线看不卡| 精品一区二区三区视频在线| 亚洲国产毛片av蜜桃av| 满18在线观看网站| 中国国产av一级| 中文字幕免费在线视频6| 91精品三级在线观看| av播播在线观看一区| 视频中文字幕在线观看| 午夜精品国产一区二区电影| 成人免费观看视频高清| 亚洲熟女精品中文字幕| 91久久精品国产一区二区三区| 丰满饥渴人妻一区二区三| 国产成人午夜福利电影在线观看| 国产成人精品久久久久久| 日韩视频在线欧美| 伊人亚洲综合成人网| 最近最新中文字幕免费大全7| 2021少妇久久久久久久久久久| 午夜影院在线不卡| 欧美精品一区二区大全| 欧美少妇被猛烈插入视频| 麻豆乱淫一区二区| 中国美白少妇内射xxxbb| 免费人妻精品一区二区三区视频| 国产亚洲午夜精品一区二区久久| 亚洲欧美日韩另类电影网站| 宅男免费午夜| 美女主播在线视频| 精品国产国语对白av| 精品视频人人做人人爽| 18在线观看网站| av卡一久久| 欧美人与善性xxx| 欧美国产精品一级二级三级| 美女视频免费永久观看网站| 蜜臀久久99精品久久宅男| 男人爽女人下面视频在线观看| 女人久久www免费人成看片| 亚洲情色 制服丝袜| 精品视频人人做人人爽| 国产成人精品婷婷| 亚洲国产毛片av蜜桃av| 成人国产av品久久久| 午夜激情久久久久久久| 一级爰片在线观看| 国产一区亚洲一区在线观看| 九九爱精品视频在线观看| 在线观看免费日韩欧美大片| 三级国产精品片| 亚洲av欧美aⅴ国产| 久久国内精品自在自线图片| 中文字幕人妻丝袜制服| 春色校园在线视频观看| av.在线天堂| 午夜福利视频精品| 国产精品.久久久| 男男h啪啪无遮挡| 亚洲精品一二三| 国产欧美另类精品又又久久亚洲欧美| 国产日韩欧美亚洲二区| 日韩制服骚丝袜av| 亚洲少妇的诱惑av| 亚洲国产av新网站| 高清毛片免费看| 欧美人与性动交α欧美精品济南到 | 视频在线观看一区二区三区| 午夜激情av网站| 在线看a的网站| 午夜老司机福利剧场| 国产白丝娇喘喷水9色精品| 亚洲av电影在线观看一区二区三区| 午夜福利乱码中文字幕| 多毛熟女@视频| 亚洲三级黄色毛片| 2018国产大陆天天弄谢| 成年动漫av网址| 亚洲av福利一区| 国产色爽女视频免费观看| 精品一区二区免费观看| 99久久人妻综合| 国产熟女午夜一区二区三区| 建设人人有责人人尽责人人享有的| 日韩熟女老妇一区二区性免费视频| 一边亲一边摸免费视频| 亚洲欧美清纯卡通| 午夜免费观看性视频| 欧美日韩精品成人综合77777| 91精品伊人久久大香线蕉| 久久久欧美国产精品| 18禁裸乳无遮挡动漫免费视频| 欧美日韩av久久| 日本黄色日本黄色录像| 有码 亚洲区| 三上悠亚av全集在线观看| 精品人妻偷拍中文字幕| 91精品伊人久久大香线蕉| 午夜福利乱码中文字幕| 亚洲欧美成人综合另类久久久| 色婷婷久久久亚洲欧美| 国产午夜精品一二区理论片| 亚洲伊人久久精品综合| www日本在线高清视频| 国产精品人妻久久久久久| 街头女战士在线观看网站| 最近手机中文字幕大全| 一本一本久久a久久精品综合妖精 国产伦在线观看视频一区 | 成人午夜精彩视频在线观看| 街头女战士在线观看网站| 丰满少妇做爰视频| 欧美老熟妇乱子伦牲交| 日本wwww免费看| 午夜激情av网站| 国产高清不卡午夜福利| 激情五月婷婷亚洲| 日日啪夜夜爽| 国产精品成人在线| 91精品国产国语对白视频| 97在线人人人人妻| 一级片免费观看大全| 午夜福利视频精品| 国产成人一区二区在线| 国产亚洲最大av| 又黄又爽又刺激的免费视频.| 午夜福利网站1000一区二区三区| 好男人视频免费观看在线| kizo精华| 午夜久久久在线观看| 精品亚洲成a人片在线观看| 欧美日韩精品成人综合77777| 最近的中文字幕免费完整| 狠狠婷婷综合久久久久久88av| 亚洲 欧美一区二区三区| 青春草视频在线免费观看| 久久精品国产自在天天线| 99热这里只有是精品在线观看| 免费观看在线日韩| 啦啦啦视频在线资源免费观看| 午夜免费男女啪啪视频观看| 亚洲国产av影院在线观看| 97精品久久久久久久久久精品| 国产免费现黄频在线看| 国产一区二区在线观看av| 人妻少妇偷人精品九色| 色5月婷婷丁香| 久久久久久伊人网av| 欧美成人午夜精品| 女性生殖器流出的白浆| 国产精品三级大全| 精品亚洲成a人片在线观看| 亚洲精品乱码久久久久久按摩| 高清不卡的av网站| 一区二区日韩欧美中文字幕 | 美女xxoo啪啪120秒动态图| 乱码一卡2卡4卡精品| 亚洲天堂av无毛| 国产免费一区二区三区四区乱码| 国产一级毛片在线| 我要看黄色一级片免费的| 中国美白少妇内射xxxbb| www.色视频.com| 麻豆乱淫一区二区| 久久99一区二区三区| 免费观看无遮挡的男女| 国产又色又爽无遮挡免| 黑人高潮一二区| 亚洲伊人色综图| 国产精品无大码| 三级国产精品片| 欧美精品人与动牲交sv欧美| 少妇猛男粗大的猛烈进出视频| 久久精品熟女亚洲av麻豆精品| 看非洲黑人一级黄片| av女优亚洲男人天堂| 久久99一区二区三区| 亚洲欧美清纯卡通| 成人亚洲欧美一区二区av| 亚洲高清免费不卡视频| 国产成人精品在线电影| 色视频在线一区二区三区| 亚洲在久久综合| 美女xxoo啪啪120秒动态图| 夜夜爽夜夜爽视频| 极品人妻少妇av视频| 妹子高潮喷水视频| 男女边摸边吃奶| 一本大道久久a久久精品| 亚洲精品美女久久av网站| 欧美国产精品一级二级三级| 日本91视频免费播放| 日韩不卡一区二区三区视频在线| 在线观看www视频免费| 亚洲激情五月婷婷啪啪| 国产精品嫩草影院av在线观看| 成人免费观看视频高清| 看免费av毛片| 人妻一区二区av| 国产综合精华液| 久久精品人人爽人人爽视色| 国产精品嫩草影院av在线观看| 亚洲精品视频女| 999精品在线视频| 亚洲伊人久久精品综合| 精品一品国产午夜福利视频| 国产综合精华液| 90打野战视频偷拍视频| a级毛片黄视频| 大香蕉久久成人网| 老熟女久久久| www.av在线官网国产| 国产精品欧美亚洲77777| 男女午夜视频在线观看 | 春色校园在线视频观看| 在线精品无人区一区二区三| 中文字幕最新亚洲高清| 亚洲精品久久成人aⅴ小说| 成人国产av品久久久| 狂野欧美激情性bbbbbb| 插逼视频在线观看| 成人无遮挡网站| 亚洲,欧美,日韩| 国产精品欧美亚洲77777| 国产亚洲精品第一综合不卡 | 少妇熟女欧美另类| 在线看a的网站| 欧美 亚洲 国产 日韩一| 免费高清在线观看日韩| 久久韩国三级中文字幕| 捣出白浆h1v1| xxxhd国产人妻xxx| 不卡视频在线观看欧美| 日韩免费高清中文字幕av| 男女啪啪激烈高潮av片| 中文字幕免费在线视频6| 五月玫瑰六月丁香| 熟女av电影| 热re99久久国产66热| 国产女主播在线喷水免费视频网站| 性色av一级| 美女国产视频在线观看| 亚洲人成网站在线观看播放| 国产精品久久久久久av不卡| 伊人亚洲综合成人网| 亚洲国产欧美日韩在线播放| 国产精品人妻久久久影院| 欧美变态另类bdsm刘玥| 国产精品久久久久久av不卡| 国产精品 国内视频| 亚洲国产成人一精品久久久| 午夜激情久久久久久久| 日韩,欧美,国产一区二区三区| 99久久精品国产国产毛片| 蜜臀久久99精品久久宅男| 99久久人妻综合| 免费av中文字幕在线| 欧美激情极品国产一区二区三区 | 国产精品偷伦视频观看了| 久久精品国产鲁丝片午夜精品| √禁漫天堂资源中文www| 日本黄色日本黄色录像| 免费日韩欧美在线观看| 亚洲天堂av无毛| 男女午夜视频在线观看 | 久久女婷五月综合色啪小说| av女优亚洲男人天堂| 天天躁夜夜躁狠狠久久av| 亚洲欧美一区二区三区国产| 中文欧美无线码| 精品亚洲乱码少妇综合久久| 大片电影免费在线观看免费| 亚洲人成网站在线观看播放| 精品第一国产精品| 九九在线视频观看精品| 久久99热6这里只有精品| 精品一区二区三区四区五区乱码 | 国产一区亚洲一区在线观看| 亚洲久久久国产精品| 国产亚洲精品久久久com| 91国产中文字幕| 久久久国产欧美日韩av| 久久人人爽av亚洲精品天堂| 免费观看在线日韩| 国产一级毛片在线| 久久久国产一区二区| 亚洲欧美成人精品一区二区| 天堂8中文在线网| 五月开心婷婷网| 免费观看性生交大片5| 捣出白浆h1v1| 免费观看性生交大片5| 亚洲精品美女久久久久99蜜臀 | 下体分泌物呈黄色| 一区二区三区精品91| 亚洲国产成人一精品久久久| 国产一区二区在线观看av| 国产色爽女视频免费观看| 男女边吃奶边做爰视频| 国产精品国产av在线观看| 国国产精品蜜臀av免费| 亚洲第一av免费看| 国产亚洲最大av| 精品少妇黑人巨大在线播放| 91精品伊人久久大香线蕉| 国产免费福利视频在线观看| 欧美成人午夜精品| 欧美日韩精品成人综合77777| 97在线人人人人妻| 啦啦啦在线观看免费高清www| 国产不卡av网站在线观看| 啦啦啦中文免费视频观看日本| 最近中文字幕2019免费版| 亚洲欧美中文字幕日韩二区| 国产精品无大码| 亚洲av在线观看美女高潮| 久久人人爽人人爽人人片va| 久久毛片免费看一区二区三区| 久久久久久久精品精品| 久久女婷五月综合色啪小说| 午夜福利影视在线免费观看| 亚洲一码二码三码区别大吗| 久久久精品区二区三区| 久久精品国产自在天天线| 久久精品国产亚洲av天美| 国产极品粉嫩免费观看在线| 老熟女久久久| 亚洲内射少妇av| 宅男免费午夜| 国产免费视频播放在线视频| av.在线天堂| 亚洲av免费高清在线观看| 老司机影院毛片| 亚洲国产最新在线播放| 亚洲第一区二区三区不卡| 久久国内精品自在自线图片| 亚洲国产精品一区二区三区在线| 成年人午夜在线观看视频| 男的添女的下面高潮视频| 少妇 在线观看| 亚洲美女黄色视频免费看| 欧美 日韩 精品 国产| 少妇人妻久久综合中文| 日韩视频在线欧美| 成人漫画全彩无遮挡| videosex国产| 色婷婷久久久亚洲欧美| 超色免费av| 久久久久久人人人人人| www.色视频.com| 久久精品熟女亚洲av麻豆精品| 国产免费视频播放在线视频| 汤姆久久久久久久影院中文字幕| 国产精品麻豆人妻色哟哟久久| 日日摸夜夜添夜夜爱| 18在线观看网站| 亚洲第一av免费看| 大片免费播放器 马上看| 国产精品无大码|