基于多Agent的可满足性问题求解系统研究
为了得到高效可扩展的可满足性问题求解方法,融合目前解决可满足性问题(SAT)的诸多最新策略:快速DPLL、启发式极性决策算法等,提出了一种基于多Agent(Multi-Agent)的可满足性问题(SAT)验证方法.该方法给出了基于多Agent的可满足性问题求解系统的总体结构、工作流程和消息协议,详细分析了有关Agent的结构原理,在JADF(Java Agent development framework)基础上设计出智能仿真模型,通过实例研究表明该方法比传统的一般性求解方法精度高、速度快,且有较好的扩展性和可移植性.
多智能体、可满足性问题、完全算法、局部搜索算法、合取范式
31
TP301.6(计算技术、计算机技术)
2010-04-13(万方平台首次上网日期,不代表论文的发表时间)
共4页
542-545