王湘云
- 作品数：17 被引量：27H指数：3
- 供职机构：华北水利水电大学马克思主义学院更多>>
- 发文基金：国家社会科学基金天津市哲学社会科学研究规划项目河南省教育厅人文社会科学研究项目更多>>
- 相关领域：哲学宗教理学经济管理环境科学与工程更多>>
- 劳动价值论中价值创造与价值分配关系的深层解读
- 2013年
- 近年来,社会上似乎出现了马克思时代所没有的新的经济现象,这就进一步引发了人们对劳动价值论的关注。应该如何看待科学技术、自然资源及各种非劳动要素在价值创造中的作用?服务型劳动是否创造价值?如何看待这些因素在价值分配中的应得问题?围绕以上问题学界展开了激烈的争论,特别是与价值创造主体分析密切相关的价值分配问题,成为人们研究劳动价值论的重要指向。
- 王湘云
- 关键词：劳动价值论
- 基于谓词逻辑的Prolog程序设计被引量：4
- 2009年
- 一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用。
- 李娜王湘云
- 关键词：谓词逻辑PROLOGHORN逻辑
- 逻辑学在人工智能中的应用被引量：1
- 2007年
- 人工智能的产生与发展与逻辑学的发展密不可分。逻辑学为人工智能的研究提供了根本观点与方法,而逻辑方法则是人工智能研究中的主要形式化工具。笔者从逻辑学为人工智能的研究提供理论基础出发,讨论了经典逻辑和非经典逻辑在人工智能中的应用。
- 王湘云
- 关键词：人工智能归纳逻辑非单调逻辑弗协调逻辑多值逻辑
- 借鉴美国经验发展我国农产品物流的策略研究被引量：1
- 2014年
- 首先介绍了美国农产品物流发展的主要原因,然后结合实际情况分析了我国农产品物流发展存在的问题,最后为我国今后发展农产品物流提出了切实可行的具体策略:构建发展农产品物流的良好环境、加大对农产品物流基础设施的投入力度、积极发展并引进先进的农产品物流技术、加快农产品物流信息化建设、着力提高农产品物流主体的综合素质。
- 王湘云
- 关键词：农产品物流
- 基于范畴的非良基理论及其应用研究
- 非良基集合论是在标准集合论ZFC中用非良基公理替换良基公理FA得到的公理化集合论系统。由于非良基公理具有扩大集论全域的作用，非良基集合论突破了FA将集合论域限制到良基集合的局限，具有更丰富的全域，它既包含良基集合，又包含...
- 王湘云
- 关键词：逻辑学范畴论
- 文献传递
- 共代数模态逻辑研究述评
- 2011年
- 共代数（coalgebra，数学中常译为余代数）是代数的对偶概念。数学、逻辑学和理论计算机科学中的许多结构都能够很自然地看做共代数。奥采尔（P．Aczel）在1988年给出的第一个例子将转换系统和非良基集（non—well—foundedsets）模型称为共代数。存此基础上，1996年，巴威斯（J．Barwise）和莫斯（L．Moss）讨论了各种包含循环性和自参考概念的现象，
- 李娜王湘云
- 关键词：逻辑研究计算机科学WELL逻辑学
- 逻辑教学软件及其实效性研究被引量：1
- 2014年
- 作为现代化教育技术的一个重要手段,逻辑教学软件在逻辑教育过程中发挥着十分重要的作用。逻辑教学软件的使用可以提高教学质量和教学效率,促进逻辑教学现代化的发展,也有利于学生更好地理解逻辑的思想,更有效地掌握逻辑的方法。为此,介绍一些国际上流行的逻辑教学软件,以及国内逻辑教学中逻辑软件的使用情况,并讨论逻辑教学软件的实效性。
- 王湘云
- 关键词：教育技术现代化实效性
- 集合与图
- 2013年
- 集合论是研究集合的数学理论,也是整个现代数学的基础。集合是集合论中最基本的对象。从集合的概念出发,描述集合论悖论的产生及解决方法,继而将集合区分为良基集和非良基集,探讨了用图来刻画集合的方法。考察集合和图的关系是探究非良基现象的一种有力工具,具有重要的理论意义。
- 王湘云
- 哲学语言的新探索——基于广谱哲学的视角
- 2013年
- 传统哲学使用的思辨语言属于自然语言,其弊端是语言的歧义性,因而在哲学发展史上产生了"哲学无定论"。哲学语言的陈旧严重阻碍并影响了哲学的发展,改进它的最有效方法就是采用人工语言。作为独特的一个哲学体系,广谱哲学使用辩证结构主义的数学语言描述了一般意义上的哲学命题,从而在哲学语言上完成了一次崭新的尝试,也为哲学的发展开辟了一个新的方向。
- 王湘云
- 关键词：哲学广谱哲学数学语言
- 非良基集与共代数理论研究
- 2010年
- 作为经典集合论的扩张,非良基集合论具有更为丰富的集合全域。它能够提供一套完备的工具刻画现实世界中众多的循环现象。共代数是代数的对偶概念。在非良基的范畴下,使用共代数方法,可以方便地构造各种循环现象在集合理论上的模型。因此,对非良基集及共代数理论的研究极具吸引力。
- 王湘云
- 关键词：共代数
