|
|||||
|
|
| 一个描述现实主体信念的信息宣告觉知逻辑 | |
| 引用本文： | 吕进. 一个描述现实主体信念的信息宣告觉知逻辑[J]. 哲学动态, 2008, 0(7) |
| 作者姓名： | 吕进 |
| 基金项目： | 教育部哲学社会科学研究重大课题 |
| 摘 要： | 对现实主体信念的研究是认知科学和人工智能研究的重要内容.一个现实主体的信念有两个重要特征:动态的和非逻辑全知的.描述主体的动态特征的逻辑主要有两个途径,其一是表达信息更新的逻辑,其中公开宣告逻辑PAL([Plaza,1989],[Gerbrandy,Groeneveld,1997])受到了广泛关注;其二是表达信念修正的逻辑AGM(Gardenfors,Rott,1995).本文的逻辑是用公开宣告逻辑的思想来建立的. |
Belief Announcement Aware Logic |
|
| Lü Jin. Belief Announcement Aware Logic[J]. Philosophical Trends, 2008, 0(7) | |
| Authors: | Lü Jin |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |