标记逻辑相关论文
定义了一类新的易处理理论：s-EPCCL理论.在此基础上,提出了一种以s-EPCCL理论为目标语言的多值知识编译方法.该方法与现有知识编译......
经典逻辑BF是应用最广的一种系统，但存在悖理。本文指出，这仅是“推理”悖理，通过分析提出了解决方法，完成了次协调性的构造。......
