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

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