人工智能python基础知识_AI 人工智能基础知识-习题

由一般性知识推出适合于某一具体情况的结论的推理是？

演绎推理

P→Q Q→R => P→R  该永真蕴含式属于(    假言三段论 )

谓词逻辑下，子句, C1=L∨C1’, C2= ¬ L∨C2’,若σ是互补文字的最一般合一代换，则其归结式

C=(   C1’σ∨C2’σ   )

C1’σ∨C2’σ

C1’∨C2’

C1’σ∧C2’σ

C1’ ∧C2’

若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2的归结式R(C1，C2)=(    Q(a) ∨R(y)  )

在公式中"y$xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，把每个y值映射到存在的那个x。这种函数叫做(  Skolem函数 )

依赖函数

Skolem函数

决定函数

多元函数

以下属于不合法代换的有(   ab   )

{f(a)/b}

{x/y,f(y)/x}

{a/y,f(y)/x}

{f(x)/y,x/z}

以下推理错误的是(     cd)

P,P→Q => Q

┓Q,P→Q => ┓P

Q,P→Q => P

┓P,P→Q => ┓Q

产生式系统的推理包括(    abcd       )

正向推理

逆向推理

先正向推理，再逆向推理

先逆向推理，