暂无评论
目前常用梯形图转语句表方法有拓扑排序、二叉树、广义表、串并联归并等,但在梯形图编辑软件中难于直接同图形编辑的描述对应起来,编程难度也较大。为解决这些问题,提出了一种等效网络合并方法,采用一个矩阵和相关
为了表示和处理AUV(AutonomousUnderwaterVehicle,自治水下机器人)的心智状态及心智活动,对Rao和Georgeff的BDI逻辑进行了拓展,定义了一种含模态词(信念、目标、能
逻辑学的理论为人工智能的发展提供了有力的工具。标准逻辑促进了人工智能早期的发展,随着处理知识的随机性、模糊性和未知性等特点的出现,模糊逻辑等在人工智能中得到发展;各种形式的非标准逻辑的出现,促使建立尽
关系数据库中“逻辑实体”的研究,肖晖,罗军,在关系数据库中,物理表中的一行记录反映了现实世界中的某个对象,然而在实际应用中,有些对象需要由多行有相互联系的记录一起才
本资料为原书第2版PDF转为WORD形式而成,仅供学习参考!
数字电路逻辑公式pdf,运算规则:代入定理——任何一个含有某变量的等式,如果等式中所有出现此变量的位置均代之以一个逻辑函数式,则此等式依然成立,这称为代入规则。利用代入规则,反演律能推广到n个变量。
描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑,具有表达能力强且推理可判定的特征。但现有描述逻辑无法表示概念和角色上的函数,因此在图书馆的概念模型中,有一些问题便不能表示,如图书的本
在黑框中对离散数学中的命题公式进行的功能实现
实时时态认知逻辑模型检测中三值抽象技术的研究,周从华,孙博,实时时态认知逻辑TACTLK模型检测面临着与传统模型检测同样的挑战,即状态空间爆炸问题。抽象是缓解状态空间爆炸问题的最为有效的方
利用赋值集的随机化方法,在修正的[n]值G?del逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间。指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,建立了更一般的随机逻辑度量
暂无评论