摘要
研究了主体对正则复合活动认知的性质。首先,分析了文献中对主体认知活动的逻辑刻画及其存在的问题;然后,提出刻画主体认知复合活动的逻辑系统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.
出处
《西南大学学报(社会科学版)》
CSSCI
北大核心
2010年第4期59-65,共7页
Journal of Southwest University(Social Sciences Edition)
基金
国家社科基金项目"现代逻辑在人工智能中的应用研究"(04BZX046)
项目负责人:唐晓嘉
关键词
知识
正则活动
动态认知逻辑
knowledge
regular action
dynamic epistemic logic