|
在谓词演算中合适公式的递归定义如下: (1) 原子谓词公式是合适公式。 (2) 若A为合适公式,则～A也是一个合适公式。 (3) 若A和B都是合适公式,则(A∧B),(A∨B),(A=>B)和(A←→B)也都是合适公式。 (4) 若A是合适公式,x为A中的自由变元,则(x)A和(x)A都是合适公式。 (5) 只有按上述规则(1)至(4)求得的那些公式,才是合适公式。 |
|
在谓词演算中合适公式的递归定义如下: (1) 原子谓词公式是合适公式。 (2) 若A为合适公式,则～A也是一个合适公式。 (3) 若A和B都是合适公式,则(A∧B),(A∨B),(A=>B)和(A←→B)也都是合适公式。 (4) 若A是合适公式,x为A中的自由变元,则(x)A和(x)A都是合适公式。 (5) 只有按上述规则(1)至(4)求得的那些公式,才是合适公式。 |
定义1 智能机器 能够在定形或不定形,熟悉或不熟悉的环境中自主地或与操作人员交互作用...