This paper described an ontology based multi agent knowledge process made (MAKM) which is one of multi agents systems (MAS) and uses semantic network to describe agents to help to locate relative agents distributed in...This paper described an ontology based multi agent knowledge process made (MAKM) which is one of multi agents systems (MAS) and uses semantic network to describe agents to help to locate relative agents distributed in the workgroup. In MAKM, an agent is the entity to implement the distributed task processing and to access the information or knowledge. Knowledge query manipulation language (KQML) is adapted to realize the communication among agents. So using the MAKM mode, different knowledge and information on the medical domain could be organized and utilized efficiently when a collaborative task is implemented on the web.展开更多
To solve the problems in knowledge management system （KMS）, such as information sharing, the ability to extend and re-engineer, and the reusable ability of legacy systems in distributed and heterogeneous environment...To solve the problems in knowledge management system （KMS）, such as information sharing, the ability to extend and re-engineer, and the reusable ability of legacy systems in distributed and heterogeneous environments. This article presents a method based on agent and ontology of designing KMS. This method consists of two agencies. One is knowledge agency with three agents supporting knowledge management process. The other is application agency with three agents supporting knowledge application. In this method, ontology is used to represent the knowledge in knowledge base and the content in the message exchanged among agents. To demonstrate the advantages of this method, experiments have been carried out and the results imply that this method is efficient and effective for small and medium-size enterprises to design KMS.展开更多
A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agent...A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agents have a degree of control on their own actions, have their own threads of control, and under some circumstances they are also able to take decisions. Therefore they are autonomous. The multi-agent system is modeled as a network of timed automata based agents supported by clock variables. The representation of agent requirements based on mathematics is helpful in precise and unambiguous specifications, thereby ensuring correctness. This formal representation of requirements provides a way for logical reasoning about the artifacts produced. We can be systematic and precise in assessing correctness by rigorously specifying the functional requirements.展开更多
基金National Natural Science Foundation of China (No. 6993 10 10 )
文摘This paper described an ontology based multi agent knowledge process made (MAKM) which is one of multi agents systems (MAS) and uses semantic network to describe agents to help to locate relative agents distributed in the workgroup. In MAKM, an agent is the entity to implement the distributed task processing and to access the information or knowledge. Knowledge query manipulation language (KQML) is adapted to realize the communication among agents. So using the MAKM mode, different knowledge and information on the medical domain could be organized and utilized efficiently when a collaborative task is implemented on the web.
基金the Key Laboratory of Information Management and Information Economics, MII(F0607-36)the National Natural Science Foundation of China (70473006)
文摘To solve the problems in knowledge management system （KMS）, such as information sharing, the ability to extend and re-engineer, and the reusable ability of legacy systems in distributed and heterogeneous environments. This article presents a method based on agent and ontology of designing KMS. This method consists of two agencies. One is knowledge agency with three agents supporting knowledge management process. The other is application agency with three agents supporting knowledge application. In this method, ontology is used to represent the knowledge in knowledge base and the content in the message exchanged among agents. To demonstrate the advantages of this method, experiments have been carried out and the results imply that this method is efficient and effective for small and medium-size enterprises to design KMS.
文摘A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agents have a degree of control on their own actions, have their own threads of control, and under some circumstances they are also able to take decisions. Therefore they are autonomous. The multi-agent system is modeled as a network of timed automata based agents supported by clock variables. The representation of agent requirements based on mathematics is helpful in precise and unambiguous specifications, thereby ensuring correctness. This formal representation of requirements provides a way for logical reasoning about the artifacts produced. We can be systematic and precise in assessing correctness by rigorously specifying the functional requirements.
