During this research we spot several key issues concerning WSN design process and how to introduce intelligence in the motes. Due to the nature of these networks, debugging after deployment is unrealistic, thus an eff...During this research we spot several key issues concerning WSN design process and how to introduce intelligence in the motes. Due to the nature of these networks, debugging after deployment is unrealistic, thus an efficient testing method is required. WSN simulators perform the task, but still code implementing mote sensing and RF behaviour consists of layered and/or interacting protocols that for the sake of designing accuracy are tested working as a whole, running on specific hardware. Simulators that provide cross layer simulation and hardware emulation options may be regarded as the last milestone of the WSN design process. Especially mechanisms for introducing intelligence into the WSN decision making process but in the simulation level is an important aspect not tackled so far in the literature at all. The herein proposed multi-agent simulation architecture aims at designing a novel WSN simulation system independent of specific hardware platforms but taking into account all hardware entities and events for testing and analysing the behaviour of a realistic WSN system. Moreover, the design herein outlined involves the basic mechanisms, with regards to memory and data management, towards Prolog interpreter implementation in the simulation level.展开更多
A multi agent computer aided assembly process planning system (MCAAPP) for ship hull is presented. The system includes system framework, global facilitator, the macro agent structure, agent communication language, ag...A multi agent computer aided assembly process planning system (MCAAPP) for ship hull is presented. The system includes system framework, global facilitator, the macro agent structure, agent communication language, agent oriented programming language, knowledge representation and reasoning strategy. The system can produce the technological file and technological quota, which can satisfy the production needs of factory.展开更多
Agent is like human or intelligence object, which has ability to autonomy, guess, repercussion,cooperate,self-techer,mutual learning,and so on. Based on Agent, we have tried various ways to quantitative analysis for k...Agent is like human or intelligence object, which has ability to autonomy, guess, repercussion,cooperate,self-techer,mutual learning,and so on. Based on Agent, we have tried various ways to quantitative analysis for knoledge representation. From measure theory of knowledge, using measure principle of information theory,we study knowledge representation thoroughly,and regard Agent as carrier of knowledge,and give the measure theory of knowledge representation.展开更多
Multi-agent systems （MAS） have received exten- sive studies in the last decade. However, little attention is paid to investigation on reasoning about logics in MAS with hier- archical structures. This paper proposes...Multi-agent systems （MAS） have received exten- sive studies in the last decade. However, little attention is paid to investigation on reasoning about logics in MAS with hier- archical structures. This paper proposes a complete quantified temporal KBC （knowledge, belief and certainty） logic and corresponding reasoning in hierarchical multi-agent systems （HMAS）. The key point is that internal beliefs and certainty, and external belief and certainty are considered in our logic. The internal beliefs and certainty show every agent is au- tonomous, while the external belief and certainty indicate the mutual influence of mental attitudes between two different agents on different layers in HMAS. To interpret this logic, we propose four classes of corresponding quantified interpreted systems, and define first-order KBC axiomatisations over HMAS, which are sound and complete with respect to the corresponding semantical classes. Finally, we give a case study to show the advantages in terms of expressiveness of our logic.展开更多
文摘During this research we spot several key issues concerning WSN design process and how to introduce intelligence in the motes. Due to the nature of these networks, debugging after deployment is unrealistic, thus an efficient testing method is required. WSN simulators perform the task, but still code implementing mote sensing and RF behaviour consists of layered and/or interacting protocols that for the sake of designing accuracy are tested working as a whole, running on specific hardware. Simulators that provide cross layer simulation and hardware emulation options may be regarded as the last milestone of the WSN design process. Especially mechanisms for introducing intelligence into the WSN decision making process but in the simulation level is an important aspect not tackled so far in the literature at all. The herein proposed multi-agent simulation architecture aims at designing a novel WSN simulation system independent of specific hardware platforms but taking into account all hardware entities and events for testing and analysing the behaviour of a realistic WSN system. Moreover, the design herein outlined involves the basic mechanisms, with regards to memory and data management, towards Prolog interpreter implementation in the simulation level.
文摘A multi agent computer aided assembly process planning system (MCAAPP) for ship hull is presented. The system includes system framework, global facilitator, the macro agent structure, agent communication language, agent oriented programming language, knowledge representation and reasoning strategy. The system can produce the technological file and technological quota, which can satisfy the production needs of factory.
文摘Agent is like human or intelligence object, which has ability to autonomy, guess, repercussion,cooperate,self-techer,mutual learning,and so on. Based on Agent, we have tried various ways to quantitative analysis for knoledge representation. From measure theory of knowledge, using measure principle of information theory,we study knowledge representation thoroughly,and regard Agent as carrier of knowledge,and give the measure theory of knowledge representation.
文摘Multi-agent systems （MAS） have received exten- sive studies in the last decade. However, little attention is paid to investigation on reasoning about logics in MAS with hier- archical structures. This paper proposes a complete quantified temporal KBC （knowledge, belief and certainty） logic and corresponding reasoning in hierarchical multi-agent systems （HMAS）. The key point is that internal beliefs and certainty, and external belief and certainty are considered in our logic. The internal beliefs and certainty show every agent is au- tonomous, while the external belief and certainty indicate the mutual influence of mental attitudes between two different agents on different layers in HMAS. To interpret this logic, we propose four classes of corresponding quantified interpreted systems, and define first-order KBC axiomatisations over HMAS, which are sound and complete with respect to the corresponding semantical classes. Finally, we give a case study to show the advantages in terms of expressiveness of our logic.
