公告逻辑相关论文
和与积是一个著名的数迷问题。采用公告逻辑对该问题进行建模，将其Kripke模型符号化表示为多智能体有限状态程序，并在其上采用一种基......
用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模......
