阿西莫

Aximo:用于信息更新的自动化公理推理。AXIMO是一个用C++编写的软件,它验证了多智能体系统中动态场景的认知特性。我们的工具的基本逻辑是基于动态认知逻辑的代数公理。我们还提出了一个新的理论结果:AXIMO验证问题的最坏情况复杂度。