摘要

针对无线传感器网络缺乏普遍的理论模型,提出一种多Agent系统模型,包括形式化语言、模型、语义以及相应的公理和模型约束.该模型将无线传感器网络抽象为由具有特定信念、期望、意图和能力等认知成分的Agent组成的认知系统,所有这些认知成分构成多Agent系统认知模型.本文将为独立于内部结构和具体实现来理解、分析和预测无线传感器网络行为提供形式化的理论基础和分析工具.