谓词演算

作品数：67被引量：61H指数：4
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：毛宇光郭星明江明德李轶艾波更多>>
相关机构：电子科技大学南京大学北京邮电大学南京航空航天大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
深度学习能否让机器像人脑一样思维
《中国科技财富》2021年第2期89-89,共1页石大明 
人类一直梦想让机器拥有我们人类大脑一样的思维能力,而近年来深度学习在人工智能领域的表现一枝独秀。人工智能有两个主要分支•.符号主义和联接主义。前者通过代号描绘万物,然后通过句法分析和谓词演算实现逻辑推理;联接主义则模拟人...
关键词：深度学习 人工智能 谓词演算 人类大脑 神经网络 符号主义 数学工具 思维能力 
因素表示的信息空间与广义概率逻辑被引量：6
《智能系统学报》2019年第5期843-852,共10页汪培庄 周红军 何华灿 钟义信 
国家自然科学基金(61350003,60273087,60873001)
国内外近年来所提出的广义概率逻辑对于人工智能的发展有重要意义。能否反映变换演化的实际场景,使逻辑判断能够灵活变通,这是广义概率逻辑发展的关键。为了解决这一问题,本文的目是以信息空间作为逻辑与实际场景的接口。有了这个接口,...
关键词：机制主义人工智能 泛逻辑 计量概率逻辑 因素空间 模糊集 可能性空间 谓词演算 随机集落影 
数理逻辑
《语数外学习（高中版）（上）》2019年第5期55-56,共2页
逻辑是探索、阐述和确立有效推理原则的学科,最早是由古希腊学者亚里士多德创建的.用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑,也叫做符号逻辑.一、数理逻辑的产生利用计算的方法来代替人们思维中的逻辑推理过程,这种...
关键词：数学家 集合论 命题演算 逻辑元件 逻辑连接词 非欧几何 谓词演算 
论数理逻辑中的置换与代换被引量：1
《黑龙江科技信息》2011年第28期237-237,236,共2页王小花 郭萍 耿学华 
本文介绍了数理逻辑的发展史,论述了数理逻辑中的置换和代换的定义、置换定理和代换定理、二者区别及关系,说明了置换和代换在整个数理逻辑中的地位及重要作用。最后,简单谈了学习数理逻辑对思维和行为的指导作用。
关键词：数理逻辑 命题演算 谓词演算 置换 代换 
吴方法在离散数学谓词演算教学中的应用
《计算机光盘软件与应用》2011年第1期165-166,共2页李轶 
离散数学是现代科学的一个重要分支，是计算机科学中基础理论的核心课程，而谓词逻辑是其中一个十分重要的内容之一。如何将计算机自动推理的另一个经典方法——吴方法引入到离散数学的教学中是本文着重探讨的问题。
关键词：离散数学 自动推理 吴方法 
用谓词演算式刻画“数学分析”中的几个基本概念
《数学学习与研究》2010年第17期94-94,共1页韩光辉 
本文结合命题联结词及谓词和量词，将“数学分析”中的基本概念：“极限”“连续”“一致收敛”，用谓词演算式来刻画，进一步将其写成逻辑等价的斯柯林范式．
关键词：谓词 量词 斯柯林范式 
吴方法在离散数学谓词演算教学中的应用
《计算机光盘软件与应用》2010年第6期193-194,共2页李轶 
离散数学是现代科学的一个重要分支，是计算机科学中基础理论的核心课程，而谓词逻辑是其中一个十分重要的内容之一。如何将计算机自动推理的另一个经典方法——吴方法引入到离散数学的教学中是本文着重探讨的问题。
关键词：离散数学 自动推理 吴方法 
管理信息本体需求的谓词演算有限集构造被引量：5
《浙江大学学报（理学版）》2009年第4期401-407,共7页郭星明 郭天晨 刘观生 张三元 
国家"863"高技术研究发展计划资助项目(2007AA01Z311;2007AA04Z1A5);教育部博士学科点基金资助项目(20060335114)
由于管理信息需求的不确定性、多样性和动态性,管理信息系统(包括ERP)的开发一直被认为是一项高风险的投资项目.通过管理信息本体的研究,构建基于本体需求的管理信息本体描述框架及其谓词演算集,无疑可以进一步降低管理信息系统的开发成...
关键词：管理信息系统 本体需求 谓词演算 有限集构造 
模型驱动的实时嵌入式系统结构设计与属性分析
《计算机与现代化》2008年第12期63-66,共4页杨楠 黎鹏 万明 
实时嵌入式系统的实时性约束主要来自系统的安全性需求。传统开发方法不仅需要较长的开发周期和较高的开发费用,而且缺少对安全性的支持。本文基于模型驱动开发方法,使用结构分析和设计语言设计铁路平交道口控制系统,并使用谓词演算对...
关键词：实时 嵌入式 模型驱动 谓词演算 
基于FI-代数的一阶模糊谓词演算逻辑系统被引量：1
《模糊系统与数学》2008年第4期27-32,共6页朱怡权 
广东省自然科学基金资助项目(021073);肇庆学院自然科学研究项目(0663)
在模糊命题逻辑系统FMI的基础上,建立了一个基于FI-代数的一阶模糊谓词演算形式系统。主要给出了该系统的一些语义概念,并基于安全的M-解释研究了其可靠性。这些结果将有利于在一个更加广泛的逻辑框架下来研究模糊推理的逻辑基础问题。
关键词：FI-代数 模糊逻辑 一阶谓词演算 可靠性 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部