Specification and Verification of Multi-Agent Systems

2012 ◽  
pp. 210-263 ◽  
Author(s):  
Wojciech Jamroga ◽  
Wojciech Penczek
Keyword(s):  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent ◽  
Specification And Verification

On the Formal Specification and Verification of Multi-Agent Systems

1997 ◽  
Vol 06 (01) ◽  
pp. 37-65 ◽  
Author(s):  
Michael Fisher ◽  
Michael Wooldridge
Keyword(s):  
Programming Language ◽  
Formal Specification ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Agent Programming ◽  
Formal Specification And Verification ◽  
Multi Agent ◽  
Specification And Verification

This article describes first steps towards the formal specification and verification of multi-agent systems, through the use of temporal belief logics. The article first describes Concurrent METATEM, a multi-agent programming language, and then develops a logic that may be used to reason about Concurrent METATEM systems. The utility of this logic for specifying and verifying Concurrent METATEM systems is demonstrated through a number of examples. The article concludes with a brief discussion on the wider implications of the work, and in particular on the use of similar logics for reasoning about multi-agent systems in general.

Design of an Intelligent System to Support Tutors in Learning Communities Using Multi-Agent Systems and Fuzzy Logic

2015 ◽  
Vol 10 (8) ◽  
pp. 845 ◽  
Author(s):  
Youness Chaabi ◽  
R. Messoussi ◽  
V. Hilaire ◽  
Y. Ruichek ◽  
K. Lekdioui ◽  
...  
Keyword(s):  
Fuzzy Logic ◽  
Learning Communities ◽  
Intelligent System ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent
Sign in / Sign up

Export Citation Format

Share Document