语义一致性论文

协同编辑环境下基于树型结构的锁操作意愿维护研究
论文摘要一致性维护是实时协同编辑系统中的核心问题,长期以来受到本领域研究学者的普遍重视。一致性维护包括句法一致性和语义一致性。已有的主流一致性维护方法:操作转换和地址空间转换可...
知道谓词逻辑
论文摘要知道逻辑是认知逻辑中的一个重要分支。从古希腊哲学家柏拉图开始,哲学家们就开始对知识问题不断地进行讨论研究。但对知道逻辑形式系统进行研究则是从芬兰哲学家冯·赖特（G·Hv...