Clinical practice guidelines (CPGs) were originally designed to help with evidence-based management of a single disease and such a single disease focus has impacted research on CPG computerization. This computerization is mostly concerned with supporting different representation formats and identifying potential inconsistencies in the definitions of CPGs. However, one of the biggest challenges facing physicians is the personalization of multiple CPGs to comorbid patients. Various research initiatives propose ways of mitigating adverse interactions in concurrently applied CPGs, however, there are no attempts to develop a generalized framework for mitigation that captures generic characteristics of the problem while handling nuances such as precedence relationships. In this paper we present our research towards developing a mitigation framework that relies on a first-order logic-based representation and related theorem proving and model finding techniques. The application of the proposed framework is illustrated with a simple clinical example.

Atrial fibrillation (AF), the most common arrhythmia with clinical significance, is a serious public health problem. Yet a number of studies show that current AF management is suboptimal due to a knowledge gap between primary care physicians and evidence-based treatment recommendations. This gap is caused by a number of barriers such as a lack of knowledge about new therapies, challenges associated with multi-morbidity, or a lack of patient engagement in therapy planning. The decision support tools proposed to address these barriers handle individual barriers but none of them tackle them comprehensively. Responding to this challenge, we propose AFGuide -- a clinical decision support system to educate and support primary care physicians in developing evidence-based and optimal AF therapies that take into account multi-morbid conditions and patient preferences. AFGuide relies on artificial intelligence techniques (logical reasoning) and preference modeling techniques, and combines them with mobile computing technologies. In this paper we present the design of the system and discuss its proposed implementation and evaluation.

The program also included six keynote presentations, a funding panel, a community panel, and multiple breakout sessions. The keynote presentations, given by speakers that have been working on AI for HRI for many years, focused on the larger intellectual picture of this subfield. Each speaker was asked to address, from his or her personal perspective, why HRI is an AI problem and how AI research can bring us closer to the reality of humans interacting with robots on everyday tasks. Speakers included Rodney Brooks (Rethink Robotics), Manuela Veloso (Carnegie Mellon University), Michael Goodrich (Brigham Young University), Benjamin Kuipers (University of Michigan), Maja Mataric (University of Southern California), and Brian Scassellati (Yale University).

Not all questions are asked with the same intention. Humans tend to address the implicit meaning of the question (that contributes to its pragmatic force), which requires knowledge of the context and a degree of common ground, more so than addressing the explicit propositional content of the question. Is recognizing the pragmatic force in today's human-robot dialogue systems worth the trouble? We focus on display questions (questions to which the asker already knows the answer) and argue that there are realistic human-robot interaction scenarios in existence today that would benefit from the deeper intention recognition. We also propose a method for obtaining display question annotations by embedding an elicitation question into the dialogue. The preliminary study of our robot receptionist shows that at least 16.7% of interactions with the embedded elicitation question include a display question.