Dotcpp / 试卷列表 / 人工智能 / 题目 7826

在基于规则的正向演绎系统中，我们把事实表示为非蕴涵形式

在基于规则的正向演绎系统中，我们把事实表示为非蕴涵形式的与或形。假如有下列的事实表达方：(彐 u)(▽v)｛Q(v，u)∧～［(R(v)∨P(v))∧S(u，v)］｝经过变换后，其正确的非蕴涵形式的与或形是：（）

A. Q(v,A)∧｛［～R(v)∧～P(v)］∨～S(A,w)｝

B. 14. ,在基于规则的正向演绎系统中，我们把事实表示为非蕴涵形式的与或形。假如有下列的事实表达方：(彐 u)(▽v)｛Q(v，u)∧～［(R(v)∨P(v))∧S(u，v)］｝经过变换后，其正确的非蕴涵形式的与或形是：（ CD ） A Q(v,A)∧｛［～R(v)∧～P(v)］∨～S(A,w)｝ B Q(v,A)∧｛［～R(w)∧～P(w)］∨～S(A,v)｝ C Q(w,A)∧｛［～R(w)∧～P(w)］∨～S(A, w)｝ D Q(w,A)∧｛［～R(v)∧～P(v)］∨～S(A,v)｝

C. Q(w,A)∧｛［～R(w)∧～P(w)］∨～S(A, w)｝

D. Q(w,A)∧｛［～R(v)∧～P(v)］∨～S(A,v)｝

答案

题目信息

题号：7826

题型：多选题

知识点：人工智能

难度：普通

去题库练习

训练

在基于规则的正向演绎系统中，我们把事实表示为非蕴涵形式

题目信息