25、多智能体系统的规范与验证：战略能力的模型检查复杂性

多智能体系统的规范与验证：战略能力的模型检查复杂性

1. 简单市场模型与专家策略

在一个简单市场模型中，一家公司面临着不同的市场状态，如不良市场（bad - market）、寡头垄断（oligopoly）、中小企业时期（s&m）等。公司可以寻求两位营销专家的帮助：
- 专家 1 是寡头垄断方面的专家，能识别寡头垄断条件，但无法区分不良经济和中小企业市场。
- 专家 2 能识别不良经济，但不能区分其他类型的市场。

该模型的状态转移图如下：

graph LR
    classDef startend fill:#F5EBFF,stroke:#BE8FED,stroke-width:2px;
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    q0([q0]):::startend -->|bad - market| q1([q1]):::process
    q1 -->|loss| q2([q2]):::process
    q1 -->|success| qs([qs]):::process
    q0 -->|oligopoly| ql([ql]):::process
    q0 -->|s&m| qs
    style q0 fill:#F5EBFF,stroke:#BE8FED,stroke-width:2px
    style q1 fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px
    style