Inquisitive Action Logic

新逻辑框架InqAL被引入用于推理智能体动作

研究人员引入了Inquisitive Action Logic (InqAL)，一种新的多智能体模态逻辑，用于推理动作和智能体确定性。InqAL扩展了探究性邻域逻辑，并构建在并发博弈结构之上，允许分析智能体通过其动作确定结果的哪些方面，并将其表述为涉及问题的模态声明。该逻辑通过公理化呈现，并通过有限模型性质证明了其完备性和可判定性，包括实际效用函数的表示定理。