标记逻辑（APC）中蕴涵概念在本体和认知方面的比较及研究

众所周知,维持一个大型知识库的相容性是一件极其困难的事情,而一旦知识库中出现了不相容的信念,使用经典逻辑就再也无法有的推理了,因为任何结论都是此知识 逻辑结果,这样,大量的有用信息就被屏蔽掉。为了解决这个问题目前已有一些方法,标记逻辑,简计为（ＡＰＣ）「１」是其中比较有效的一个。