基于线性时序逻辑的多Agent协商推理模型.pdfVIP

ISSN 11一uTln 计算机研究与发展 1000．1239|CNl Researchand Journalof Development Computer 基于线性时序逻辑的多Agent协商推理模型 尹红丽1王永明2夏幼明1 1(云南师范大学计算机科学与信息技术学院 昆明650092) 2(华南理工大学计算机工程学院广州510640) (honglLyin@163．tom) A ModelofMASBased．onLinear NegotiationReasoning Temporal Logic Yin Xia Honglil，WangYongmingP，andYoumin91 Normal 650092) 1(Schoo!ofComputerScienceInformationTechnology，YunnanUniversity，Kunming 2(School China 510640) ofComputerScienceEngineering，SouthUniversityofTechnology，Guangzhou AbstractIn isthemainformofinteractionbetween MAS(Multi—AgentSystems)，negotiation agents．In this modelbasedonlinear is formalmethod． paper，anegotiationreasoning temporallogicpresented，with Thismodelcandescribethe of and and temporalchangesenvironment，abilitypower，knowledgethought in of withlinear candescribethe action．Therefore， processnegotiation temporallogic，and asynchronous mechanismofMASis further． negotiation improved words modelof multi—agent Key systems；reasoningnegotiation；linertemporallogic 摘要在多智能体系统中，协商是Agent交互的主要形式．用形式化方法构建了基于线性时序逻辑的协 商推理模型，该模型用线性时序逻辑描述在协商过程中agent所处环境，自身能力、权力、知识、思维等随时 间的变化，以及在系统运行时Agent采取异步行为．进一步完善了多Agent系统中自主的协商机制． 关键词多Agem系统；协商推理模型；线性时序逻辑 中图法分类号TPl8 自20世纪90年代以来，Agent和多Agent系统 逐渐引起重视并形成舢研究的热点．多Agent系统式化模型[1]，在此基础上，文献[2]提出了基于能力与 是由多个可以相互交互的称为agent的计算单元组思维的协商公理体系多Agent系统的形式化模型，但 成的系统．Agent有两种重要的能力：首先，Agent具这些模型都没有考虑时间对Agent知识、能力、权