TY - GEN
T1 - Medical treatment conflict resolving in answer set programming
AU - Bao, Forrest Sheng
AU - Zhang, Zhizheng
AU - Zhang, Yuanlin
PY - 2011
Y1 - 2011
N2 - Medical treatment decision making is a good application of knowledge representation and reasoning. We are particularly interested in using them to resolve treatment conflicts, a complicated condition when two treatments cannot be given simultaneously to a patient suffering from 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 give an elegant solution for resolving a medical treatment conflict on an example problem and show the importance of nonmonotonicity in medical reasoning.
AB - Medical treatment decision making is a good application of knowledge representation and reasoning. We are particularly interested in using them to resolve treatment conflicts, a complicated condition when two treatments cannot be given simultaneously to a patient suffering from 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 give an elegant solution for resolving a medical treatment conflict on an example problem and show the importance of nonmonotonicity in medical reasoning.
UR - http://www.scopus.com/inward/record.url?scp=80055025829&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:80055025829
SN - 9781577355090
T3 - Proceedings of the National Conference on Artificial Intelligence
SP - 1752
EP - 1753
BT - AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference
T2 - 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11
Y2 - 7 August 2011 through 11 August 2011
ER -