至于哪些知识可以表达,哪些不可以表达,个人愚见,来自于两个方面的约束,第一是数学模型表达力度的问题,也就是前面说的,expressiveness power,在逻辑学里面,first order logic, second order logic,都有各自的局限性,加入Rule之后,expressiveness power 又加强了很多,但是还是有局限性。
另一方面,则在医学本身知识的沉淀上。很多医学知识,都是对于现象和经验的似是而非的总结,并没有上升到公理一样清晰的statement。比如,结核菌是结核病的致病菌。但是,结核病的治疗,并没有一个完善的数学模型去驱动他。这也导致了医学知识模型化的滞后。
目前,生物学本体的迅速发展,正在为未来医学模型奠定基础。 |