首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
说明性语言的特点之一是(27),(28)就是一种说明性语言,它又是一种(29)程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P,Q,R为原子公式,则(30)为Horn子句。
说明性语言的特点之一是(27),(28)就是一种说明性语言,它又是一种(29)程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P,Q,R为原子公式,则(30)为Horn子句。
admin
2019-04-08
75
问题
说明性语言的特点之一是(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://www.kaotiyun.com/show/q8LZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
步骤1单击[样式]组中的[套用表格格式]按钮,单击[表样式浅色13],如图4—10所示。[*]步骤2在[套用表格格式]对话框中选中[表包含标题]复选框,单击[表数据来源]右侧的折叠对话框按钮,如图4—11所示。[*]步骤3选中单元格区域
步骤在编辑栏输入“=‘2012—8—15’—‘2012—3—23’”,再单击任意单元格。本题主要考核“日期和时间的运算”这个考点。
在编辑栏中输入公式计算出张丽的平均分,将结果显示在E2单元格。
步骤1在[设计]选项卡[图表样式]组中单击[样式28]。步骤2右键单击图表→[添加趋势线],打开[设置趋势线格式]对话框,选中[显示公式]复选框,如图6—14所示。[*]步骤3单击[关闭]按钮。本题考查的是“趋势线”考点。
先将当前文字设置成垂直,再将“骄傲使人落后”设置成纵横混排的效果。
修改选中内容的多级符号,分别将第2~4级编号的字体颜色设置为红色、橙色、黄色(标准色第2~4个)。
根据数据结构中各数据元素之间前后件关系的复杂程度,一般将数据结构分成()。
随机试题
2020年,由软件产品、信息技术服务、信息安全产品和服务、嵌入式系统软件四大业务形态构成的我国软件和信息技术服务业持续恢复,收入保持较快增长,信息技术服务加快云化发展,软件应用服务化、平台化趋势明显。2020年,软件产品实现收入22758亿元,同
碳酸盐岩是以()类矿物为主要成分的岩石。
关于支气管哮喘发作的临床表现,下列哪项不正确
下列关于深Ⅱ度烧伤的叙述,不正确的是()
膜性肾小球肾炎的主要病理特点是
下列哪项疾病不把肾脏CT检查作为首选?()
实行电算化的单位的现金日记账和银行存款日记账要求()。
如下图所示,在某DHCP客户机上捕获了6个报文,并对第5条报文进行了解析。分析图中信息并回答下列问题。该客户机获取的IP地址是【11】。
A、B、C、D、C
Forcenturies,immigrantshavecometoAmericaseekingthepromiseoflife,liberty,andthepursuitofhappiness.Somecamefl
最新回复
(
0
)