A formalisation of violation, error recovery, and enforcement in the bit transmission problem

DOI10.1016/J.JAL.2004.01.005zbMath1076.68074OpenAlexW1984691540MaRDI QIDQ598545

Marek Sergot, Alessio Lomuscio

Publication date: 6 August 2004

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2004.01.005

zbMATH Keywords

Knowledge representationCommunication protocolsDeontic logicEpistemic logicMultiagent systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)

Related Items (4)

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams ⋮ Agent strands in the action language \(n\mathcal C +\) ⋮ Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems ⋮ A communication algorithm for teamwork in multi-agent environments

Uses Software

• NuSMV

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Top-down development of layered fault tolerant systems and its problems -- a deontic perspective
• Deontic interpreted systems
• Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings
• Deontic database constraints, violation and recovery
• Temporal Reasoning over Deontic Specifications
• A little knowledge goes a long way
• The dynamic logic of permission
• Knowledge-based programs

This page was built for publication: A formalisation of violation, error recovery, and enforcement in the bit transmission problem