TY - GEN
T1 - Psychiatric diagnosis from the viewpoint of computational logic
AU - Gartner, Joseph
AU - Swift, Terrance
AU - Tien, Allen
AU - Damásio, Carlos Viegas
AU - Pereira, Luís Moniz
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.
PY - 2000
Y1 - 2000
N2 - 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 represen- tation 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 Men- tal 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.
AB - 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 represen- tation 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 Men- tal 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.
UR - http://www.scopus.com/inward/record.url?scp=84867761848&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84867761848&partnerID=8YFLogxK
U2 - 10.1007/3-540-44957-4_91
DO - 10.1007/3-540-44957-4_91
M3 - Conference contribution
AN - SCOPUS:84867761848
T3 - Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
SP - 1362
EP - 1376
BT - Computational Logic - CL 2000 - 1st International Conference, Proceedings
A2 - Lloyd, John
A2 - Dahl, Veronica
A2 - Furbach, Ulrich
A2 - Kerber, Manfred
A2 - Lau, Kung-Kiu
A2 - Palamidessi, Catuscia
A2 - Pereira, Luís Moniz
A2 - Sagiv, Yehoshua
A2 - Stuckey, Peter J.
PB - Springer Verlag
T2 - 1st International Conference on Computational Logic, CL 2000
Y2 - 24 July 2000 through 28 July 2000
ER -