期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于模糊逻辑的Agent社会信用评价模型
被引量：
6
1
作者
胡斌
梁锡坤
高济
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2008年第5期725-730,784,共7页
针对现有Agent社会中交易信用评价模型过于简单且灵活性不够,而社会、经济领域评价模型计算量过大、难以直接应用等问题,结合评价过程和评价结果模糊性的特点,设计了一种基于模糊逻辑的信用评价模型.模型为每个交易影响因素建立论域以...
针对现有Agent社会中交易信用评价模型过于简单且灵活性不够,而社会、经济领域评价模型计算量过大、难以直接应用等问题,结合评价过程和评价结果模糊性的特点,设计了一种基于模糊逻辑的信用评价模型.模型为每个交易影响因素建立论域以及论域上的模糊集,以交易数据作为输入,通过隶属函数得到各影响因素的模糊评价,在此基础上分别进行一次、多次和综合交易信用评价,从而得到客观的交易信用评价结果.模型根据Agent主观和客观信用评价结果推理得到最终信用评价结果.结合实例说明了该方法的可操作性,并将该模型应用于社区/联邦式的政策导向型Agent社会模型SASA5中,为Agent商务交往提供了关键技术支持.
展开更多
关键词
SASA5
Agent社会
模糊逻辑
信用
信用评价
在线阅读
下载PDF
职称材料
规范多agent系统动态模型及其属性验证机制
被引量：
4
2
作者
胡斌
高济
郭航
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2009年第6期1014-1019,1167,共7页
针对规范多Agent系统(NMAS)并发性、动态性和规范性的特点,提出了一种规范多Agent系统动态模型和基于模型检验的属性验证机制.其中动态模型包括行为约束规范语言TNAL和联合行为转移结构两大部分.TNAL以现实世界法律法规为参考,实现了规...
针对规范多Agent系统(NMAS)并发性、动态性和规范性的特点,提出了一种规范多Agent系统动态模型和基于模型检验的属性验证机制.其中动态模型包括行为约束规范语言TNAL和联合行为转移结构两大部分.TNAL以现实世界法律法规为参考,实现了规范的时态特性和道义特性的建模.联合行为转移结构以多Agent联合行为作为状态转移标记,以规范剪枝后的计算树描述规范系统的动态语义,使系统属性描述语言和规范语言相互独立.以CTL*作为系统属性描述语言,借助现有模型检验工具即可实现NMAS的属性验证,这种实现方式使系统验证工作具有更高的灵活性.
展开更多
关键词
多AGENT系统
KRIPKE结构
动态模型
属性验证
在线阅读
下载PDF
职称材料
题名
基于模糊逻辑的Agent社会信用评价模型
被引量：
6
1
作者
胡斌
梁锡坤
高济
机构
浙江
大学
计算机科学与技术
学院
杭州师范大学信息工程学院
出处
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2008年第5期725-730,784,共7页
基金
国家“973”重点基础研究发展规划资助项目(2003CB317000)
文摘
针对现有Agent社会中交易信用评价模型过于简单且灵活性不够,而社会、经济领域评价模型计算量过大、难以直接应用等问题,结合评价过程和评价结果模糊性的特点,设计了一种基于模糊逻辑的信用评价模型.模型为每个交易影响因素建立论域以及论域上的模糊集,以交易数据作为输入,通过隶属函数得到各影响因素的模糊评价,在此基础上分别进行一次、多次和综合交易信用评价,从而得到客观的交易信用评价结果.模型根据Agent主观和客观信用评价结果推理得到最终信用评价结果.结合实例说明了该方法的可操作性,并将该模型应用于社区/联邦式的政策导向型Agent社会模型SASA5中,为Agent商务交往提供了关键技术支持.
关键词
SASA5
Agent社会
模糊逻辑
信用
信用评价
Keywords
supporting agent social activities from 5 dimensions （SASA5）
agent society fuzzy-logic
credit
credit evaluation
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
规范多agent系统动态模型及其属性验证机制
被引量：
4
2
作者
胡斌
高济
郭航
机构
浙江
大学
计算机科学与技术
学院
杭州师范大学信息工程学院
出处
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2009年第6期1014-1019,1167,共7页
基金
国家"863"高技术研究发展计划资助项目(2007AA01Z187)
杭州师范大学科研启动资助项目(YS05203144)
文摘
针对规范多Agent系统(NMAS)并发性、动态性和规范性的特点,提出了一种规范多Agent系统动态模型和基于模型检验的属性验证机制.其中动态模型包括行为约束规范语言TNAL和联合行为转移结构两大部分.TNAL以现实世界法律法规为参考,实现了规范的时态特性和道义特性的建模.联合行为转移结构以多Agent联合行为作为状态转移标记,以规范剪枝后的计算树描述规范系统的动态语义,使系统属性描述语言和规范语言相互独立.以CTL*作为系统属性描述语言,借助现有模型检验工具即可实现NMAS的属性验证,这种实现方式使系统验证工作具有更高的灵活性.
关键词
多AGENT系统
KRIPKE结构
动态模型
属性验证
Keywords
multi-agent system
Kripke structure
dynamic model
property verification
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于模糊逻辑的Agent社会信用评价模型
胡斌
梁锡坤
高济
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2008
6
在线阅读
下载PDF
职称材料
2
规范多agent系统动态模型及其属性验证机制
胡斌
高济
郭航
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2009
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
