直觉主义认知逻辑相关论文
认知逻辑是研究知识推理和信念变化的模态逻辑的一个分支,在人工智能、多agent系统以及对策论等领域有着广泛应用。为给强调构造性......
基于FaginR，Halpem JY，VardiMY对分布式知识的研究，在直觉主义下对分布式知识的语义模型进行树形改造。......
