意图逻辑

近年来,关于意图的形式化研究已成为哲学逻辑、人工智能和计算语言学共同关心的重要课题,

The formalized study of intention is becoming an important issue in artificial intelligence, computational linguistics and philosophical logic in recent years. In this paper,we analyze some well-known intention logics and point out their drawbacks. We propose that we should focus on the dynamic character of intentions in the further research. A set of primitive dynamic constraint is given.