Medical Treatment Conflict Resolving in Answer Set Programming

Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang

AAAI 2011 pp. 1752-1753

doi:10.1609/AAAI.V25I1.8063 /aaai/2011/bao2011aaai-medical/

Abstract

Medical treatment decision making is a good application of knowledge representation and reasoning. We are particularly interested in using it to resolve treatment conflicts, a complicated condition when two treatments cannot be given simultaneously to a patient of multiple symptoms. The logic system is required to reason on cases with and without treatment conflicts. Thanks to the nonmonotonicity of Answer Set Programming (ASP), we elegantly automate medical treatment conflict resolving on an example problem and show the importance of nonmonotonicity in medical reasoning.

PDF AAAI Semantic Scholar

Cite

Text

Bao et al. "Medical Treatment Conflict Resolving in Answer Set Programming." AAAI Conference on Artificial Intelligence, 2011. doi:10.1609/AAAI.V25I1.8063

Markdown

[Bao et al. "Medical Treatment Conflict Resolving in Answer Set Programming." AAAI Conference on Artificial Intelligence, 2011.](https://mlanthology.org/aaai/2011/bao2011aaai-medical/) doi:10.1609/AAAI.V25I1.8063

BibTeX

@inproceedings{bao2011aaai-medical,
  title     = {{Medical Treatment Conflict Resolving in Answer Set Programming}},
  author    = {Bao, Forrest Sheng and Zhang, Zhizheng and Zhang, Yuanlin},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {1752-1753},
  doi       = {10.1609/AAAI.V25I1.8063},
  url       = {https://mlanthology.org/aaai/2011/bao2011aaai-medical/}
}