26

人工智能-16_谓词演算中的归结

上传者:小鱼儿

发布时间:2014-07-11 20:09:46

大小:1 M

简介:合式公式(“ 1 , 2 ,…, n )( 1 ∨ 2 ∨…∨ k )可缩写为 1 ∨ 2 ∨…∨ k ,其中 1 , 2 , …, k 是可能包含变量 1 , 2 ,…, n 的文字。也就是说,仅仅去掉了全称量词,并假定 i 中任何变量 全称量化(后面将说明如何能首先消除任何存在的量化变量)。

人工智能 如何
下 载 1人已下载
分享