Psychiatric Diagnosis from the Viewpoint of Computational Logic
Psychiatric Diagnosis from the Viewpoint of Computational Logic
复制标题
计算逻辑视角下的精神疾病诊断
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
L. Pereira
中科院分区：
文献类型：
--
作者：
J. Gartner;T. Swift;A. Tien;C. Damásio;L. Pereira
虽然医疗信息系统在美国已经变得普遍，但自动化或辅助医疗诊断过程的商业系统仍然不常见。这并不奇怪，因为自动化诊断需要相当复杂的医学生物学和知识表示技术的理解。本文是一个跨学科的研究如何在逻辑编程和非单调推理的最新成果可以帮助精神病诊断。我们认为，在逻辑上代表精神疾病的诊断和统计手册中编纂的精神疾病，第4版需要溯因程序，包括显式和非分层默认否定，以及动态规则，表达结论之间的偏好。我们将展示如何将这些程序翻译成溯因框架的正常逻辑程序，并使用最近推出的逻辑编程技术实现。最后，我们注意到这样的程序是如何在商业产品诊断中使用的。
While medical information systems have become common in the United States, commercial systems that automate or assist in the process of medical diagnosis remain uncommon. This is not surprising, since automating diagnosis requires considerable sophistication both in the understanding of medical epidemeology and in knowledge representation techniques. This paper is an interdisciplinary study of how recent results in logic programming and non-monotonic reasoning can aid in psychiatric diagnosis. We argue that to logically represent psychiatric diagnosis as codified in the Diagnostic and Statistical Manual of Mental Disorders, 4th edition requires abduction over programs that include both explicit and non-stratified default negation, as well as dynamic rules that express preferences between conclusions. We show how such programs can be translated into abductive frameworks over normal logic programs and implemented using recently introduced logic programming techniques. Finally, we note how such programs are used in a commercial product Diagnostica.