|
|||||
|
|
| 认知逻辑系统SE及其语义模型 | |
| 引用本文： | 谷飙.认知逻辑系统SE及其语义模型[J].青海大学学报,1998,16(6):55-58. |
| 作者姓名： | 谷飙 |
| 作者单位： | 青海大学社会科学系 西宁810016 |
| 摘 要： | 文中对理性认知主体的知识和信令的特征进行了分析。利用算子Ｋ和Ｂ构造认知逻辑的形式系统ＳＥ和语义模型Ｍ，证明了ＳＥ关于Ｍ的可靠性和完备性。 |
| 关 键 词： | 认知逻辑 语义模型 可靠性 完备性 SE |
| 本文献已被 CNKI 维普 等数据库收录！ | |
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |