基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。
基于规则的正向演绎系统的使用条件（）A、事实表达式是任意形式B、规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式C、目标公式为文字析取形D、目标公式是任意形式
对基于规则的正向演绎系统，目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。
在城市轨道交通的规划建设阶段，ATC系统的类型主要有（）。A、基于有线的列车控制系统B、基于无线的列车控制系统C、分散式ATCD、连续式ATC和点式ATC
单点登录系统主要有（）A、基于服务端凭据缓存的单点登录系统B、基于令牌的单点登录系统C、基于加密的单点登录系统D、基于PKI的单点登录系统E、基于客户端凭据缓存的单点登录系统
基于规则的正向演绎系统的的子集形式（）A、子句的合取式（合取范式）B、子句的析取式（析取范式）C、文字的析取式D、文字的合取式
基于规则的逆向演绎系统的初始综合数据库是（）A、事实表达式的与或树B、目标公式的与或树C、与或树D、证明树
规则演绎系统和产生式系统有哪几种推理方式？各自的特点为何？
基于规则的正向演绎系统的子句形式（）A、子句的合取式（合取范式）B、子句的析取式（析取范式）C、文字的析取式D、文字的合取式
以下关于数学与游戏的系统结构的说法正确的是（）A、数学预先定义公理化系统，游戏先定义对象和规则，存在相似处B、数学定义的演绎体系与游戏的系统结构完全不一致C、游戏的规则由于是人为设定，所以与数学中的公理化体系完全不一样D、数学中的演绎体系是一成不变的，与游戏的规则变化性相差甚远
现代入侵检测系统主要有哪几种类型（）A、基于用户的B、基于主机的C、基于病毒的D、基于网络的
实现不同系统之间病历信息的集成主要有两类技术：基于数据的集成和基于（）的集成。A、界面B、功能C、对象D、信息
多选题单点登录系统主要有（）A基于服务端凭据缓存的单点登录系统B基于令牌的单点登录系统C基于加密的单点登录系统D基于PKI的单点登录系统E基于客户端凭据缓存的单点登录系统
单选题基于规则的正向演绎系统的子句形式（）A子句的合取式（合取范式）B子句的析取式（析取范式）C文字的析取式D文字的合取式
问答题规则演绎系统和产生式系统有哪几种推理方式？各自的特点为何？
判断题对基于规则的正向演绎系统，目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。A对B错
判断题基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。A对B错
单选题基于规则的逆向演绎系统的初始综合数据库是（）A事实表达式的与或树B目标公式的与或树C与或树D证明树
多选题基于规则的正向演绎系统的使用条件（）A事实表达式是任意形式B规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式C目标公式为文字析取形D目标公式是任意形式
单选题基于规则的正向演绎系统的的子集形式（）A子句的合取式（合取范式）B子句的析取式（析取范式）C文字的析取式D文字的合取式
多选题基于规则的逆向演绎系统的使用条件（）A事实表达式是文字合取形式B事实表达式是任意形式C规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。D目标公式是任意形式
多选题基于多代理集成供应链的建模方法主要有（）。A基于信息流的建模方法B基于过程优化的建模方法C基于案例分析的建模方法D基于工业设计规则的建模方法E基于商业规则的建模方法
判断题基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。A对B错
多选题现代入侵检测系统主要有哪几种类型（）。A基于用户的B基于主机的C基于病毒的D基于网络的
单选题系统动力学建模的独特之处在于它是基于因果关系和（）。A结构决定行为B意识决定行为C类比D演绎