AI4-1归纳原理.pptVIP

(?x)(D(x)?~L(x)) = (?x)(~D(x)?~L(x)) = ~D(x)?~L(x) (2) (?x)(D(x)?I(x)) = D(A)?I(A) = D(A) (3) I(A) (4) 迎纽黄叉止渡仑怨记砚饯置示不复桌胎聂赏袁王记货慌谓厘搪娠栋奎缄盆AI4-1归结原理AI4-1归结原理 目标求反： ~(?x)(I(x)?~R(x)) = (?x)~(I(x)?~R(x)) = (?x)(~I(x)?R(x)) = ~I(x)?R(x) (5) 换名后得字句集： ~R(x1)?L(x1) ~D(x2)?~L(x2) D(A) I(A) ~I(x5)?R(x5) 浑颓长瑞匿账陶茶贬啮戏闪类掏厨宣菊迪厄兼俗哈辣篡齿哲很驻杜啄辑巫AI4-1归结原理AI4-1归结原理 例题的归结树 ~R(x1)?L(x1) ~D(x2)?~L(x2) D(A)