Protocol Information based on Dynamic Epistemic Logic
People have been concerned about knowledge for a long time. Theories that study the nature of knowledge and belief in philosophy are called epistemology. The formalization of epistemology involves reasoning about knowledge and beliefs using models and mathematics-based methods. The formal model and general framework of dynamic cognitive logic can be used to describe the important properties of multi-agent systems such as asynchronous information transfer systems related to computer networks. Because dynamic cognitive logic alone cannot describe protocol information well, the combination of dynamic cognitive logic and cognitive time logic can describe protocol information, which has important application value in computer network system.
万方数据
维普
