首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
说明性语言的特点之一是(27),(28)就是一种说明性语言,它又是一种(29)程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P,Q,R为原子公式,则(30)为Horn子句。
说明性语言的特点之一是(27),(28)就是一种说明性语言,它又是一种(29)程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P,Q,R为原子公式,则(30)为Horn子句。
admin
2019-04-08
67
问题
说明性语言的特点之一是(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单击[样式]组中的[套用表格格式]按钮,单击[表样式浅色13],如图4—10所示。[*]步骤2在[套用表格格式]对话框中选中[表包含标题]复选框,单击[表数据来源]右侧的折叠对话框按钮,如图4—11所示。[*]步骤3选中单元格区域
步骤1选中单元格C3,单击格式刷。步骤2拖动选中单元格区域C3:C5,再拖动选中单元格区域E3:E5。本题考查的是“应用格式”考点中的“应用格式刷”。
设置D列单元格的日期格式为“年*月*日”不受操作系统设置的影响。
在编辑栏中输入公式计算出张丽的平均分,将结果显示在E2单元格。
删除当前图表赵媛的数据,但保持图表中源数据不变。
将当前文档中的文本框颜色设置为“绿色”(标准色第6个),设置高度为7厘米,宽度为11厘米,并锁定纵横比。
请为当前表格填充绿色(第一行第七列),样式纯色(100%),颜色标准颜色黄色(第一行第四列)。
数据库系统的核心是()。
编写程序【程序功能】在给定范围内查找k,使得公式k2+k+17生成的整数满足以下条件:该数的十进制表示中低3位数字相同,去掉低3位后的整数是回文数。例如,当k=461时,用公式生成的整数是212999,该数满足条件。【编程要求】(1)编写函数子程序
以下程序首先建立一条链表,然后按照如下顺序删除链表中的结点:以链表的第一个结点为1号结点开始依次搜索,删除所有序号为3的倍数的结点,即删除第3、6、9、……个结点,当搜索一遍结束后再从链表头部继续此操作,直到链表的结点个数少于3个为止。程序输出为:当前
随机试题
人身权作为专属权()。A.不能转让B.可以转让C.不可以转让,但法律另有规定的除外D.不得有偿转让
解救杀鼠药中毒选用:体外循环选用:
霍奇金病(HD)与非霍奇金淋巴瘤(NHL)最重要的鉴别是
肿瘤细胞被细胞毒性T细胞杀伤的关键条件是()
下列关于桥梁施工用履带式起重机的主要特性及使用注意事项的叙述有误的是()。
根据《2000年国际贸易术语解释通则》的解释,采用D组术语成交,卖方没有办理货运保险的义务,所以卖方可不必提交保险单。()
公安机关拘留了涉嫌犯罪的陈某,经讯问发现对陈某不应拘留。此时,公安机关要做的工作是()。
某厂生产的一批产品经产品检验,优等品与二等品的比是5:2,二等品与次品的比是5:1,则该批产品的合格率(合格品包括优等品与二等品)为()。
EffectiveNote-takingThedifficultyoftakingnotes:Note-takingrequiresahighlevelofabilityduetothe【T1】______ofspoke
Forthispart,youareallowed30minutestowriteanessayaboutCross-CampusSelectiveCourses.Youshouldwriteatleast120
最新回复
(
0
)