基于线性时序逻辑的多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