| 包含巴肯公式的认知谓词逻辑系统 |
| |
| 引用本文： | 谷飙.包含巴肯公式的认知谓词逻辑系统[J].青海大学学报,1999,17(5):46-48,52. |
| |
| 作者姓名： | 谷飙 |
| |
| 作者单位： | 青海大学社会科学系!西宁810016 |
| |
| 摘 要： | 文中将认知逻辑的分析方法由命题推广至谓记号，函数、个体变元和常元，构造了一个包含巴肯公式的认知谓词逻辑系统。
|
| 关 键 词： | 认知谓词逻辑 巴肯公式 可靠性 人工智能 谓词 |
A Predicate System of Epistemic Logic with Bacon-formula |
| |
| Gu Biao.A Predicate System of Epistemic Logic with Bacon-formula[J].Journal of Qinghai University(Natural Science),1999,17(5):46-48,52. |
| |
| Authors: | Gu Biao |
| |
| Abstract: | In this paper, the method of epistemic logic is applied to predicate,function and individual , a predicate system is constructed, which contains the Bacon formula. In part 1, the language and formal Isystem is expressed. In part 2, the soundness of the system is proved. |
| |
| Keywords: | epistemic predicate logic Bacon-formula soundnessi |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
