Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
Methods, Models and Tools for Fault Tolerance
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Electronic Notes in Theoretical Computer Science (ENTCS)
Hypergraphs of multiparty secrets
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Information flow on directed acyclic graphs
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
The functional dependence relation on hypergraphs of secrets
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
| Hi-index | 0.00 |
The paper investigates the formation of beliefs in multi-agent systems with a fixed topology of the communication channels. Specifically, it considers the relation "beliefs formed by agents in set A are not influenced by faulty or malicious behavior of agents in set B". This relation has a non-trivial Shield Wall property that has no equivalent in other settings in which information flow over a fixed network of communication channels has been previously studied. A new logical system based on the Shield Wall property is proposed and is proven to be sound and complete with respect to the fault tolerance semantics.