标记逻辑相关论文
标记逻辑是一种重要的次协调逻辑，标记逻辑中的２种推理关系，二次都是次协调的，可以用统一的方法处理一致的知识不一致的知识，单调的，有基......
众所周知，维持一个大型知识库的相容性是一件极其困难的事情，而一旦知识库中出现了不相容的信念，使用经典逻辑就再也无法有的推理了，因......
定义了一类新的易处理理论：s-EPCCL理论.在此基础上,提出了一种以s-EPCCL理论为目标语言的多值知识编译方法.该方法与现有知识编译......
标记逻辑是一种次协调逻辑系统，将XML用于表示标记逻辑，探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题，并给出了......
