论文部分内容阅读
本文证明了泛逻辑零级(一级)泛与运算模型、泛或运算模型、泛非运算模型之间的对偶关系进一步构造(出)零级(一级)泛与运算模型的自守强对偶或运算模型及非运算模型；同时给出了零级(一级)泛或运算模型的非自守强对偶与运算模型及非运算模型(.)
泛运算模型的对偶关系
【摘 要】
：
本文证明了泛逻辑零级(一级)泛与运算模型、泛或运算模型、泛非运算模型之间的对偶关系进一步构造(出)零级(一级)泛与运算模型的自守强对偶或运算模型及非运算模型；同时给出了
【机 构】
：
中国计量学院理学院 310018
【出 处】
：
中国人工智能学会第十三届学术年会
【发表日期】
：
2009年期
其他文献
基于案例推理(CBR)是人工智能领域中一种重要的推理方法,其基本思想是利用以往的经验和知识,将已有问题的解决方法加以调整和修改,用于解决当前类似问题.近来,CBR研究又取得
会议
最小二乘小波支持向量机(LS-WSVM)具有速度快和精度高的优点,但也存在模型参数过多,难以确定的问题.基于遗传算法和LS-WSVM,本文提出了遗传最小二乘小波支持向量机(GA-L S-WS
在无线传感器网络的应用中,节点的位置信息是比较重要的.通常情况下,基于距离测量的定位算法得到的节点位置精度要比基于非距离测量的定位算法的精度要高,因此,传感器节点之
会议
区片划分是征地综合地价测算的前提和基础,区片划分合理与否直接关系到征地补偿能否顺利进行,但现有研究方法难以全面反映区片的差异性及其性质的可变性,导致区片交界征地补
会议
中国大学的急剧发展，实际上是以降低大学的学术文化和教育含量、牺牲大学的尊严为代价，来满足社会的大跃进需求的 42岁那年，任剑涛当上了中山大学政务管理学院院长，从此他开始把一些西方的大学理念用于具体的办学之中。 他开始要求学院的老师们安排一个Office Hour（办公时间），以便学生前来讨论交流，而不管多忙，他自己都会固定在一周中的某一天待在办公室里； 他开始用一种全球性眼光办学，他的学
总政歌舞团青年歌唱家,被誉为新民歌天后和年轻新一代民歌手中的擎大旗者。
General Political Department Song and Dance Troupe young singer, known as the new folk so
技术的革命首先需要基础理论的革命,欲有效模拟人脑智能,机器智能不能取代智能机器.因此,寻求更优化的计算理论与计算模型,是人二智能研究人员面临的根本任务.
本文通过重庆市主城九区开展的土地利用更新调查工作,对主城区近年来土地利用存在的主要问题进行了较深入分析,提出了下一步土地利用的政策建议,为宏观决策提供参考.
本文将高级正向推理技术之一的失败性文字检查技术(FLD,Failed Literal Detection)和DFLL(Davis Putnam Loge-mann and Loveland)算法相结合,提出了一个新型的可满足性问题解
会议