期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
不完备异构冲突信息系统中的极大一致联盟区间集族
1
作者
罗珺方
张硕
胡梦君
《计算机科学与探索》
CSCD
北大核心
2024年第5期1232-1242,共11页
作为处理不确定性问题的有效工具,三支决策已被广泛应用于冲突分析研究中。然而,现有的三支冲突分析模型大多基于单一类型的冲突信息系统,难以应对实际应用中代理对议题具有多类型评价值和缺失值的情况。同时,已有联盟集的定义通常基于...
作为处理不确定性问题的有效工具,三支决策已被广泛应用于冲突分析研究中。然而,现有的三支冲突分析模型大多基于单一类型的冲突信息系统,难以应对实际应用中代理对议题具有多类型评价值和缺失值的情况。同时,已有联盟集的定义通常基于给定代理,即联盟集中的代理与给定代理具有联盟关系,但不一定两两联盟。为了解决这些问题,构建了基于不完备异构冲突信息系统的三支冲突分析模型,并提出了代理两两相关的极大一致联盟区间集族的定义及其构造算法。首先,通过定义代理不同类型评价值的支持度和反对度,将对单个议题单维度多类型评价值的不完备异构冲突信息系统转化为双维度同类型评价值的二维模糊不完备冲突信息系统。其次,通过定义代理之间的乐观与悲观距离函数,构造了基于代理的联盟、冲突、中立区间集。最后,定义了极大一致联盟区间集族,并利用极大团的枚举算法获取极大一致联盟区间集族。
展开更多
关键词
三支决策
冲突分析
不完备异构信息系统
极大
团
极大
一致
联盟区间
集
族
下载PDF
职称材料
Lukasiewicz3-值命题逻辑的强完全性证明
被引量:
1
2
作者
霍书全
《安徽大学学报(哲学社会科学版)》
CSSCI
北大核心
2008年第2期43-45,共3页
证明有穷多值逻辑系统的完全性有多种方法,经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑。已经有文献在Lukasiewicz3-值命题逻辑中成功地应用了这种方法,但是没有把它推广到任意有穷值Lukasiewicz逻辑及其他种类的多值逻辑。构...
证明有穷多值逻辑系统的完全性有多种方法,经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑。已经有文献在Lukasiewicz3-值命题逻辑中成功地应用了这种方法,但是没有把它推广到任意有穷值Lukasiewicz逻辑及其他种类的多值逻辑。构建一个可以推广到其他有穷多值逻辑的典型模型,应用这个模型可以重新证明Lukasiewicz3-值命题逻辑的强完全性。
展开更多
关键词
3-值逻辑
极大一致集
解释
完全性
下载PDF
职称材料
设计空间的自动搜索
3
作者
邓秋霞
吕宏伟
刘元会
《西安文理学院学报(社会科学版)》
1999年第4期62-65,共4页
基于多agent协作求解问题及并行工程的思想,提出了一种电子系统的系统级综合方法,同时考虑所有相关因素,根据各种可能的设计方案构造一个单一的设计空间,设计空间用极大一致集表示,文中给出了求解极大一致集的算法,用该算法...
基于多agent协作求解问题及并行工程的思想,提出了一种电子系统的系统级综合方法,同时考虑所有相关因素,根据各种可能的设计方案构造一个单一的设计空间,设计空间用极大一致集表示,文中给出了求解极大一致集的算法,用该算法把空间逐步缩小为一个单一设计。
展开更多
关键词
并行工程
设计空间
极大一致集
效用函数
下载PDF
职称材料
函数完备的n+1值逻辑公理系统的强完全性
4
作者
霍书全
《安徽大学学报(哲学社会科学版)》
CSSCI
北大核心
2009年第5期35-38,共4页
构建多值逻辑系统可以有多种方法,如表列、自然演绎、根岑演算、希尔伯特型公理化等等。建立一个n+1值多值逻辑的希尔伯特型公理系统,利用极大一致集方法可以证明它的完全性。证明利用了一个特殊的否定词,比其他方法更为简便。该证明方...
构建多值逻辑系统可以有多种方法,如表列、自然演绎、根岑演算、希尔伯特型公理化等等。建立一个n+1值多值逻辑的希尔伯特型公理系统,利用极大一致集方法可以证明它的完全性。证明利用了一个特殊的否定词,比其他方法更为简便。该证明方法还可以证明该系统是函数完备的。
展开更多
关键词
多值逻辑
完全性
极大一致集
下载PDF
职称材料
基于Agent的设计空间搜索
5
作者
吕宏伟
《科学技术与工程》
2010年第2期505-507,共3页
基于并行工程的思想和多agent协作求解问题,讨论了一种电子系统的系统级综合方法,根据各种可能的设计方案构建一个单一的设计空间,设计空间用极大一致集表示,给出了求解极大一致集的算法,用该算法把空间逐步缩小为一个单一设计,采用这...
基于并行工程的思想和多agent协作求解问题,讨论了一种电子系统的系统级综合方法,根据各种可能的设计方案构建一个单一的设计空间,设计空间用极大一致集表示,给出了求解极大一致集的算法,用该算法把空间逐步缩小为一个单一设计,采用这种方法可以节省大量的设计时间。
展开更多
关键词
并行工程
设计空间
极大一致集
效用函数
下载PDF
职称材料
量化的语用逻辑
6
作者
蔡曙山
《哲学研究》
CSSCI
北大核心
1999年第2期65-73,共9页
关键词
语用逻辑
完全性定理
极大一致集
合式公式
当且仅当
高阶逻辑
言语行为理论
公式
集
语用行为
哥德尔
原文传递
题名
不完备异构冲突信息系统中的极大一致联盟区间集族
1
作者
罗珺方
张硕
胡梦君
机构
西南财经大学计算机与人工智能学院
西南财经大学新财经综合实验室
圣玛丽大学数学与计算科学系
湖南科技大学数学与计算科学学院
出处
《计算机科学与探索》
CSCD
北大核心
2024年第5期1232-1242,共11页
基金
国家自然科学基金(62206228,62076040,61976130,62276217)
教育部人文社会科学研究基金(21YJC630092)
国家留学基金(202206985004)。
文摘
作为处理不确定性问题的有效工具,三支决策已被广泛应用于冲突分析研究中。然而,现有的三支冲突分析模型大多基于单一类型的冲突信息系统,难以应对实际应用中代理对议题具有多类型评价值和缺失值的情况。同时,已有联盟集的定义通常基于给定代理,即联盟集中的代理与给定代理具有联盟关系,但不一定两两联盟。为了解决这些问题,构建了基于不完备异构冲突信息系统的三支冲突分析模型,并提出了代理两两相关的极大一致联盟区间集族的定义及其构造算法。首先,通过定义代理不同类型评价值的支持度和反对度,将对单个议题单维度多类型评价值的不完备异构冲突信息系统转化为双维度同类型评价值的二维模糊不完备冲突信息系统。其次,通过定义代理之间的乐观与悲观距离函数,构造了基于代理的联盟、冲突、中立区间集。最后,定义了极大一致联盟区间集族,并利用极大团的枚举算法获取极大一致联盟区间集族。
关键词
三支决策
冲突分析
不完备异构信息系统
极大
团
极大
一致
联盟区间
集
族
Keywords
three-way decision
conflict analysis
incomplete heterogeneous information system
maximal clique
family of maximal consistent alliance interval sets
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
Lukasiewicz3-值命题逻辑的强完全性证明
被引量:
1
2
作者
霍书全
机构
安徽大学哲学系
出处
《安徽大学学报(哲学社会科学版)》
CSSCI
北大核心
2008年第2期43-45,共3页
基金
安徽大学人才队伍建设经费资助
文摘
证明有穷多值逻辑系统的完全性有多种方法,经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑。已经有文献在Lukasiewicz3-值命题逻辑中成功地应用了这种方法,但是没有把它推广到任意有穷值Lukasiewicz逻辑及其他种类的多值逻辑。构建一个可以推广到其他有穷多值逻辑的典型模型,应用这个模型可以重新证明Lukasiewicz3-值命题逻辑的强完全性。
关键词
3-值逻辑
极大一致集
解释
完全性
分类号
B815.2 [哲学宗教—逻辑学]
下载PDF
职称材料
题名
设计空间的自动搜索
3
作者
邓秋霞
吕宏伟
刘元会
机构
武警工程学院
西安工程学院
出处
《西安文理学院学报(社会科学版)》
1999年第4期62-65,共4页
文摘
基于多agent协作求解问题及并行工程的思想,提出了一种电子系统的系统级综合方法,同时考虑所有相关因素,根据各种可能的设计方案构造一个单一的设计空间,设计空间用极大一致集表示,文中给出了求解极大一致集的算法,用该算法把空间逐步缩小为一个单一设计。
关键词
并行工程
设计空间
极大一致集
效用函数
Keywords
Concurrent Engineering
Design Space
Cax Concord Set
Utility Function
分类号
G64 [文化科学—高等教育学]
下载PDF
职称材料
题名
函数完备的n+1值逻辑公理系统的强完全性
4
作者
霍书全
机构
安徽大学哲学系
出处
《安徽大学学报(哲学社会科学版)》
CSSCI
北大核心
2009年第5期35-38,共4页
基金
安徽大学人才队伍建设项目
文摘
构建多值逻辑系统可以有多种方法,如表列、自然演绎、根岑演算、希尔伯特型公理化等等。建立一个n+1值多值逻辑的希尔伯特型公理系统,利用极大一致集方法可以证明它的完全性。证明利用了一个特殊的否定词,比其他方法更为简便。该证明方法还可以证明该系统是函数完备的。
关键词
多值逻辑
完全性
极大一致集
分类号
B815.2 [哲学宗教—逻辑学]
下载PDF
职称材料
题名
基于Agent的设计空间搜索
5
作者
吕宏伟
机构
武警工程学院
出处
《科学技术与工程》
2010年第2期505-507,共3页
文摘
基于并行工程的思想和多agent协作求解问题,讨论了一种电子系统的系统级综合方法,根据各种可能的设计方案构建一个单一的设计空间,设计空间用极大一致集表示,给出了求解极大一致集的算法,用该算法把空间逐步缩小为一个单一设计,采用这种方法可以节省大量的设计时间。
关键词
并行工程
设计空间
极大一致集
效用函数
Keywords
concurrent engineering design space max-concord-set utility function
分类号
TP302 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
量化的语用逻辑
6
作者
蔡曙山
机构
全国哲学社会科学规划办公室
出处
《哲学研究》
CSSCI
北大核心
1999年第2期65-73,共9页
关键词
语用逻辑
完全性定理
极大一致集
合式公式
当且仅当
高阶逻辑
言语行为理论
公式
集
语用行为
哥德尔
分类号
B81 [哲学宗教—逻辑学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
不完备异构冲突信息系统中的极大一致联盟区间集族
罗珺方
张硕
胡梦君
《计算机科学与探索》
CSCD
北大核心
2024
0
下载PDF
职称材料
2
Lukasiewicz3-值命题逻辑的强完全性证明
霍书全
《安徽大学学报(哲学社会科学版)》
CSSCI
北大核心
2008
1
下载PDF
职称材料
3
设计空间的自动搜索
邓秋霞
吕宏伟
刘元会
《西安文理学院学报(社会科学版)》
1999
0
下载PDF
职称材料
4
函数完备的n+1值逻辑公理系统的强完全性
霍书全
《安徽大学学报(哲学社会科学版)》
CSSCI
北大核心
2009
0
下载PDF
职称材料
5
基于Agent的设计空间搜索
吕宏伟
《科学技术与工程》
2010
0
下载PDF
职称材料
6
量化的语用逻辑
蔡曙山
《哲学研究》
CSSCI
北大核心
1999
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部