Results 1-2 of 2
 | 
期刊文章
Fulltext
周北海; 刘壮虎
逻辑研究专辑
2001
[ABSTRACT] 对意图后承的逻辑刻画是人工智能研究中的重要问题。本文在陈小平研究的基础上,构造了一个刻画意图后承的逻辑ICL。在ICL中讨论意图蕴涵和意图后承的性质,并证明了ICL的可靠性和完全性。
[KEYWORDS] 意图后承; 意图蕴涵; 认知赋值; 认知模型; 完全范式; 混合范式
期刊文章
Fulltext
许涤非
逻辑研究专辑
2001
[ABSTRACT] 本文介绍了二重命题逻辑系统■T4的形式语言和公理系统,并得出了有关该系统的重要定理。通过框架与模拟框架之间的桥梁,我们最终给出了二重命题逻辑的有效性是一种封闭框架类的有效性。利用二重命题逻辑的可能世界语义学,我们证明了■T4的可靠性与完全性。
[KEYWORDS] 二重逻辑; 公理系统; 可能世界语义学; 可靠性; 完全性
Results 1-2 of 2
  • <<
  • 1
  • >>