中医药学是中国劳动人民在长期与疾病斗争的实践中的智慧结晶,在世界医学发展史上有着举足轻重的影响。要使中医药学迈向国际化、信息化、科学化、智能化,运用人工智能与数学方法描述中医药学基础理论,使中医药理论上升到数理层面,便于世人的学习、应用和认可是可选途径之一本文首次引入并应用非单调逻辑理论对中医辨证论治过程进行描述。首先以非单调缺省逻辑为理论基础,以论据系统作为辅助工具,将辨证论治过程符号化,实现辨证论治的非单调逻辑理论形式描述,形成初步的冲突隔离后的非单调推理过程。然后以真值维持系统为辅助工具,在此基础上进行加工改造,引入证据理论,提出信度计算方法来解决中医诊断过程中冲突出现后如何维持知识体系的一致性的问题,从而实现辨证论治过程的非单调推理修正模型。最后以中医专家系统为辅助工具,在具体算法中,通过引入相容性、贴近度、假设正确度等概念,将非单调逻辑理论思想引入中医专家系统中,使中医专家系统更加智能化,使之更切合中医药学理论的实际。