首页>中文会议>工业技术>自动化技术与计算机技术>第七届中国人工智能联合学术会议

第七届中国人工智能联合学术会议

召开年：2003
召开地：桂林
出版时间： 2003

主办单位：中国计算机学会;中国人工智能学会

会议文集：广西师范大学学报自然科学版第21卷第1期第七届中国人工智能联合学术会议论文集

会议论文

热门论文

全部论文

最新会议

更多>>

全选（0）

1.有限信念集上修正的一种方法
- 栾尚敏;戴国忠
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;讨论了由所有极小不协调的子集来实现信念修正的方法,介绍了我们开发的信念修正的原型系统.最后和相关工作进行了比较.
2.一种新的支撑矢量机快速训练算法
- 汪西莉;焦李成;冯德明
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：用支撑矢量机(SVM)分类时,针对大规模数据集,SVM的训练成为一个难题.提出了一种采用样本到某一类的马氏距离来提取可能为支撑矢量的数据的方法,同时阐明了如何解决在输入空间和特征空间中求马氏距离所遇到的问题.利用特征值、特征矢量及伪逆运算的并行计算方法,建立了一种提取支撑矢量的快速算法,用该方法对训练数据进行预处理后,可以加快SVM的训练速度.实验结果也表明了该方法的有效性.
3.OLAP中多维数组的压缩算法
- 励晓健;黄厚宽
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：OLAP作为数据仓库的前端分析工具,直接面对用户,因此,其灵活性、效率非常重要.而OLAP工具是否灵活高效,很大程度上取决于数据的组织结构.基于多维数组的OLAP,对于分析的灵活性无疑是最好的实现方式,但其缺点是空间浪费过大,介绍了基于多维数组的MOLAP的实现技术,并提出了一种MOLAP的压缩算法,结合铁道部货运数据仓库及数据挖掘系统,深入地研究了这一技术.
4.基于特征点的图像变形技术及其应用
- 王城峰;陈建平
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：对图像变形中的两个问题——特征匹配和变换函数,提出了一种新的解决方法,并在此基础上进一步提出了变换控制的概念.用关键点匹配来寻找对应的特征点,在特征对应的基础上用三角化的方法建立两图像间的局部对应关系,并用三角化的方法求得非均匀变换中各非特征点的变换系数,针对非均匀变换出现的特征间形状和位置的不吻合问题用前变换的过程加以解决.
5.主元子空间中的SVM性别分类算法
- 刘文瑶;潘纲;吴朝晖
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：提出了一种在主元子空间中的SVM性别分类算法.它首先通过主元分析对图像输入空间进行降维,形成一个主元子空间,然后在该子空间中以SVM进行隐性升维再构建最优分界面.文中对算法在不同参数下的性能进行了比较,并将本算法和其他方法进行了比较.实验结果表明,在选择了合适参数的情况下能达到94.87％的准确率,并能获得比其他方法更好的性能.
6.基于PCA及聚类技术的支持向量机分类器设计
- 李凯;黄厚宽;田盛丰;于剑
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：提出了一种新的支持向量机分类器的设计方法.该方法利用主成分分析(PCA)及聚类技术在原问题空间中求解,减少了支持向量机分类器中支持向量的维数,且将原问题空间与特征空间中的问题归结为同一类的设计问题.
7.基于优先度的人工生命体行为选择研究
- 谢汝林;李祖枢
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：提出了一个新的基于优先度的人工生命体行为选择模型,新的模型是一个基于内部动机和外部刺激之上的不严格的行为选择分级模型,它克服了执行严格定性分级的行为选择模型难以模拟一些不严格分级行为的缺点.仿真结果表明它能够实现人工生命体更为逼真的行为选择.
8.基于模型诊断的替换测试与问题分解的研究
- 李占山;王涛;孙吉贵
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：利用基于模糊的诊断理论研究了元件的替换测试,提出了相关部分替换测试的概念,利用元件替换对系统观测值的影响刻画了诊断的判定、新冲突的生成,并利用替换的特殊性,刻画了诊断问题的替换分解等相关问题.本工作能够克服已有测试理论的缺陷,改善诊断测试的适应性,提高测试效率并降低测试成本,并为研究降低诊断问题复杂度提供理论依据.
9.诊断型专家系统中的基于粗糙集的归纳推理方法
- 李爱平;廖桂平;吴泉源
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：给出了粗糙集理论和基于规则的神经类疾病的知识之间的关系,并介绍了在诊断专家系统中对知识获取过程的应用,另外,以作物病害诊断专家系统为例,给出了基于粗糙集规则描述的自动归纳推理方法.实验结果表明,粗糙集不仅是一个很好的支持不确定知识获取的框架,而且是能正确地归纳推理疾病类的规则.
10.基于偏好关系的动态意图模型
- 蒋运承;张海俊;史忠植
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：研究了主体的意图模型,重点研究了决策理论中的偏好关系与主体意图的结合,根据决策理论中的偏好关系,提出了主体目标的偏好关系和层次结构.针对已有的主体意图模型与实际应用存在严重的"代沟"等问题,提出了一个基于偏好关系的动态意图模型,该模型简单、自然和实用,能客观地反映主体意图的动态性、稳定性、并发性和相关性等特征,并且能将动态性和稳定性(互相矛盾的两个性质)有效地统一在该模型中.
11.因特网上的写作风格鉴别
- 金奕江;孙晓明;马少平
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：根据写作风格来鉴别作者这一问题在国外很早就已经开始研究了,并有很多成功应用.而针对中文的研究却非常少.首次提出了使用文章中虚词频率分布作为特征来研究这一问题,采用了两种不同的规格化方法来消除文章长度的差异,并采用了多种不同的分类方法.实验结果表明采用虚词频率作为特征是行之有效的,即使采用最简单的模板匹配的识别方法都能够取得很好的识别效果,采用SVM等方法可以进一步提高识别率,此外可以在一定范围内减少使用的虚词的数量,而不损失识别效果.
12.智能系统集成开发平台ISIDP的实现与应用
- 刘大有;杨博;虞强源;王生生
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：介绍了国家"863"智能化农业信息技术应用示范工程项目中的"智能系统集成开发平台(ISIDP,Intelligence System Integrated Developing Platform)"的设计与实现.应用ISIDP提供的强有力的集成化平台级支持,开发了一批面向不同生产领域的农业专家系统,在实践中取得了较好效果.
13.机器翻译中基于语法、语义知识库的汉语词义消歧研究
- 王惠
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：词义消歧研究在自然语言处理的许多应用领域中具有重要的理论和实践意义,在机器翻译中更是如此,它直接关系到译文质量的提高.但目前已有的词义消歧系统基本上都面临着消歧知识获取的瓶颈问题,要真正有效地提高词义知识库的质量,需要在词类划分基础上,增加词义的语法功能分析和语义搭配限制,综合利用现有的语法、语义资源,提取多义词的每个意义在不同层级上的各种分布特征.以此为基础,给出了一个汉英机器翻译系统中基于语法、语义知识库的汉语词义消歧分析模型.初步的实验结果表明,该方法可以高质量地进行汉语名词、动词、形容词的词义消歧.
14.一种基于模糊C均值聚类的模糊规则提取方法
- 张燕;鲁汉榕
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：提出了一种基于模糊C均值聚类的模糊规则提取方法,给出了模糊系统的模糊规则库,基于此规则库,构造了一种新颖的分类算法,利用IRIS数据进行了测试.仿真结果表明,分类效果好,由此说明所提出的模糊规则生成方法有效.
15.Vague集之间相似度量的一种新方法
- 裴振奎;徐九韵
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：Vague集是对于模糊集合概念的推广,作为当前模糊信息处理中的一个新兴研究课题,在多个领域中获得了成功的应用.本文提出了Vague集(值)之间相似度的概念,并给出了一种新的Vague集(值)之间相似度量的方法,该方法与目前国内外众多学者们的方法相比较,具有更好的合理性和度量效果,因而是一种更理想的检测Vague集(值)之间相似程度的度量方法.
16.MP<'M>中的等值完全析取范式
- 凌方;王建东
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：主要讨论中介逻辑命题演算系统MP<'M>中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具.此外,还给出了构造中介逻辑命题演算系统MP<'M>的联结词的归约.
17.模糊算子神经网络的函数逼近能力
- 梁久祯;赵建民
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：研究模糊算子神经网络的函数逼近能力.首先提出传统神经网络和模糊神经网络的一般模型即模糊算子神经网络,又将其进一步推广为广义模糊算子神经网络.考察这两种通用模型的代数结构和分析性质,给出其连续函数的一致逼近定理.其结论是传统神经网络逼近性质的推广,适用于由任何连续算子构成的多层神经网络(模糊神经网络).
18.受限的proflog语言及其表推演过程语义
- 陈荣;孙吉贵;姜云飞
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义,表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使得proflog过程语义比较复杂,在此提出讨论一种受限的程序语言cProflog,它包含函词,但限制了等词的替换性,体现了表达能力与计算复杂性之间的平衡,对于逻辑程序语言cProflog,还给出了复杂性较低的表推演过程.
19.一个基于知识的彩色肺癌图像理解系统
- 杨育彬;李宁;陈世福;陈兆乾
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：介绍一个智能识别肺癌细胞的医学图像理解系统.该系统通过图像特征提取和智能图像分析识别两个模块,将图像处理技术和模糊知识表示技术相结合,实现对彩色肺癌细胞切片图像的理解,诊断识别出图像中的肺癌细胞.系统建立一个基于规则的两层模糊知识模型来表示用于肺癌图像理解的领域知识.实验表明,该模型能实现较高的肺癌分析识别准确率,是行之有效的.
20.基于概念扩展的关键词检索技术
- 张云涛;龚玲;王永成
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：提出了基于概念扩展的关键词检索技术,讨论了概念检索的基本思想.在分析概念间的逻辑关系及其结构的基础,给出了一种高效的概念库数据结构,描述并分析了概念库的各种检索和操纵算法.
21.基于属性坐标分析和学习的评估决策模型
- 吴钦藩;冯嘉礼;董占球;张永兴
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：在将决策者心理偏好或权重可解释为:"等总分条件下,各决策属性分数的一种满足决策者权重或心理权重的合理性分配"的基础上,将通常的决策问题,分解为求一系列(等总分)局部最满意解的子问题,然后,再从所有局部满意解的集合中,找出全局最满意解,并提出了一种直接面向决策者(经验性)心理标准及其评估变化过程的决策模型—属性坐标学习和分析的评估决策模型.
22.一种不确定区域间的拓扑关系模型
- 虞强源;刘大有;黄晶
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：空间区域间拓扑关系模型的发展是空间推理、地理信息系统(GIS)和计算机视觉等领域一个非常重要的主题,在实际应用中人们对不确定区域间的拓扑关系模型不断提出更高的要求,近年来受到相关领域研究者的极大关注,在分析已有模型的基础上给出了一种不确定区域间的拓扑关系模型,该模型具有较高的认知合理性,将分明区域作为不确定区域的特例来统一处理,推断过程简便直观,可以基于已知事实给出所有可能的拓扑关系供用户选择.
23.多Agent计算组织及其建模方法研究
- 姚莉
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：主要从管理的角度分析多主体计算组织的典型特性,探讨计算组织的定义、概念集合,并在此基础上提出一种将人工智能技术与组织设计原理相结合的计算组织建模方法,该方法的基本思路是将复杂多主体系统看作一个多主体组织,依据组织设计原理分析多主体系统组织特性,从组织结构和组织过程两个方面建立多主体组织模型,从而形成多主体系统宏观结构和功能需求的严格规范;然后,根据现有技术和可用资源确定承担各类组织职能的多个主体,由此确定了各主体的职责和粒度,为多主体计算组织的机上实现建立清晰的宏观框架.
24.多Agent信念修正研究综述
- 孙召春;高阳;贾松茂;陈世福
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：首先介绍经典信念修正理论,特别是AGM框架,以及信念修正的主要研究方法.在此基础上重点介绍了多Agent信念修正的主要研究内容和方法,目前国际的进展及仍然存在的问题.最后提出了我们的解决方法和研究思路.
25.一种基于TAN的文本分类方法
- 石洪波;王志海;黄厚宽
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：提出了一种基于TAN模型的文本分类方法,朴素贝叶斯分类器是当前流行的一种文本分类算法,但是它的属性独立性假设使其无法表达文本词语之间的依赖关系.TAN(Tree Augmented Naive Bayes)是综合了朴素贝叶斯的简易性以及贝叶斯网表示依赖关系的能力,其分类性能可与当前流行的一些分类器相竞争.介绍了TAN模型,将其引入到文本分类中,并用实验比较了朴素贝叶斯和TAN,实验结果表明:该方法具有较好的分类性能.
26.一种多值规则量词公式的Tableau的方法
- 刘全;孙吉贵
- 《第七届中国人工智能联合学术会议》 | 2003年
摘要：在多值逻辑中,含有量词的Tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明,但是由于扩展后的分枝非常庞大,使机器实现非常困难,通过对规则量词公式与一阶经典量词公式的对应关系的研究,使二者使用统一的扩展规则.