首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
说明性语言的特点之一是(27),(28)就是一种说明性语言,它又是一种(29)程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P,Q,R为原子公式,则(30)为Horn子句。
说明性语言的特点之一是(27),(28)就是一种说明性语言,它又是一种(29)程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P,Q,R为原子公式,则(30)为Horn子句。
admin
2019-04-08
36
问题
说明性语言的特点之一是(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单击“上半年销售业绩”系列单击[标签]→[数据标签]→[无]命令。步骤2单击[设置所选内容格式]按钮,在[三维格式]选项[棱台]组中选择“圆”的棱台效果,如图6—18所示。[*]步骤3单击[关闭]按钮。本题考查的是“设置数据
请并排比较当前窗口中的课程表和工作表。
修改选中内容的多级符号,分别将第2~4级编号的字体颜色设置为红色、橙色、黄色(标准色第2~4个)。
数据库系统的三级模式分别为()模式、内部级模式与外部级模式。
软件复杂性度量的参数包括()。
下列叙述中,不属于结构化程序设计方法的主要原则的是()。
数据结构作为计算机的一门学科,主要研究数据的逻辑结构、对各种数据结构进行的运算,以及()。
程序改错【题目】以下程序的功能是:求1000000以内的所有平方回文数。平方回文数是指该整数为某一整数的平方,且该整数的各位数字呈中心对称。正确程序的输出结果如下:1000000以内的平方回文数为:12148467610201123211464140
随机试题
A、Ithasfailed.B、Itwillsoonbefinished.C、Itison-going.D、Itwasstoppedhalfway.C
干扰素
期货公司聘请或者解聘会计师事务所的,应当自作出决定之日起15个工作日内向其住所地的中国证监会派出机构报告;解聘会计师事务所的,应当说明理由。()
制订银行业从业人员职业操守旨在提高银行从业人员的()。
具有“简明、快捷、内容新鲜”这种特点的文书是()。
据汉代郑玄推论,五帝时以乐教为其主要教学内容的学校是()。
虚库指电子商务企业没有商品库存,委托供货商代为提供商品的一种销售行为。通常是为丰富商品种类,以虚库联营的方式对自营重点品类和品牌进行补充。根据上述定义,下列属于虚库的是:
一个网络协议主要由以下3个要素组成:语法、语义与时序。其中规定了控制信息结构与格式的是()。
Introduction介绍
EskimovillagestodayarelargerandmorecomplexthanthetraditionalnomadicgroupsofEskimokinsmen.Villagedecisionmaking
最新回复
(
0
)