| 对动作的认知 |
| |
| 引用本文： | 刘壮虎,李小五.对动作的认知[J].湖南科技大学学报(社会科学版),2005,8(6):33-38. |
| |
| 作者姓名： | 刘壮虎 李小五 |
| |
| 作者单位： | 1. 北京大学,哲学系,北京,100871
2. 中山大学,逻辑与认知研究所,广东,广州,510275 |
| |
| 基金项目： | 教育部人文社会科学重点研究基地资助项目(02JAZJD720017) |
| |
| 摘 要： | 在通常的动态认知逻辑的基础上,引进对动作的认知。给出对动作认知的语义和特征公理,建立这种新类型逻辑的极小系统,并证明其框架可靠性和框架完全性。
|
| 关 键 词： | 认知 动作 动态认知逻辑 |
| 文章编号： | 1672-7835(2005)06-0033-06 |
| 修稿时间： | 2005年6月15日 |
Cognition of Actions |
| |
| LIU Zhuang-Hu,LI Xiao-wu.Cognition of Actions[J].journal of hunan university of science&technology,2005,8(6):33-38. |
| |
| Authors: | LIU Zhuang-Hu LI Xiao-wu |
| |
| Institution: | LIU Zhuang-Hu~1 & LI Xiao-wu~2 |
| |
| Abstract: | In this paper,we introduce the cognition of actions on the basis of the commonly dynamic epistemic logics.We give the semantics and the character axiom of the cognition of actions,establish the minimum system of the new style of logics,and then prove the frame soundness and frame completeness of the system. |
| |
| Keywords: | cognition action dynamic epistemic logic |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
