周青
- 作品数：10 被引量：23H指数：3
- 供职机构：中山大学信息科学与技术学院软件研究所更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 集合上的递归函数
- 1998年
- 本文在Ｊｅｎｓｅｎ和Ｋａｒｐ工作的基础上引进了集合上的递归函数的概念．研究了递归集函数的初步性质，讨论了递归集函数与Ｊｅｎｓｅｎ和Ｋａｒｐ定义的原始递归集函数及递归数论函数之间的关系，并给出了ＺＦＣ的可定义集模型上递归集函数的范式定理．
- 周青
- 关键词：递归函数
- 基于一阶逻辑的推理与运算的合并系统
- 本文讨论了从逻辑推理到算术运算的转换系统,给出了该系统的形式化定义,并论证了其可靠性与完备性.进一步讨论了这种转换系统的算法,使推演与运算能机械地实现.
- 周青伍丽华
- 关键词：桥函数
- 文献传递
- 不确定推理的支持度被引量：7
- 1999年
- 在引进的不确定性支持度的基础上，提出了不确定推理的一个可操作模型．定义了不确定推理的概念，引进了不确定推理的支持度，讨论了它们的初步性质．所有这些都是建立在经典的二值逻辑的基础上的，因而具有较牢固的基础．
- 周青鞠实儿
- 关键词：知识集人工智能
- 一种基于Web服务的工作流标识语言被引量：4
- 2004年
- 在Web服务流标识语言WSFL的基础上,提出了一种在Web方式下基于Web服务的工作流标识语言WXML,解决了在Web方式下调用Web服务出现的“循环调用”问题,并对WXML工作流引擎进行了初步设计和实现。这种基于Web服务的工作流应用系统在互操作、集成、共享和效率等方面比现有技术具有明显的优势。
- 周青吴滔
- 关键词：WEB服务工作流标识语言引擎WSFL
- 关于程序验证方法的讨论被引量：3
- 1995年
- 一、引言 自从1967年Floyd发表其论文“给程序赋予意义以来,程序自动验证工具的研究持续了数十年。Floyd在文[4]中提出了用“断言式方法”证明程序的正确性。
- 周青
- 关键词：逻辑推理数理逻辑
- 基于知识的决策评价函数
- 2013年
- 本文提出了一个决策评价函数，这个评价函数是通过对决策的目标、已经掌握的知识和证据进行分析而得到的。过去的经验和实验的结果作为样本在评价函数中有很好的使用；合格的样本可以从所有的样本中清楚地区分出来，这也是这个评价函数一个重要的好处。所有的有关概念都给出了清楚的定义，评价函数的构造有详细的描述。这个评价函数可以通过逻辑程序设计在计算机上实现并且可以在许多决策工具中使用，如机器学习，遗传算法、神经网络等。
- 周青林剑文黄志坚
- 关键词：基于知识
- HiLog的悖论
- 1996年
- 本文证明了文献［１］中所定义的ＨｉＬｏｇ语言可能产生悖论，并讨论了产生这种悖论的原因．
- 周青
- 关键词：谓词程序语言
- 逻辑推理与算术运算合并系统的理论分析被引量：2
- 2004年
- 提出一个逻辑推理与算术运算合并系统的形式定义 ,通过合并算子把逻辑推理合并到算术系统中 ,使得在需要解决逻辑推理中的数值计算时 ,直接把问题转化为纯算术系统中的运算 ;文章对该形式系统作了理论上的分析 ,考察了合并系统的语法描述和语义解释 ,对其中的合并算子进行了定义和讨论 ,证明了该系统的可靠性与完备性 .由于该系统基于一阶逻辑 ,所以比Ohlbach和Koehler提出的基于集合的系统[1]
- 周青伍丽华
- 经典逻辑中的不确定性及其支持度被引量：4
- 2006年
- 分析了经典逻辑中命题不确定性的存在性,提出了通过推理对命题不确定性的测度方法;详细描述了如何对原逻辑系统的扩展以建立具有不确定推理能力的新的逻辑系统URS;給出了URS的语法及语义,证明了URS的合理性与完全性定理,并与其它不确定推理方法作了比较.
- 周青彭为
- 相关的科技文章的智能搜索被引量：3
- 2004年
- 论文提出了一个搜索相关科技文章的新思路。依照科技文章的主题特征,我们给出了相关的关键词和相关文章的定义。基于这些定义,论文提出了一个对关键词集的扩展方法,并给出以之查询相关的科技文章的算法,使得计算机能够在无需理解词义的情况下找到相关的科技文章。通过多次实验以及对其结果的全面分析,证明该方法有较高的可行性和有效性。
- 周青郑泽奇
- 关键词：智能搜索信息检索
