Indexing the Event Calculus: Towards practical human-readable Personal Health Systems

作者：

Highlights：

• Medical domain knowledge has been modeled using Event Calculus.

• Three Event Calculus indexing techniques have been proposed and tested.

• Indexing techniques allows Event Calculus to be used in online monitoring.

• Event Calculus monitoring agents have been integrated into the MAGPIE agent platform.

摘要

•Medical domain knowledge has been modeled using Event Calculus.•Three Event Calculus indexing techniques have been proposed and tested.•Indexing techniques allows Event Calculus to be used in online monitoring.•Event Calculus monitoring agents have been integrated into the MAGPIE agent platform.

论文关键词：Logic programming,Event calculus,Knowledge representation,Reasoning,Prolog,Personal health Systems,Multi-agent systems

论文评审过程：Received 1 November 2017, Revised 28 September 2018, Accepted 16 October 2018, Available online 13 November 2018, Version of Record 3 June 2019.

论文官网地址：https://doi.org/10.1016/j.artmed.2018.10.003