机译:分层多主体系统中有关知识,信念和确定性的推理
School of Computer Science and Engineering, University of Electronic Science and Technology of China,Chengdu 610074, China , Network Space Security Center, University of Electronic Science and Technology of China, Chengdu 610074, China;
tInstitute for Integrated and Intelligent Systems, Griffith University, Brisbane 4000, Australia;
School of Computer Science and Engineering, University of Electronic Science and Technology of China,Chengdu 610074, China;
School of Computer Science and Engineering, University of Electronic Science and Technology of China,Chengdu 610074, China;
tCollege of Computer Science and Technology, Huaqiao University, Xiamen 361000, China;
hierarchical multi-agent systems; quantified temporal KBC logic; quantified interpreted systems;
机译:多主体系统的知识,信念和确定性的并发动态逻辑
机译:具有PDT逻辑的多智能体系中的不精确信仰的推理
机译:PDT逻辑:多智能体系统中信念推理的概率时态逻辑
机译:多智能体系统知识,信念和确定性的并发动态逻辑
机译:具有认知灵活性的超文本创作系统的历史推理:关于认识论信念对高级知识获取的作用的探索性研究。
机译:专家和新手对不同研究学科的无知和知识知觉及其与知识确定性信念的关系
机译:答:量化认知逻辑,用于推理多智能体系统中的知识
机译:多agent系统中的监控和元推理