A Multi-Agent Formalism Based on Contextual Defeasible Logic for Healthcare Systems

In the last decade, smart computing has garnered much attention, particularly in ubiquitous environments, thus increasing the ease of everyday human life. Users can dynamically interact with the systems using different modalities in a smart computing environment. The literature discussed multiple mechanisms to enhance the modalities for communication using different knowledge sources. Among others, Multi-context System (MCS) has been proven quite significant to interlink various context domains dynamically to a distributed environment. MCS is a collection of different contexts (independent knowledge sources), and every context contains its own set of defined rules and facts and inference systems. These contexts are interlinked via bridge rules. However, the interaction among knowledge sources could have the consequences such as bringing out inconsistent results. These issues may report situations such as the system being unable to reach a conclusion or communication in different contexts becoming asynchronous. There is a need for a suitable framework to resolve inconsistencies. In this article, we provide a framework based on contextual defeasible reasoning and a formalism of multi-agent environment is to handle the issue of inconsistent information in MCS. Additionally, in this work, a prototypal simulation is designed using a simulation tool called NetLogo, and a formalism about a Parkinson's disease patient's case study is also developed. Both of these show the validity of the framework.