【摘 要】
：
该文选题来源于国家教委博士学科点专项科学基金项目"人工智能基础理论(泛符号 主义)研究"(96069923),导师何华灿教授提出的符号主义学说包括泛逻辑学理论、知识表 示的超拓
论文部分内容阅读
该文选题来源于国家教委博士学科点专项科学基金项目"人工智能基础理论(泛符号 主义)研究"(96069923),导师何华灿教授提出的符号主义学说包括泛逻辑学理论、知识表 示的超拓扑结构理论和多维信息空间理论三部分.泛逻辑学以对立不充分世界中的逻辑规律为研究对象,并把对立充分世界中的二值逻辑和各种非标准逻辑作为自己的特例.泛逻辑学不仅研究逻辑真值的不确定性,还研究逻辑运算模型的不确定性、逻辑量词意义的不确定性和逻辑推理模式的多样性,其中包括各种非演绎推理模式.
其他文献
公钥认证体系已逐渐成为网络信息安全系统的主流,以ITU-T X.509协议为证书标准 的PKI(Public key infrastructure公钥基础设施)体制是其代表,然而,由于PKI面对的一 个复杂的i
该文主要讨论X Window下的XIM(X Input Method)输入法协议的原理与实现机制,Microsoft Windows下的输入法IME(Input Method Editor)的原理和机制,以及如何将IME输入法移植到X
该文介绍了两个中间件:青鸟消息列和青鸟交易处理平台.前者为应用程序提供可靠的消息传递,并提供持久笥的消息存储,解决了联机交易处理中的通讯问题;后者利用消息队列提供的
该文介绍了国际编码标准MPEG-2的三个组成部分,并分别对各部分的编码、解码原理及解码实现作了较详细的论述.该文具体内容如下:第一章主要阐述MPEG-2系统部分的编码原理:首先
近20年来人们研究和实现了许多语言的部分计值器,但是其中极大多数都是其于串行语言的,而这与并行语言是当今计算机科学主流的状况是不相称的,所以人们认为研究并行语言的部
SPMiner是为普乐福定网上医疗信息服务原型系统开发的Web日志序列模式挖掘工具,为了使SPMiner所能挖掘的序列模式不仅仅局限于由若干单独的Web页面构成的浏览序列,作者研究了
全关系化空间数据库查询语言GSQL,利用传统关系数据库的成熟技术和产品,扩展基本空间数据类型(点、线、面、复合体),以及引入空间过滤器机制,进行RDBMS和几何模型技术的良好
句法分析是自然语言处理和计算语言学领域中的主要内容,它的研究和实现具有重要的理论意义和实用价值.英语词法分析、词性标注、短语词典查询是其中最基本的环节,也是整个英
该文针对以纯软件的形式实现多媒体网络教学环境进行了研究和开发,并对所涉及到的网络技术进行研究,比较了TCP与UDP之间的优缺点,分析了IP组播技术的特点及优点.该文还分析了
多协议标记交换(MPLS)将面向连接的机制加入到面向非连接IP协议中,并通过标记将第三层的路由信息映射到第二层的交换中,从而既保持了IP协议的灵活性、可靠性和可扩展性,又可