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

Journal of Applied Logic

Volumn 2, Issue 1 SPEC. ISS., 2004, Pages 93-116

  Lomuscio, Alessio ^a   Sergot, Marek ^b  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Communication protocols; Deontic logic; Epistemic logic; Knowledge representation; Multiagent systems

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); ERROR CORRECTION; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS;

BIT TRANSMISSION PROBLEM; DEONTIC LOGIC; EPISTEMIC LOGIC;

FORMAL LOGIC;

EID: 10944258530     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2004.01.005     Document Type: Article

References (21)

1. Cimatti A. Clarke E. Giunchiglia F. Roveri M. NuSMV: A new symbolic model verifier Proc. 11th International Computer Aided Verification Conference 1999 495-499
2. Carmo J. Jones A.J.I. Deontic database constraints, violation and recovery Studia Logica 57 1 1996 139-165
3. Coenen J. Top-down development of layered fault-tolerant systems and its problems-a deontic perspective Ann. Math. Artificial Intelligence 9 1-2 1993 133-150
4. Fagin R. Halpern J.Y. Moses Y. Vardi M.Y. Reasoning about Knowledge 1995 MIT Press Cambridge, MA
5. Fagin R. Halpern J.Y. Moses Y. Vardi M.Y. Knowledge-based programs Distributed Computing 10 4 1997 199-225
6. Fiadeiro J. Maibaum T. Temporal reasoning over deontic specifications J. Logic Comput. 1 3 1991 357-395
7. Gabbay D.M. Hodkinson I.M. Reynolds M.A. Temporal Logic: Mathematical Foundations and Computational Aspects, vol. 1: Mathematical Foundations 1993 Oxford University Press
8. Glasgow J. MacEwen G. Panangaden P. A logic for reasoning about security ACM Trans. Comput. Syst. 10 3 1992 226-264
9. Hintikka J. Knowledge and Belief An Introduction to the Logic of the Two Notions 1962 Cornell University Press Ithaca, NY
10. Halpern J.Y. Zuck L.D. A little knowledge goes a long way: Knowledge-based derivations and correctness proofs for a family of protocols J. ACM 39 3 1992 449-478
11. Jones A.J.I. Sergot M.J. On the characterisation of law and computer systems: The normative systems perspective Meyer J.-J.Ch. Wieringa R.J. Deontic Logic in Computer Science: Normative System Specification 1993 275-307 John Wiley Chichester, England chapter 12
12. Khosla S. Maibaum T. The prescription and description of state-based systems Banieqbal B. Barringer H. Pnueli A. Temporal Logic in Specification Lecture Notes in Comput. Sci. vol. 398 1989 243-294 Springer-Verlag Berlin
13. Lomuscio A. Raimondi F. Sergot M. Towards model checking interpreted systems Proceedings of Mochart-First International Workshop on Model Checking and Artificial Intelligence 2002
14. Lomuscio A. Sergot M. Deontic interpreted systems Studia Logica 75 2003
15. Meyer J.-J.Ch. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic Notre Dame J. Formal Logic 29 1 1988 109-136
16. van der Meyden R. The dynamic logic of permission J. Logic Comput. 6 3 1996 465-479
17. Meyer J.-J.Ch. van der Hoek W. Epistemic Logic for AI and Computer Science Cambridge Tracts in Theoretical Computer Science vol. 41 1995 Cambridge University Press
18. Minsky N.H. Lockman A.D. Ensuring integrity by adding obligations to privileges Proc. 8th International Conference on Software Engineering 1985 92-102 IEEE Computer Society Press
19. Minsky N. Ungureanu V. Law-governed interaction: A coordination and control mechanism for heterogeneous distributed systems ACM Transactions on Software Engineering and Methodology (TOSEM) 9 3 2000 273-305
20. Rodriguez-Aguilar J.A. Martin F.J. Noriega P. Garcia P. Sierra C. Towards a test-bed for trading agents in electronic auction markets AI Comm. 11 1998 5-19
21. Wooldridge M. Reasoning about Rational Agents 2000 MIT Press Cambridge, MA