主体认知正则活动的逻辑刻画  

Knowing Regular Action Logic(KRAL)

作　　者：王景周[1] 崔建英[2] 

机构地区：[1]暨南大学学报编辑部,广东广州510632 [2]西南大学逻辑与智能研究中心,重庆市400715

出　　处：《西南大学学报（社会科学版）》2010年第4期59-65,共7页Journal of Southwest University(Social Sciences Edition)

基　　金：国家社科基金项目"现代逻辑在人工智能中的应用研究"(04BZX046);项目负责人:唐晓嘉

摘　　要：研究了主体对正则复合活动认知的性质。首先,分析了文献中对主体认知活动的逻辑刻画及其存在的问题;然后,提出刻画主体认知复合活动的逻辑系统KRAL,并证明了该系统的可靠性和完全性。Epistemic properlies of complex actions are mainly studied. Firstly, we analyze the logical systems about know ing an action in some literatures. Secondly, we develop a logical system RKAL to characterize the epistemic properties of regular complex actions and prove soundness and completeness of the system.

关 键 词：知识 正则活动 动态认知逻辑 

分 类 号：B812[哲学宗教—逻辑学]