×
简答题
14.什么是范式?写出前束型范式与Skolem范式的形式。
答案解析
正确答案：范式就是标准型。谓词演算中,一般由两种范式,一种叫前束型范式,另一种叫Skolem范式。一个谓词公式,如果它的所有量词均非否定地出现在公式的最前面,且它的辖域一直延伸到公式之末,同时公式中不出现连接词→和↔,这种形式的公式称作前束型范式。它的一般形式(Q1x1) (Q2x2)…(Qnxn)M(x1 x2…xn)其中,Qi(i=1,2,…n)是存在量词或全称量词,母式M(x1 x2…xn)不含有量词。从前束型范式中消去全部存在量词所得到的公式称为Skolem标准型,它的一般形式是(V x1)(V x1)…(V xⱠ)M(xⱡ xⱢⱣxⱤ)
题目纠错
人工智能工程师（高级）题库（M)
相关题目
单选题
17、总体来说,人工智能发展的未来趋势是? ( )
单选题
16、机器学习研究如何通过计算的手段,利用经验来改善系统自身的性能,请问机器学习利用数据训练出什么? ( )
单选题
15、以下哪种学习方法不属于人工智能算法? ( )
单选题
14、语音识别常用的应用有四个,下列不是常用应用的是? ( )
单选题
13、自然语言处理难点目前有四大类,下列选项中不是其中之一的是? ( )
单选题
12、大数据的多样性使得数据被分为三种数据结构,那么以下不是三种数据结构之一的是? ( )
单选题
11、Spark是在哪一年开源的? ( )
单选题
10、在Spark的软件栈中,用于机器学习的是( )
单选题
9、在数据量一定的情况下,MapReduce是一个线性可扩展模型,请问服务器数量与处理时间是什么关系?( )
单选题
8、下列选项中,哪个不是HBASE的特点? ( )
