基于证据语义的算子模糊逻辑

70年代知识工程的出现与发展,使得不确定性推理成为人工智能领域的研究热点,从而形成了诸如证据理论、可性度理论、模糊推理理论等研究课题.刘叙华首次研究了算子模糊逻辑(见文献[2]),提出了两种模型,即OFL(算子模糊逻辑)和AOFL(结合算子模糊逻辑).陆汝钤指出了OFL和AOFL在证据语义下的不合理(OFL和AOFL是基于可信度语义的),并提出了基于证据语义的算子模糊逻辑EOFL,MOFL和AOFL,本文将其统称为EOFL.本文将介绍EOFL系统及其在证据语义下的合理性.     

时空信息统计学的一些基本理论和方法

讨论了时空信息统计学(地质统计学)的若干基本理论和方法：1)若干基本概念，包括时空域的随机变量和随机函数，仅考虑空间域或时间域的不足，空间域与时间域之间的差异，二阶平稳假设及内蕴假设；2)时空域信息的平稳线性最优估计，主要讨论了变异函数与协方差函数及平稳线性最优估计方法；3)时空域信息的线性非平稳最优估计，提出了漂移和涨落的概念，关于漂移的形式及非平稳线件景优估计方法。     

智能导学系统设计

通过对远程教育现状分析,指出当前远程教育系统中普遍存在的问题．根据个性化学习理论,利用人工智能技术,分析设计了一种智能导学系统,阐述了其主要对象模型、系统结构和运行机制,以及研究的关键问题．这种智能导学系统可以有效地解决远程教育中存在的弊端,实现个性化、智能化教学．     

一个基于Viola-Jones框架的面部识别算法的改进

基于Viola-Jones框架的面部识别算法,提出使用矩形特征法进行特征值运算,采用感知器学习算法训练最佳特征,确定最佳阈值的算法.实验结果表明:该算法运算速度较快,错误分类率较低,识别率较高,误识率较低.     

基于辩论语义的算子模糊逻辑

定义了一种基于辩论语义的算子模糊逻辑，这种逻辑是相关的，次协调的，非单调的，能形象地刻画认知过程的信念修正，适于在知识不一致，不清确，不完全情形下推理。     

基于互联网对外汉语教学模式的研究

目前基于互联网对外汉语教学主要是采取网站教学的形式．在此阐述了基于互联网对外汉语教学的现状及不足,分析了利用互联网把汉语作为非母语学习者的学习特征。并构建一种基于客户端／服务器(C／S)模式的虚拟环境教学系统．具体讨论了构建虚拟教学系统的关键问题．     

模态逻辑D演绎过程的化简规则

以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有效性（或不可满足性）的有条件的判断，进行证明过程的剪枝和化简，以提高Ｄ逻辑自动演绎的效率；这些化简规则都是依据公式（集）本身的结构特征，可用于Ｄ逻辑的任意一种推理实现系统，在机器上是容易实现的。