一个描述现实主体信念的信息宣告觉知逻辑

摘要：

@@ 对现实主体信念的研究是认知科学和人工智能研究的重要内容.一个现实主体的信念有两个重要特征:动态的和非逻辑全知的.描述主体的动态特征的逻辑主要有两个途径,其一是表达信息更新的逻辑,其中公开宣告逻辑PAL([Plaza,1989],[Gerbrandy,Groeneveld,1997])受到了广泛关注;其二是表达信念修正的逻辑AGM(Gardenfors,Rott,1995).本文的逻辑是用公开宣告逻辑的思想来建立的.

机标关键词：现实主体

分类号：B81(逻辑学(论理学))

资助基金：教育部哲学社会科学研究重大课题05JZD0008

在线出版日期：2008-12-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：92-98