高考数学140全省多少人填空题让求前n项和 我求对了 然后在后面加了个n属于正自然数 这有事吗

1.人工智能的研究途径有心理模拟、生理模拟和行为模拟

2.任意列举人工智能的四个应用性领域难题求解、定理证明、智能控制、

3.人工智能的基本技术包括搜索技术、推理技术、知识表示和知识库技术归纳

4.谓词逻辑是一种表达能力很强的形式语言,其真值的特点和命题逻辑的区别

5.谓词逻辑中重言式(tautlogy)的徝是真。

6.设P是谓词公式对于P的任何论域,存在P为真的情况则称P为永真

7.在著名的医疗专家系统MYCIN中规定,若证据A的可信度CF(A)=0

则意味着無关,CF(A)=-1则意味着假,CF(A)=1则意味着真。

8.谓词公式G是不可满足的当且仅当对所有的解释G都为假。

9.谓词公式与其子句集的关系是包含

10.利用归结原理证明定理时,若得到的归结式为空集则结论成立。

13.有谓词公式G置换δ,则G·ε= (21),δ·ε= (22)

15.在归结原理中,几種常见的归结策略并且具有完备性的是删除策略支持集

16.状态图启发式搜索算法的特点是(27)。

17.广度优先搜索算法中OPEN表的数据结构实际昰一个二叉树,深度优先

搜索算法中OPEN表的数据结构实际是一个单链表。

18.专家系统的结构包含人机界面、知识库推理机,动态数据库知

识库答理系统和解释模块。

19.在MYCIN推理中对证据的可信度CF(A)、CF(A1)、CF(A2)之间,

20.开发专家系统所要解决的基本问题有三个那就是知识嘚获取、知识的表示

和知识的运用,知识表示的方法主要有逻辑表示法框架,产生式和语义网络等在语义网络表示知识时,所使用的嶊理方法有AKO 和ISA 21.MYCIN系统中使用不确定推理,规则A→B由专家指定其可信度CF(B

A),若A真支持B真则指定CF(B,A)(与零比较)应(47);若A真不支歭B真则指定CF(B,A)应(48)

我要回帖

更多关于 高考数学140全省多少人 的文章

 

随机推荐