In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based a PN is able to describe not only not the internal state of each agent modeled but also its behavior. Owing to these fe...In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based a PN is able to describe not only not the internal state of each agent modeled but also its behavior. Owing to these features, one can model naturally the dynamic behavior of complex systems and the communication between these entities. For this, we propose mathematical definitions attached to firing transitions. To validate our contribution, we will deal with real examples.展开更多
Artificial intelligence in general and software agents in particular are recognized as computer science disciplines that aim to model or simulate so-called intelligent human behaviors such as perception, decision-maki...Artificial intelligence in general and software agents in particular are recognized as computer science disciplines that aim to model or simulate so-called intelligent human behaviors such as perception, decision-making, understanding, learning, etc. This work presents an approach to designing a generic Intelligent Agent that can be used in a multi-agent system to solve a complex problem. The generic agent that is proposed can be instantiated as a concrete agent, which is enabled with learning and autonomy capabilities by using Artificial Neural Networks. To highlight the generic aspect, the proposition is instantiated to be used in agriculture, health and education. The instantiated software agent applied in agriculture can process images in real time and detect defect on plants’ leaf. In the health field, the agent process image to diagnose breast cancer. When applied in Education, the agent can load an image of a student’s script and grade it. The performance of the designed agent system has the same accuracy as that of the respective neural networks used to instantiate them. In the educational field, the software agent has an accuracy of 98.9% and in the health field, it has an accuracy of 99.56% while in the agricultural field, it has an accuracy of 97.2%.展开更多
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.展开更多
为了解决离散事件系统规范DEVS(discrete event system specification)中没有对智能行为提供直接描述方法的问题,将智能体(Agent)建模思想引入到DEVS中,提出了一种具备一定智能性和协作性描述能力的离散事件系统规范Agent-DEVS。该规范...为了解决离散事件系统规范DEVS(discrete event system specification)中没有对智能行为提供直接描述方法的问题,将智能体(Agent)建模思想引入到DEVS中,提出了一种具备一定智能性和协作性描述能力的离散事件系统规范Agent-DEVS。该规范以并行DEVS为基础,状态元组被扩充成为Agent特征元组;增加了体现个体智能性的Agent模型元组;并将模型端口的输入、输出扩展成为体现社会协作性的Agent消息类型。另外,还给出了Agent-DEVS模型的实现算法,并将其应用于企业生产调度的仿真建模。算法分析与仿真试验表明,Agent-DEVS的优点主要体现在建模性能上,它可以描述更加复杂的智能行为和自治行为,在计算时间上对整体复杂性的影响不大。展开更多
文摘In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based a PN is able to describe not only not the internal state of each agent modeled but also its behavior. Owing to these features, one can model naturally the dynamic behavior of complex systems and the communication between these entities. For this, we propose mathematical definitions attached to firing transitions. To validate our contribution, we will deal with real examples.
文摘Artificial intelligence in general and software agents in particular are recognized as computer science disciplines that aim to model or simulate so-called intelligent human behaviors such as perception, decision-making, understanding, learning, etc. This work presents an approach to designing a generic Intelligent Agent that can be used in a multi-agent system to solve a complex problem. The generic agent that is proposed can be instantiated as a concrete agent, which is enabled with learning and autonomy capabilities by using Artificial Neural Networks. To highlight the generic aspect, the proposition is instantiated to be used in agriculture, health and education. The instantiated software agent applied in agriculture can process images in real time and detect defect on plants’ leaf. In the health field, the agent process image to diagnose breast cancer. When applied in Education, the agent can load an image of a student’s script and grade it. The performance of the designed agent system has the same accuracy as that of the respective neural networks used to instantiate them. In the educational field, the software agent has an accuracy of 98.9% and in the health field, it has an accuracy of 99.56% while in the agricultural field, it has an accuracy of 97.2%.
文摘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.
文摘为了解决离散事件系统规范DEVS(discrete event system specification)中没有对智能行为提供直接描述方法的问题,将智能体(Agent)建模思想引入到DEVS中,提出了一种具备一定智能性和协作性描述能力的离散事件系统规范Agent-DEVS。该规范以并行DEVS为基础,状态元组被扩充成为Agent特征元组;增加了体现个体智能性的Agent模型元组;并将模型端口的输入、输出扩展成为体现社会协作性的Agent消息类型。另外,还给出了Agent-DEVS模型的实现算法,并将其应用于企业生产调度的仿真建模。算法分析与仿真试验表明,Agent-DEVS的优点主要体现在建模性能上,它可以描述更加复杂的智能行为和自治行为,在计算时间上对整体复杂性的影响不大。
