摘要
在知识蕴涵命题逻辑的基础上,可以构建一个知识蕴涵时态命题逻辑系统,它可以描述包含时态信息的不协调知识系统的推理机制。根据给出的形式语义,可以证明该系统的可靠性和完全性。
At the basic of knowledge implication propositional logic, a system of knowledge implication tense prepositional logic system has been built. It can describe inference mechanism of inconsistent knowledge system which includes in tense information. According to given formal semantic, it has been proven the reliability and completeness of this system.
出处
《安徽大学学报(哲学社会科学版)》
CSSCI
北大核心
2009年第5期30-34,共5页
Journal of Anhui University(Philosophy and Social Sciences Edition)
关键词
知识蕴涵
时态
可靠性
完全性
逻辑
knowledge implication
tense
reliability
completeness
logic