|
从前提H1，H2，…，Hn 推出结论A 的算法： (1) 对于前提H1，H2，…，Hn，分别给定一标记：H1标记为①，H2 标记为②，…，Hn 标记为。i←n(即将值n 赋给变量i )。 140 (2) 对j =1 to 7，考虑规则I j（分别用I5，I6 和I7 表示ES，US，和EG）： ⅰ).若I j 是I1 或I2，则： 对①，②，…， 所标记的公式按照一定顺序进行判定，如果有和(1 ≤ t1, t2≤ i )所 标记的公式满足I1 或I2 且推得公式M，并且M 与①，②，…， 所标记的公式都不相同， 则将M 标记为且i←i+1，转(3)。 145 ⅱ). 若I j 是I3，则： 对①，②，…， 所标记的公式按照一定的顺序对其中两个进行合取，如果有所标 记的公式M1 和 (1 ≤ t1, t2≤ i )所标记的公式M2 的合取式M1∧M2 不同于①，②，…， 所标记公式中的任一个，则将公式M1∧M2 标记为 且i←i+1，转(3)。 ⅲ). 若I j 是I4，则： 150 按照①，②，…， 所标记公式的先后顺序进行判定，如果(1 ≤ t ≤ i )所标记的公式 为合取式M1∧M2，那么： a). 若M1 与①，②，…， 所标记的公式均不同，则将M1 标记为且i←i+1，转(3)。 b). 若M2 与①，②，…， 所标记的公式均不同，则将M2 标记为且i←i+1，转(3)。 ⅳ). 若I j 是I5（或I6 或I7），则： 155 按照①，②，…， 所标记公式的先后顺序进行判定，如果(1 ≤ t ≤ i )所标记的公式 是I5（或I6 或I7）的前提，于是推出公式M，并且M 不同于①，②，…， 所标记公式 中的任一个，则将M 标记为且i←i+1，转(3)。 (3). 对于所标记的公式M，如果M 是所要证明的结论A，则停止，否则执行(2)。 本算法的建立完全基于语法推理的基础之上，与通常人们思维控制下进行语法推理的主 160 要区别是：在第(2)步规定了规则使用的先后顺序：I1，I2，…，I7。因此，按照算法所进行 的推理可能产生一些无用的中间结果。前述例3 和例4 中的推理利用算法中的步骤都可以推 得。由于例3 中的推理比较简单，算法推证时不会产生无用的中间结果，而算法推证例4 时就会出现一些不必要的中间结果。 4 结论 165 按照上述算法推理时，一般会得到许多并不需要的中间结果，甚至有时会不停止的永远 推下去，因为算法不可能准确无误地模仿人类的思维活动。比如例3 和例4 的语法推理中， 每一步的走势和结果都蕴含着人脑的逻辑思维，都是依据人们的想法进行的。思维过程不具 有可循的规律，而算法是具有规律性的机械过程。所以，上述算法是通过约定规则的先后顺 序和对推得的公式进行判定这种机械过程去近似模仿逻辑思维的，当然它不能精确地给予描 170 述。上述算法中所涉及到的规则仅有七个（I1—I7），如果推理规则增加，那么算法所推得 的不需要的中间结果可能会更多。该问题也是人工智能所关注和研究的对象。不过，从上述 对语义和语法推理的讨论可知，只要推理成立，利用算法一定可以从前提推出结论。无论怎 样，有一点是重要的，那就是语法推理或形式推理对计算机推理的重要性。 原创学术论文网Tag：计算机论文 代写代发论文 代写毕业设计 计算机发表 代写理工论文 |
 |
 |
 |
 |
 |
 |
 |
