以形式化语义为基础提出一种决策服务协作自组织方法. 首先, 定义相关概念并引入Horn 子句为语义推理 基; 然后, 提出基于决策环境和能力准则的决策服务评估算法; 最后, 提出了自组织算法, 通过自组织矩阵找到最符合 需求的决策服务协作参与者. 实验分析表明所提出的方法是有效可行的.