A General Framework for Formulating Adjustable Autonomy of Multi-agent Systems by Fuzzy Logic

Author(s):  
Salama A. Mostafa ◽  
Rozanawati Darman ◽  
Shihab Hamad Khaleefah ◽  
Aida Mustapha ◽  
Noryusliza Abdullah ◽  
...  
Author(s):  
Amin Ramezani ◽  
Mohamad Reza Andalibizadeh ◽  
Soheil Bahrampour ◽  
Hamed Ramezani ◽  
Behzad Moshiri

2021 ◽  
Vol 36 (1) ◽  
Author(s):  
Nils Bulling ◽  
Valentin Goranko

AbstractWe propose a general framework for modelling and formal reasoning about multi-agent systems and, in particular, multi-stage games where both quantitative and qualitative objectives and constraints are involved. Our models enrich concurrent game models with payoffs and guards on actions associated with each state of the model and propose a quantitative extension of the logic $${\textsf {ATL}}^{*}$$ ATL ∗ that enables the combination of quantitative and qualitative reasoning. We illustrate the framework with some detailed examples. Finally, we consider the model-checking problems arising in our framework and establish some general undecidability and decidability results for them.


2017 ◽  
Vol 124 ◽  
pp. 125-133 ◽  
Author(s):  
Salama A. Mostafa ◽  
Aida Mustapha ◽  
Mohd Sharifuddin Ahmad ◽  
Moamin A Mahmoud

Sign in / Sign up

Export Citation Format

Share Document