摘要
本文提出两个标准来表示"一个主体有智能":该主体知道它的知识和它做过的活动。然后我们给出若干逻辑系统分别整体地、局部地和半局部地刻画上述标准。最后我们证明这些系统相对各自的语义是框架可靠和框架完全的。
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.
出处
《心智与计算》
2007年第2期223-245,共23页
Mind and Computation
基金
Sponsored by a key project (No 05JJD72040001)from key research institutes for humanities and social sciences of Chinese Ministry of Education
