A Study on Reasoning for Medical Expert Systems

의료용 전문가 시스템에서 추론에 관한 연구

  • Kim, Jin-Sang (School of Computer and Electronics Engineering, Keimyung University) ;
  • Shin, Yang-Kyu (School of Information Science, Kyungsan University)
  • 김진상 (계명대학교 컴퓨터 전자공학부) ;
  • 신양규 (경산대학교 정보과학부)
  • Published : 1999.10.31

Abstract

We investigate a logical approach to represent medical knowledge, reason deductively and diagnostically. It is suggested that medical knowledge-bases can be formulated as a set of sentences stated in classical logic where each sentence reflects a doctor's knowledge about the human anatomy or his/her view of patient's symptoms. It is also suggested that a form of temporal reasoning can be captured within the same framework because each sentence can have a different truth value based on time. We apply our logical framework to formalize diagnostic reasoning, where the primary cause of illness is chosen among the set of minimal causation on the basis of abductive hypotheses. Most of our examples are given in the context of medical expert systems.

본 논문에서는 의료용 전문가 시스템에 사용 가능한 의료지식을 수리논리적으로 표현하고 이에 대한 연역 및 진단추론을 행하는 방법을 제시하였다. 문제해결을 위해서는 연역추론을 행하며 원인의 규명을 위해서는 진단추론을 행하지만 일차논리 언어로 표현된 의료지식에서 두 종류의 추론을 병행할 수 있다. 그리고 의료지식에 자주 발생하는 시간에 따라 가변적인 결과의 추론방법도 함께 고찰하였다.

Keywords

References

  1. Journal of Statistical Theory & Methods v.6 확률적 명제 논리 프로그래밍 신양규
  2. Journal of Statistical Theory & Methods v.7 제약 조건 만족과 불확실한 지식의 처리 신양규
  3. Communications of ACM v.26 Maintaining Knowledge about Temporal Intervals Allen, J.
  4. Rule-Based Expert Systems The MYCIN Experiments of the Stanford Heuristic Programming Project Buchanan B.;Shortliffe E.
  5. Artificial Intelligence v.66 no.2 Cost-based Abduction and MAP and Explanation Charniak E.;Shimony S.
  6. Technical report Abduction through Deduction Esghi K.;Kowalski R.
  7. Bull, I.I.S. v.17 A Probabilistic Extension of Metalogic for Abduction Kim J.;Jang C.
  8. Journal of Logic Programming v.12 Database Updates in the Event Calculus Kowalski R.
  9. Artificial Intelligence v.64 Probabilistic Horn Abduction and Bayesian Networks Poole D.