周青

作品数：9被引量：13H指数：3
导出分析报告
供职机构：中山大学信息科学与技术学院软件研究所更多>>
发文主题：逻辑推理人工智能知识集不确定性标识语言更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《计算机学报》《计算机工程与设计》《管理科学与研究（中英文版）》《计算机工程与应用》更多>>
所获基金：国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于知识的决策评价函数
《管理科学与研究（中英文版）》2013年第2期16-22,共7页周青 林剑文 黄志坚 
本文提出了一个决策评价函数，这个评价函数是通过对决策的目标、已经掌握的知识和证据进行分析而得到的。过去的经验和实验的结果作为样本在评价函数中有很好的使用；合格的样本可以从所有的样本中清楚地区分出来，这也是这个评价函数...
关键词：决策评价函数 决策 基于知识 
经典逻辑中的不确定性及其支持度被引量：3
《计算机学报》2006年第10期1882-1888,共7页周青 彭为 
分析了经典逻辑中命题不确定性的存在性,提出了通过推理对命题不确定性的测度方法;详细描述了如何对原逻辑系统的扩展以建立具有不确定推理能力的新的逻辑系统URS;給出了URS的语法及语义,证明了URS的合理性与完全性定理,并与其它不确定...
关键词：支持度 命题的不确定性 一阶推理系统 
逻辑推理与算术运算合并系统的理论分析
《计算机学报》2004年第8期1109-1114,共6页周青 伍丽华 
提出一个逻辑推理与算术运算合并系统的形式定义 ,通过合并算子把逻辑推理合并到算术系统中 ,使得在需要解决逻辑推理中的数值计算时 ,直接把问题转化为纯算术系统中的运算 ;文章对该形式系统作了理论上的分析 ,考察了合并系统的语法描...
关键词：合并语言 合并算子 相对可靠性 相对完备性 
相关的科技文章的智能搜索
《计算机工程与应用》2004年第12期48-51,共4页周青 郑泽奇 
论文提出了一个搜索相关科技文章的新思路。依照科技文章的主题特征,我们给出了相关的关键词和相关文章的定义。基于这些定义,论文提出了一个对关键词集的扩展方法,并给出以之查询相关的科技文章的算法,使得计算机能够在无需理解词义的...
关键词：智能搜索 信息检索 相关的关键词 相关的文章 
一种基于Web服务的工作流标识语言被引量：4
《计算机工程与设计》2004年第5期731-735,共5页周青 吴滔 
在Web服务流标识语言WSFL的基础上,提出了一种在Web方式下基于Web服务的工作流标识语言WXML,解决了在Web方式下调用Web服务出现的“循环调用”问题,并对WXML工作流引擎进行了初步设计和实现。这种基于Web服务的工作流应用系统在互操作...
关键词：WEB服务 工作流 标识语言 WXML 引擎 WSFL 循环调用 
不确定推理的支持度被引量：4
《软件学报》1999年第2期193-196,共4页周青 鞠实儿 
国家863高科技项目
在引进的不确定性支持度的基础上，提出了不确定推理的一个可操作模型．定义了不确定推理的概念，引进了不确定推理的支持度，讨论了它们的初步性质．所有这些都是建立在经典的二值逻辑的基础上的，因而具有较牢固的基础．
关键词：知识集 支持度 不确定推理 人工智能 
集合上的递归函数
《Journal of Mathematical Research and Exposition》1998年第3期459-464,共6页周青 
本文在Ｊｅｎｓｅｎ和Ｋａｒｐ工作的基础上引进了集合上的递归函数的概念．研究了递归集函数的初步性质，讨论了递归集函数与Ｊｅｎｓｅｎ和Ｋａｒｐ定义的原始递归集函数及递归数论函数之间的关系，并给出了ＺＦＣ的可定义集模型上递...
关键词：递归集论公式 原始递归集函数 集合 递归函数 
HiLog的悖论
《计算机学报》1996年第10期780-782,共3页周青 
本文证明了文献［１］中所定义的ＨｉＬｏｇ语言可能产生悖论，并讨论了产生这种悖论的原因．
关键词：谓词 HiLog语言 程序语言 
关于程序验证方法的讨论被引量：2
《计算机科学》1995年第3期58-60,共3页周青 
一、引言 自从1967年Floyd发表其论文“给程序赋予意义以来,程序自动验证工具的研究持续了数十年。Floyd在文[4]中提出了用“断言式方法”证明程序的正确性。
关键词：程序验证方法 逻辑推理 数理逻辑 程序正确性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部