Mobile Ad Hoc Network(MANET)is a group of node that would interrelate among each other through onemulti-hop wireless link,wherein the nodes were able to move in response to sudden modifications.The objective of MANET ...Mobile Ad Hoc Network(MANET)is a group of node that would interrelate among each other through onemulti-hop wireless link,wherein the nodes were able to move in response to sudden modifications.The objective of MANET routing protocol is to quantify the route and compute the best path,but there exists a major decrease in energy efficiency,difficulty in hop selection,cost estimation,and efficient load-balancing.In this paper,a novel least common multipath-based routing has been proposed.Multipath routing is used to find a multipath route from source and destination.Load balancing is of primary importance in the mobile ad-hoc networks,due to limited bandwidth among the nodes and the initiator of the load routing discovery phase in the multipath routing protocol.Fuzzy logic for load balancing multipath routing in MANETs is proposed,which ensures the data packets are sent through a path with the variance of binary sets to predict the original transformation of the data to be received in the system.The main objective of the proposed system is to reduce the routing time of data packets and avoid the traffic based on multipath source and destination.The experimental results have to verify 96.7%efficiency in balancing the load.展开更多
In this paper, the authors outline a formal system for reasoning about agents＇ knowledge in knowledge games-a special type of multi-agent system. Knowledge games are card games where the agents＇ actions involve an e...In this paper, the authors outline a formal system for reasoning about agents＇ knowledge in knowledge games-a special type of multi-agent system. Knowledge games are card games where the agents＇ actions involve an exchange of information with other agents in the game. The authors＇ system is modeled using Coq-a formal proof management system. To the best of the authors＂ knowledge, there are no papers in which knowledge games are considered using a Coq proof assistant. The authors use the dynamic logic of common knowledge, where they particularly focus on the epistemic consequences of epistemic actions carried out by agents. The authors observe the changes in the system that result from such actions. Those changes that can occur in such a system that are of interest to the authors take the form of agents＇ knowledge about the state of the system, knowledge about other agents＇ knowledge, higher-order agents＇ knowledge and so on, up to common knowledge. Besides an axiomatic ofepistemic logic, the authors use a known axiomatization of card games that is extended with some new axioms that are required for the authors＇ approach. Due to a deficit in implementations grounded in theory that enable players to compute their knowledge in any state of the game, the authors show how the authors＇ approach can be used for these purposes.展开更多
文摘Mobile Ad Hoc Network(MANET)is a group of node that would interrelate among each other through onemulti-hop wireless link,wherein the nodes were able to move in response to sudden modifications.The objective of MANET routing protocol is to quantify the route and compute the best path,but there exists a major decrease in energy efficiency,difficulty in hop selection,cost estimation,and efficient load-balancing.In this paper,a novel least common multipath-based routing has been proposed.Multipath routing is used to find a multipath route from source and destination.Load balancing is of primary importance in the mobile ad-hoc networks,due to limited bandwidth among the nodes and the initiator of the load routing discovery phase in the multipath routing protocol.Fuzzy logic for load balancing multipath routing in MANETs is proposed,which ensures the data packets are sent through a path with the variance of binary sets to predict the original transformation of the data to be received in the system.The main objective of the proposed system is to reduce the routing time of data packets and avoid the traffic based on multipath source and destination.The experimental results have to verify 96.7%efficiency in balancing the load.
文摘In this paper, the authors outline a formal system for reasoning about agents＇ knowledge in knowledge games-a special type of multi-agent system. Knowledge games are card games where the agents＇ actions involve an exchange of information with other agents in the game. The authors＇ system is modeled using Coq-a formal proof management system. To the best of the authors＂ knowledge, there are no papers in which knowledge games are considered using a Coq proof assistant. The authors use the dynamic logic of common knowledge, where they particularly focus on the epistemic consequences of epistemic actions carried out by agents. The authors observe the changes in the system that result from such actions. Those changes that can occur in such a system that are of interest to the authors take the form of agents＇ knowledge about the state of the system, knowledge about other agents＇ knowledge, higher-order agents＇ knowledge and so on, up to common knowledge. Besides an axiomatic ofepistemic logic, the authors use a known axiomatization of card games that is extended with some new axioms that are required for the authors＇ approach. Due to a deficit in implementations grounded in theory that enable players to compute their knowledge in any state of the game, the authors show how the authors＇ approach can be used for these purposes.
