【摘要】 在知识蕴涵命题逻辑的基础上,可以构建一个知识蕴涵时态命题逻辑系统,它可以描述包含时态信息的不协调知识系统的推理机制。根据给出的形式语义,可以证明该系统的可靠性和完全性。更多还原

【Abstract】 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.更多还原