围绕无人机搜索/攻击自主任务推理决策典型想定,针对无人机自主任务推理决策规则中存在的不同输入命题对结论的贡献和影响不同,对加权模糊Petri网(weighted fuzzy petri nets,WFPN)形式化推理算法进行了深入研究;设计了双机自主搜索/攻击任务推理决策规则集;为进一步适应上述想定下规则集中存在的多条规则的输出命题是相同的情形,对WFPN形式化推理算法进行了改进;应用分层的策略,采用改进的WFPN形式化推理算法和上述设计的规则集,仿真验证了双机搜索/攻击自主任务推理结果的合理性,并降低了推算过程中矩阵的维数。
