论文摘要：赋值代数中若干问题的研究

赋值代数是从软约束、关系数据库及信任函数等多个理论体系中抽象出来的一种应用于对非确定性信息进行局部计算的代数框架. 最近的研究表明, 赋值代数的很多重要的实例, 包括约束系统, 可能性位势, 概率位势等都可以由一些特殊的半环诱导而得. 本文主要围绕半环诱导的赋值代数中的优解问题、赋值代数的结构及相关结构之间的联系展开研究. 在优解问题的研究中, 给出了映射保投影问题的优解的条件. 这为寻找合适的转移函数提供了依据. 通过在赋值代数结构方面的讨论, 得到了各种赋值代数之间、半环诱导的赋值代数与半环之间在结构上面的较完整的相互关系. 通过带标记紧信息代数的举例,
首次将软集引入到了赋值代数的研究对象之中.


?


文章的主要工作包括以下几个方面:


(1) 半环诱导的赋值代数上的投影问题: 赋值代数上的投影问题关注的是赋值集在局部区域上所得的相应信息. 文中首先定义了投影问题之间的两个序关系: 解序和问题序. 分别探讨了序之间以及保序映射之间的关系. 对于两个半环间的转移满射 f, 证明得到它保投影问题的解序的充分必要条件是它为一个半环同态. 利用构造性的方法得到了映射保投影问题的优解的充分条件. 研究了映射保投影问题的优解和它保解序之间的关系. 证得如果一个变量集系统至少含有四个变量且其中有一个变量的框架含有多于两个元素, 则满射 f 保投影问题的优解及半环的单位元和零元的充要条件为它保投影问题的解序且关于半环上的序是反保序的.


?


(2) 全序半环诱导的赋值的解组合和解扩展: 对于全序半环诱导的赋值, 证得它的解组合之集在转移映射为保加法运算的单射时不发生改变. 给出了投影问题的最佳接近值的表示. 得到了在弱条件下成立的解扩展定理.


?


(3) 赋值代数的同态: 研究了半环诱导的赋值代数和半环在代数结构上的联系. 证得了半环同构是赋值代数同构的充分条件. 半环中的乘法半群的同构是赋值代数同构的必要条件. 引入了具有不同域集格的赋值代数间的广义同态的概念. 证明了赋值代数的广义同态基本定理.


?


(4) 两类连续信息代数的性质与联系: 分别给出了无标记信息代数和带标记信息代数的连续性和强连续性的概念, 并研究了它们相互之间的关系.
证得无标记信息代数和带标记信息代数关于连续性是相互对应的. 定义了无标记信息代数间的连续函数的概念. 证得无标记强连续信息代数的连续函数空间仍可构成一个强连续信息代数.


?


(5) 紧信息代数的获取途径及相关范畴的性质: 分别改进和新定义了带标记的紧信息代数和带标记的强紧信息代数的概念. 验证表明两类信息代数在紧性和强紧性之间可以建立完全对应的关系. 给出了两种获取无标记的强紧信息代数的方法: 首先, 若半环关于其上的反序是代数格, 则该半环诱导的无标记信息代数是强紧信息代数; 接着给出了从一般的无标记信息代数实现紧化得到一个紧信息代数的具体过程. 证明了强紧信息代数和强连续信息代数分别与连续映射构成的范畴均是笛卡儿闭的.


?


(6) 带标记紧信息代数的例子: 在软集间引入了软信息序的概念.
证明了同一个初始集上的软集族关于软信息序是一个完全分配格. 同时, 该软集族与标记运算、扩展交运算及投影运算构成一个带标记的信息代数. 证得在同一个初始集上, 属性集为有限集的软集族构成了一个带标记的强紧信息代数.

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/246967.html