你甚至可以把它们用来做为活动内容，即把公式，要点以及基本步骤概括起来制造一张海报，然后把它贴在镜子前面，以便复习。
You can even make an activity out of it by making a poster summarising the formulae, key points and basic steps and putting it up by your mirror.
求解智能规划问题的一个重要方法即把智能规划问题转化为命题逻辑公式求解。
An important way for solving intelligent planning problem is translating it into propositional logic to solve.
应用推荐