The PredictMed-PoMAS Architecture for Intelligent Patient Monitoring within a Complex Healthcare Ecosystem

In this paper, we leverage our past work to outline and describe, also using examples, a comprehensive architecture that goes from PMAs, i.e., Patient Monitoring Agents, to a novel notion of Hybrid Society (HS) instantiated in this paper to the healthcare domain, different from previous existing proposals. The HS is meant to encompass PMAs and offices of medical specialists, healthcare companies such as medical centres, and institutions such as hospitals. Our approach is based on approaches to agents and Multi-Agent-Systems (MAS) rooted in computational logic, whose nice formal foundation allows properties of agents and MAS to be proved/enforced through theorem proving, model-checking, run-time verification and other techniques.