根据BMKI关于知识背景空间的研究,知识背景空间的本质是公理体系.我们对一般科学知识(包括医学知识)如教科书的理解,联想,教学,撰写依赖的知识背景空间是一种"大或"空间,人们可以根据理解需要不断变换空间的维度体系。
但推理过程则不然,推理空间只能发生在同一公理体系中。于是产生José L.V. Mejino,和 Cornelius Rosse在FMA中的遇到的推理问题:由[U](尿–contained in-膀胱腔)[/U][B]and[/B][U](膀胱腔–part of-膀胱)[/U]导致的结论断言[U](尿-part of-膀胱)[/U]是无效的。这是因为第一个断言在生理学空间中实现,第二个断言在解剖学空间中实现。而结论断言在解剖学空间中不能实现,因为解剖学空间排斥“机体代谢的临时性产物”这类元素,包括尿。
关于BMKI这一新原理,特赋诗一首以记:
[B][U]公理演绎见真谛[/U]
━━记BMKI公理系统决定推理新原理[/SIZE]
[U]“大或”空间随人意,
助君联想行万里;
前辈误作推理游,
悬崖攀登险象起。
山穷水复伤情地,
柳暗花明艳阳天;
山水转来规则转,
公理演绎见真谛。[/U][/B][/FONT] [/SIZE] [/COLOR] |