Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems

2014 ◽  
pp. 269-274
Author(s):  
Qingliang Chen ◽  
Kaile Su ◽  
Yong Hu ◽  
Guiwu Hu
Keyword(s):  
Multi Agent Systems ◽  
Agent Systems ◽  
Coalition Logic ◽  
Complete Axiomatization ◽  
Multi Agent

scholarly journals Coalition logic with individual, distributed and common knowledge1

2018 ◽  
Vol 29 (7) ◽  
pp. 1041-1069 ◽  
Author(s):  
Thomas Ågotnes ◽  
Natasha Alechina
Keyword(s):  
Common Knowledge ◽  
Satisfiability Problem ◽  
Multi Agent Systems ◽  
Distributed Knowledge ◽  
Agent Systems ◽  
Coalition Logic ◽  
Multi Agent

Abstract Coalition logic is currently one of the most popular logics for multi-agent systems. While logics combining coalitional and epistemic operators have received considerable attention, completeness results for epistemic extensions of coalition logic have so far been missing. In this paper we provide several such results and proofs. We prove completeness for epistemic coalition logic with common knowledge, with distributed knowledge, and with both common and distributed knowledge, respectively. Furthermore, we completely characterise the complexity of the satisfiability problem for each of the three logics. We also study logics with interaction axioms connecting coalitional ability and knowledge.

A complete coalition logic of temporal knowledge for multi-agent systems

2014 ◽  
Vol 9 (1) ◽  
pp. 75-86 ◽  
Author(s):  
Qingliang Chen ◽  
Kaile Su ◽  
Yong Hu ◽  
Guiwu Hu
Keyword(s):  
Multi Agent Systems ◽  
Agent Systems ◽  
Coalition Logic ◽  
Multi Agent

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