Trainee Project
Title:
Research Assistant in Multi-Agent Technologies
Dates:
2023/06/01 - 2023/11/30
Supervisor(s):
Other supervisor(s):
MCF, LIU Yinling (yinling.liu@univ-lorraine.fr)
, Professeure, BRIL-EL HAOUZI Hind (hind.el-haouzi@univ-lorraine.fr)
Description:
Project Title: Systematic Literature Review of Agent Architectures, Agent Logics, Agent Programming Languages and Tools, and
Formal Verification Methods of Multi-Agent Systems
Context
Human factors are not sufficiently considered in the design of Manufacturing Control Systems (MCS) [1]. The laboratory CRAN
proposed a meta model of social relationships of agents and employed Multi-Agent Systems (MAS) to describe future MCS [2]. The
laboratory considered the integration of humans into MCS by analysing the interaction mechanisms of agents. This work laid the
foundation for analysing the accessibility, comprehension, and adaptation between humans and systems. The technical platform
TRACILOGIS of CRAN was used to illustrate the feasibility of this formal model. However, the impacts of the proposed social
relationships on the behaviour of MCS are not adequately addressed. The laboratory would like to perform a formal verification of
MAS centred on humans, which illustrates the feasibility of the work from the theoretic aspect. To do so, a comprehensive
understanding of MAS is a prerequisite. A Systematic Literature Review (SLR) is a means of identifying, evaluating, and interpreting
all available research to a particular research question, or topic area, or phenomenon [3]. Therefore, the goal of this project is to
conduct a SLR of agent architectures, agent logics, programming languages and tools, and formal verification methods of MAS, in
order to
Classify the existing studies on agent architectures, agent logics, programming languages and tools, and formal verification
methods of MAS;
Identify any gaps in current research to suggest areas for further investigation;
Provide evidence for choosing the most appropriate approach to formally verifying MAS centred on humans.
Mission
To achieve the goal of this project, the research assistant will firstly define the research methodology for the SLR. He/She will then
classify the existing studies regarding agent architectures, agent logics, programming languages and tools, and formal verification
methods of MAS. The challenges and opportunities in this area should be discussed as well. In the following, the choice of agent
architectures, agent logics, programming languages and tools, and formal verification methods of MAS will be made and justified.
Finally, a scientific paper will be demanded to conclude his/her work.
Formal Verification Methods of Multi-Agent Systems
Context
Human factors are not sufficiently considered in the design of Manufacturing Control Systems (MCS) [1]. The laboratory CRAN
proposed a meta model of social relationships of agents and employed Multi-Agent Systems (MAS) to describe future MCS [2]. The
laboratory considered the integration of humans into MCS by analysing the interaction mechanisms of agents. This work laid the
foundation for analysing the accessibility, comprehension, and adaptation between humans and systems. The technical platform
TRACILOGIS of CRAN was used to illustrate the feasibility of this formal model. However, the impacts of the proposed social
relationships on the behaviour of MCS are not adequately addressed. The laboratory would like to perform a formal verification of
MAS centred on humans, which illustrates the feasibility of the work from the theoretic aspect. To do so, a comprehensive
understanding of MAS is a prerequisite. A Systematic Literature Review (SLR) is a means of identifying, evaluating, and interpreting
all available research to a particular research question, or topic area, or phenomenon [3]. Therefore, the goal of this project is to
conduct a SLR of agent architectures, agent logics, programming languages and tools, and formal verification methods of MAS, in
order to
Classify the existing studies on agent architectures, agent logics, programming languages and tools, and formal verification
methods of MAS;
Identify any gaps in current research to suggest areas for further investigation;
Provide evidence for choosing the most appropriate approach to formally verifying MAS centred on humans.
Mission
To achieve the goal of this project, the research assistant will firstly define the research methodology for the SLR. He/She will then
classify the existing studies regarding agent architectures, agent logics, programming languages and tools, and formal verification
methods of MAS. The challenges and opportunities in this area should be discussed as well. In the following, the choice of agent
architectures, agent logics, programming languages and tools, and formal verification methods of MAS will be made and justified.
Finally, a scientific paper will be demanded to conclude his/her work.
Keywords:
Model checking; Multi-agent systems; Manufacturing control systems
Department(s):
| Eco-Technic systems engineering |
