Management of chronic diseases such as heart failure (HF) is a major public
health problem. A standard approach to managing chronic diseases by medical
community is to have a committee of experts develop guidelines that all
physicians should follow. Due to their complexity, these guidelines are
difficult to implement and are adopted slowly by the medical community at
large. We have developed a physician advisory system that codes the entire set
of clinical practice guidelines for managing HF using answer set
programming(ASP). In this paper we show how abductive reasoning can be deployed
to find missing symptoms and conditions that the patient must exhibit in order
for a treatment prescribed by a physician to work effectively. Thus, if a
physician does not make an appropriate recommendation or makes a non-adherent
recommendation, our system will advise the physician about symptoms and
conditions that must be in effect for that recommendation to apply. It is under
consideration for acceptance in TPLP.

该研究介绍一种使用答案集编程的医师咨询系统来管理慢性病的做法，通过归纳推理和临床实践指导来判断病人的症状和情况是否适用于医师的治疗建议，以帮助医师尽快采取相应措施。