不完备异构冲突信息系统中的极大一致联盟区间集族

作为处理不确定性问题的有效工具,三支决策已被广泛应用于冲突分析研究中。然而,现有的三支冲突分析模型大多基于单一类型的冲突信息系统,难以应对实际应用中代理对议题具有多类型评价值和缺失值的情况。同时,已有联盟集的定义通常基于给定代理,即联盟集中的代理与给定代理具有联盟关系,但不一定两两联盟。为了解决这些问题,构建了基于不完备异构冲突信息系统的三支冲突分析模型,并提出了代理两两相关的极大一致联盟区间集族的定义及其构造算法。首先,通过定义代理不同类型评价值的支持度和反对度,将对单个议题单维度多类型评价值的不完备异构冲突信息系统转化为双维度同类型评价值的二维模糊不完备冲突信息系统。其次,通过定义代理之间的乐观与悲观距离函数,构造了基于代理的联盟、冲突、中立区间集。最后,定义了极大一致联盟区间集族,并利用极大团的枚举算法获取极大一致联盟区间集族。

Lukasiewicz3-值命题逻辑的强完全性证明

证明有穷多值逻辑系统的完全性有多种方法,经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑。已经有文献在Lukasiewicz3-值命题逻辑中成功地应用了这种方法,但是没有把它推广到任意有穷值Lukasiewicz逻辑及其他种类的多值逻辑。构建一个可以推广到其他有穷多值逻辑的典型模型,应用这个模型可以重新证明Lukasiewicz3-值命题逻辑的强完全性。

设计空间的自动搜索

基于多ａｇｅｎｔ协作求解问题及并行工程的思想，提出了一种电子系统的系统级综合方法，同时考虑所有相关因素，根据各种可能的设计方案构造一个单一的设计空间，设计空间用极大一致集表示，文中给出了求解极大一致集的算法，用该算法把空间逐步缩小为一个单一设计。

函数完备的n+1值逻辑公理系统的强完全性

构建多值逻辑系统可以有多种方法,如表列、自然演绎、根岑演算、希尔伯特型公理化等等。建立一个n+1值多值逻辑的希尔伯特型公理系统,利用极大一致集方法可以证明它的完全性。证明利用了一个特殊的否定词,比其他方法更为简便。该证明方法还可以证明该系统是函数完备的。

基于Agent的设计空间搜索

基于并行工程的思想和多agent协作求解问题,讨论了一种电子系统的系统级综合方法,根据各种可能的设计方案构建一个单一的设计空间,设计空间用极大一致集表示,给出了求解极大一致集的算法,用该算法把空间逐步缩小为一个单一设计,采用这种方法可以节省大量的设计时间。