首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
说明性语言的特点之一是(27),(28)就是一种说明性语言,它又是一种(29)程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P,Q,R为原子公式,则(30)为Horn子句。
说明性语言的特点之一是(27),(28)就是一种说明性语言,它又是一种(29)程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P,Q,R为原子公式,则(30)为Horn子句。
admin
2019-04-08
39
问题
说明性语言的特点之一是(27),(28)就是一种说明性语言,它又是一种(29)程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P,Q,R为原子公式,则(30)为Horn子句。
选项
A、P,Q:-R
B、P:-Q,R
C、P:-~Q,R
D、P,Q:-
答案
B
解析
程序设计语言可分为过程性语言和非过程性语言,说明性语言属于非过程性语言,其特点之一就是没有赋值语句。本题中的Prolog是说明性语言,而现在流行的一些语言,基本上都是过程性语言。
同时,Prolog也是一种逻辑的人工智能语言,它的推理机制是采用一阶谓词逻辑。
Horn子句是逻辑程序设计语言的一个重要概念,对自动推理带来了形式上一致化的好处。在经典逻辑中,任一个由若干原子命题及有关逻辑运算符组成的复合命题均可化为等价的合取范式
其中P
ij
为正或负的原子命题,进而表示成子句集:
其中每个形如
的命题称为子句;若
中至多只有一个是以正命题形式出现的,则称此子句为Horn子句。
转载请注明原文地址:https://kaotiyun.com/show/q8LZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
设置当前工作簿属性,保存预览图片,使打开时能在[打开]对话框中预览该文件,最后关闭文档信息面板。
步骤1选中单元格C3,单击格式刷。步骤2拖动选中单元格区域C3:C5,再拖动选中单元格区域E3:E5。本题考查的是“应用格式”考点中的“应用格式刷”。
设置D列单元格的日期格式为“年*月*日”不受操作系统设置的影响。
在当前工作表中,模拟运算表的单元格区域为A13:B17,创建的模拟运算表是以B9单元格为输入引用行的单元格,用A13:A17和C13:G13单元格区域的数据来替换输入单元格中的数据,单元格区域C14:G17中则会显示数据单元格的变化对B13单元格的影响。
将当前文档中的文本框颜色设置为“绿色”(标准色第6个),设置高度为7厘米,宽度为11厘米,并锁定纵横比。
请为当前表格填充绿色(第一行第七列),样式纯色(100%),颜色标准颜色黄色(第一行第四列)。
将公式中x的取值范围修改为(一1,1),并将公式中的“1”更改为1/2。
将“第l章集合与函数的概念”的内容折叠,只显示章标题。
子程序通常分为两类:()和函数,前者是命令的抽象,后者是为了求值。
为了避免流程图在描述程序逻辑时的灵活性,提出了用方框图来代替传统的程序流程图,通常也把这种图称为______。
随机试题
将本身没有逻辑意义的材料人为地赋予某些意义以便于记忆,也是一种形式的有意义学习。()
第二审民事判决书理由的阐述,要针对( ),加强事理分析。
将荧光抗体和未标记的抗体球蛋白等量混合后,对已知阳性抗原的切片进行处理,结果为阴性,此试验为
在样品预处理中,经常使用高氯酸作消解试剂,在使用时应注意
狗脊的入药部位()。
关于内幕信息,下列表述错误的是()。
下列有关定金和押金的说法中,正确的是()
隐域性是指自然地理现象在受到局部的地形、水文、土壤、气流、洋流、季风等因素的影响下,在地球表面不按或偏离纬向地带性规律分布的特性,它使地带性分布规律变得不鲜明,使自然环境变得更具复杂性与多样性。以下属于隐域性分布的是()。
根据以下资料,回答下列问题。2012年,黑龙江省规模以上工业企业中,六大战略性新兴产业单位721户,累计实现增加值455.7亿元,比去年增长15.1%,高于全省规模以上工业增加值增速4.6个百分点,占全省规模以上工业企业增加值的9.6%。从产业构成看,新
下列关于this指针的叙述中,正确的是()。
最新回复
(
0
)