| 刻画主体有智能的逻辑(英文) |
| |
| 引用本文： | 李小五. 刻画主体有智能的逻辑(英文)[J]. 心智与计算, 2007, 0(2) |
| |
| 作者姓名： | 李小五 |
| |
| 作者单位： | 中山大学逻辑与认知研究所中山大学哲学系 广东 |
| |
| 摘 要： | 本文提出两个标准来表示"一个主体有智能":该主体知道它的知识和它做过的活动。然后我们给出若干逻辑系统分别整体地、局部地和半局部地刻画上述标准。最后我们证明这些系统相对各自的语义是框架可靠和框架完全的。
|
| 关 键 词： | 知道一个活动的逻辑系统 半无穷方法 自代入方法 固定点方法 拟赋值方法 |
Logics Characterizing an Agent Having Intelligence |
| |
| LI Xiao-wu. Logics Characterizing an Agent Having Intelligence[J]. Mind and Computation, 2007, 0(2) |
| |
| Authors: | LI Xiao-wu |
| |
| Abstract: | we put forward two criterions to represent "an agent has intelligence": the agent knows its knowledge and the actions it has executed. And then we give out some logical systems to characterize the criterions holistically, locally and semi-locally, respectively. Finally, we show that the systems are frame sound and frame complete with respect to respective semantics. |
| |
| Keywords: | holistic characterization local characterization semi-local characterization |
| 本文献已被 CNKI 等数据库收录！ |
