朱水林

作品数:14被引量:12H指数:2
导出分析报告
供职机构:上海社会科学院信息研究所更多>>
发文主题:现代逻辑逻辑语义学塔斯基机器翻译哲学问题更多>>
发文领域:哲学宗教经济管理文化科学社会学更多>>
发文期刊:《上海管理科学》《毛泽东邓小平理论研究》《上海师范大学学报(自然科学版中英文)》《自然辩证法研究》更多>>
所获基金:教育部人文社会科学研究重大课题攻关项目更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
基于蒙太古语义学和受控自然语言的文献信息系统的实现
《上海师范大学学报(自然科学版)》2015年第5期466-472,共7页曹宇 王善平 朱水林 
上海哲学社会科学研究基金(2012BZX003);上海城市管理职业技术学院研究课题(CGZW1401)
基于蒙太古语义学(MS)和受控自然语言(CNL)的文献信息系统,兼具传统文献检索分类法的"符号化"和主题法的"规范词"的特点,并带有复杂的语法和语义功能;从而可以大大提高文献信息的检索和利用效率,还能自动生成规范的文献摘要,并完成不同...
关键词:蒙太古语义学 受控自然语言 机器翻译 文献信息检索 
蒙太古语义学在文献信息组织和检索中应用的探讨
《华东师范大学学报(自然科学版)》2014年第3期144-151,共8页王善平 张静波 朱水林 刘丹 曹宇 
上海哲学社会科学研究基金(2012BZX003)
首先,简单介绍了蒙太古语义学(MS)及其在机器翻译中应用的历史;分析了MS的特点和局限性,指出它适合作为受控自然语言(CNL)的形式模型,能很好地实现自然语言的各种计算机处理.然后,提出建设一种可应用于文献信息组织、管理和检索的基于MS...
关键词:蒙太古语义学 机器翻译 受控自然语言 文献信息 信息检索 
商务智能、归纳逻辑与统计学的关联研究被引量:3
《上海第二工业大学学报》2009年第2期144-150,共7页朱水林 
教育部哲学社会科学重大课题攻关项目(No.05JZD0008)
商务智能是提高企业竞争能力的一种建设方案,其主要技术包括数据仓库、数据挖掘和联机分析等。举例说明了商务智能技术在客户关系管理中的应用。对案例的分析表明,商务智能技术的基础是统计学和归纳逻辑。作为传统哲学分支的归纳逻辑学...
关键词:归纳逻辑 商务智能 统计学 
企业管理需要重视网络技术
《上海管理科学》2000年第2期34-35,共2页朱水林 
人类社会正以与日俱增的加速度,由既往奔向未来;数万年游牧,几千年农耕,几百年工商,如今正经历着一场前所未有的巨变,由工业时代迈向信息时代。 作为信息时代标志的微电子技术,60年代以来,集成板上单位面积的信息存储量以每18个月增加1倍。
关键词:企业管理 网络技术 电子商务 信息 知识 
信息社会经济的基本特征
《毛泽东邓小平理论研究》2000年第2期76-80,24,共6页朱水林 
关键词:信息社会经济 可持续发展 全球化 行业竞争 社会环境 
论信息意识被引量:7
《毛泽东邓小平理论研究》1997年第4期58-62,共5页朱水林 朱长超 崔建国 
论信息意识朱水林朱长超崔建国一一场正在全面改变世界面貌的、前景极其辉煌的信息技术革命,随着以微电子、计算机、软件、通讯技术为代表的信息收集、处理、加工、传输等技术的发展,正以人们意想不到的速度席卷全球,使人类跨入了一...
关键词:信息意识 信息时代 信息革命 信息技术 信息经济 信息工作者 精神文明 计算机 信息产业 信息化建设 
论逻辑语义学
《上海社会科学院学术季刊》1994年第4期73-82,共10页朱水林 
论逻辑语义学朱水林逻辑语义学是采用现代逻辑方法,研究语言表达式及其意义之间关系的学科。目前发展迅猛。本文论述逻辑语义学的涵义、形成和发展,特别论证了它对逻辑学从外延转向内涵的跃进,对现代西方哲学的分析,对现代语言学的...
关键词:逻辑语义学 语义学研究 语言表达式 弗雷格 可能世界 逻辑学家 斯多葛学派 人工智能 专家系统 自然语言理解 
塔斯基的真理论
《上海社会科学院学术季刊》1991年第1期62-70,共9页朱水林 
塔斯基是美籍波兰大逻辑学家,他的真理理论由他对真理概念的精确分析组成,其主题是运用现代逻辑方法为真理概念作出一个实质上适当的、形式上正确的定义。本文就塔斯基真理论的目标、结构、意义、发展等作了述评。
关键词:塔斯基 逻辑语义学 真理论 真理概念 句子 形式化语言 元语言 真理定义 语言表达式 普通语言 
关于塔斯基的T型等值式
《枣庄师专学报》1990年第4期14-17,共4页朱水林 
本文阐述了波兰逻辑学家塔斯基,关于形式语言中真句子的意义的重要组成部分T型等值式及其深远的意思。
关键词:塔斯基 真句子 T型等值式 
现代逻辑的几个重要成果以及所涉及的哲学问题(下)
《自然辩证法研究》1989年第5期61-68,共8页朱水林 
递归论是数理逻辑的一个分支,形成于本世纪30年代。最初的任务是刻划和研究自然数的一切算法函数类。因此递归论被称为研究递归函数类或算法可计算函数类及其应用的学科。图灵机是现代计算机的原型,是一种理想机,尽管它最为简单,但...
关键词:刻划 函数类 分支 数理逻辑 自然数 算法 递归函数 图灵机 计算机 通用计算 
检索报告 对象比较 聚类工具 使用帮助 返回顶部