我们可以举一个逻辑学上的例子来说明如何进行计划。例如我们要将
$$
R \bullet ( \neg \mathrm { P } \supset \mathrm { Q } ) \cdots \bot
$$
变为
$$
( \mathbf { Q } \lor \mathrm { P } ) \cdot \mathrm { R } \cdots \lor \vec { z }
$$
我们可以依据一系列逻辑规律来进行变换。在本例中可用的变换规则有三个：
1.(¬P⊃Q)可以变换为(PVQ)
2.(PVQ)可以变换为(QVP)
3.R·(QVP)可以变换为(QVP)·R
我们通过手段一目的分析法，利用这三个变换规则，通过三步就将上式变换为下式。对于这个简单的问题的解决，也可以事先做一个计划来使解决过程更为简化。如果我们忽略细节，不看“⊃，∨，。”符号，那么只要有两条规则就可以完成以上变换了。一条规则是，只要存在X与Y的顺序关系，均可倒为Y与X的顺序。如将P先Q后倒为Q先P后，R先(QVP）后倒为（QVP）先R后。这样，原先的“2”“3”规则可并为一个总的规则或操作方法。如果我们事先作出计划（计划空间)，忽略细节，就可把原来的三步省为两步。也就是说把“l”这个指数从3降为2。
第三章 问题解决
81