建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题。

To establish a formal inferential system of intention consequences is an important issue in the formal study of intention.

youdao

图形推理是是一种重要的认知形式，它不仅受认知因素的影响，还与个性有一定关系。

Figure reasoning is an important cognitive style, it is not only affected by cognition, but also affected by personality.

youdao