中介逻辑谓词演算系统MFM

来源 :2001年全国理论计算机科学学术会议 | 被引量 : 0次 | 上传用户:wr123456789dtdx
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文以中介逻辑谓词演算系统MF为基础,构造了基于命题联结词^、V、→、ヲ和ヘ的新中介逻辑谓词演算系统MF,并证明了其可靠性和完备性.
其他文献
数字水印技术是一种横跨图像处理、信号处理、数字通信、密码学等多学科的新兴技术,本文提出了一种改进型的水印算法结构模型并进行了相应的分析和改进.
本文讨论了中介逻辑命题演算系统MPM的一些基本等值公式和范式定理.
大规模模式识别问题是指具有特征空间维数高,样本数量大和所涉及的类别数目多的一类模式识别问题.通常这类问题分类边界十分复杂,用单一的分类器很难得到理想的结果,同时会遇到分类器结构和规模难确定和计算复杂性的问题.本文针对脱机手写汉字识别这个特定的大规模模式识别问题提出一个三级分类器,粗分类是以可能集合概念为基础,同时将目前在模式分类有很好前景的学习矢量量化和支持向量机有机地结合起来,用于后两级分类器的
一个能用于建设项目全过程的决策支持系统,必须能对建设项目全过程产生的信息进行处理、分析和管理.本文介绍了开放性决策支持系统的设计思想及主要功能.
本文设计了一类基于椭圆曲线密码的不可否认签字体制,在安全性相当的情况下,可以使用比基于离散对数的不可否认签字体制更短的密钥,从而具有更强的生命力.
本文提出了一种Multi-Agent的协作模型,通过三种协作方式为图像理解的Multi-Agent提供多种有效的交互方式和协作手段,并在此基础上设计实现了Multi-Agent的系统方案和协作通信指令.
本文主要讨论了在分布存储器环境中如何运用基于超平面的线性划分技术对串行程序中循环引用的数据进行无通信划分技术,并给出完整的算法表述.
本文介绍了复杂适应系统理论及Swarm软件平台的逻辑结构并且通过“生命游戏”模型实例分析了复杂适应系统模型结构.
本文将引入分布参数系统的不完全确定的混杂自动机描述——灰色混杂自动机的概念,并研究在某些约束条件下灰色混杂自动机的白化方法.
本文在Dijkstra的卫式语言的基础上,定义了一种特殊的语言,称为弱随机卫式语言,并讨论了该语言所决定的谓词转换器的相容性.