[00050490]一种软件自适应决策验证系统
技术详细介绍
摘要：本发明涉及一种软件自适应决策验证系统，包括模型转换模块和模型验证模块。其中，所述的模型转换模块，用于将经过自适应决策策略作用演变的多种异构的层次化多agent系统模型由模型转换器转换成统一的中间模型，并将所述中间模型输出作为模型验证模块的输入；所述的模型验证模块，将模型转换模块输出的中间模型作为输入，在中间模型上进行分析、验证，判断中间模型是否满足目标性质，从而完成自适应决策策略的验证，同时，还可以实现多个中间模型的对比，进而实现多种异构的层次化多agent系统模型的对比，从中挑选出符合目标性质的优良模型，最终筛选出优良的自适应决策策略，对于不符合目标性质的策略给出改进建议。
