• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Abstract:

Abstract. While medical information systems have become common in the United States, present systems have mostly addressed clerical aspects of medicine such as billing and record management. Deeper problems, such as aiding the process of diagnosis, have largely remained unexplored for commercial systems. This is not surprising, since automating diagnosis requires considerable sophistication both in the understanding of psychiatric epidemeology and in knowledge representation techniques. This paper is an interdisciplinary study of how recent results in logic programming, non-monotonic reasoning, and knowledge representation 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 preference rules. 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. 1

Citations