2020
DOI: 10.21307/ijssis-2020-003
|View full text |Cite
|
Sign up to set email alerts
|

Intelligent agent for formal modelling of temporal multi-agent systems

Abstract: Software systems are becoming complex and dynamic with the passage of time, and to provide better fault tolerance and resource management they need to have the ability of self-adaptation. Multiagent systems paradigm is an active area of research for modeling real-time systems. In this research, we have proposed a new agent named SA-ARTIS-agent, which is designed to work in hard real-time temporal constraints with the ability of self-adaptation. This agent can be used for the formal modeling of any self-adaptiv… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
3
0

Year Published

2020
2020
2023
2023

Publication Types

Select...
4

Relationship

2
2

Authors

Journals

citations
Cited by 4 publications
(4 citation statements)
references
References 27 publications
0
3
0
Order By: Relevance
“…Most automated negotiating research has been in the early stages up until now. The difficulty of allocating and reusing software due to the absence of unified knowledge excellence is one of the main factors in completing these kinds of tasks [32]. It has been suggested in [33][34][35] that MAS provides an efficient approach for handling temporal tasks with minimal human intervention.…”
Section: Related Workmentioning
confidence: 99%
“…Most automated negotiating research has been in the early stages up until now. The difficulty of allocating and reusing software due to the absence of unified knowledge excellence is one of the main factors in completing these kinds of tasks [32]. It has been suggested in [33][34][35] that MAS provides an efficient approach for handling temporal tasks with minimal human intervention.…”
Section: Related Workmentioning
confidence: 99%
“…Their work focuses on task scheduling and error detection for MASs in distributed environment but not at the interaction protocol level. The work of Qasim et al (2015Qasim et al ( , 2019Qasim et al ( , 2020 and Qasim and Kazmi (2016) leads to formal specification and verification of interactive real-time software agents (RT agents). Agents work independently and handle the uncertain scenarios.…”
Section: Related Workmentioning
confidence: 99%
“…It has been argued in [44][45][46] that the use of intelligent agents for the implementation of intelligent systems is highly desirable. The main objective of this Actions Selection Module was to achieve the goal by adopting a behavior.…”
Section: E Application Viewmentioning
confidence: 99%