Psychiatric diagnosis from the viewpoint of computational logic

Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationComputational Logic - CL 2000 - 1st International Conference, Proceedings
EditorsJohn Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
PublisherSpringer Verlag
Pages1362-1376
Number of pages15
ISBN (Electronic)3540677976, 9783540677970
DOIs
StatePublished - 2000
Event1st International Conference on Computational Logic, CL 2000 - London, United Kingdom
Duration: Jul 24 2000Jul 28 2000

Publication series

NameLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
Volume1861
ISSN (Print)0302-9743

Other

Other1st International Conference on Computational Logic, CL 2000
CountryUnited Kingdom
CityLondon
Period7/24/007/28/00

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Psychiatric diagnosis from the viewpoint of computational logic'. Together they form a unique fingerprint.

  • Cite this

    Gartner, J., Swift, T., Tien, A., Damásio, C. V., & Pereira, L. M. (2000). Psychiatric diagnosis from the viewpoint of computational logic. In J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K-K. Lau, C. Palamidessi, L. M. Pereira, Y. Sagiv, & P. J. Stuckey (Eds.), Computational Logic - CL 2000 - 1st International Conference, Proceedings (pp. 1362-1376). (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); Vol. 1861). Springer Verlag. https://doi.org/10.1007/3-540-44957-4_91