Under multi-agent system, the knowledge logic based on internal model was built according to forgetting theory and classical knowledge logic, and the relationship of bisimulation was proposed, the knowledge logic was defined. The corresponding properties were also discussed.%在多Agent系统下,根据遗忘理论和经典知识逻辑建立基于内模型的知识逻辑,并且提出相应的互模拟关系,定义出知识逻辑;讨论了知识遗忘的相关性质.
展开▼