作　　者： ;

机构地区： 中山大学

出　　处： 《西南大学学报：社会科学版》 2010年第4期 59-65,共7页

摘　　要： 研究了主体对正则复合活动认知的性质。首先,分析了文献中对主体认知活动的逻辑刻画及其存在的问题;然后,提出刻画主体认知复合活动的逻辑系统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]

领　　域： []