Automatic verification of deontic properties of multi-agent systems

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3065, Issue , 2004, Pages 228-242

  Raimondi, Franco ^a   Lomuscio, Alessio ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; FAULT TOLERANT COMPUTER SYSTEMS; FORMAL LOGIC; LARGE SCALE SYSTEMS; PROBLEM SOLVING; SOCIAL ASPECTS; SOFTWARE ENGINEERING; MODEL CHECKING;

FORMAL VERIFICATION; MODEL CHECKING; SOCIAL INTERACTION; STANDARD REACTIVE SYSTEMS;

MULTI AGENT SYSTEMS;

AUTOMATIC VERIFICATION; BIT TRANSMISSION PROBLEM; DEONTIC; EPISTEMIC STATE; VIA MODELING;

EID: 9444265408     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25927-5_15     Document Type: Conference Paper

References (20)

1. M.Benerecetti, F.Giunchiglia, and L.Serafini.Model checking multiagent systems.Journal of Logic and Computation, 8(3):401-423, June 1998.
2. R.H.Bordini, M.Fisher, C.Pardavila, and M.Wooldridge.Model checking AgentSpeak.In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03), July 2003.
3. R.E.Bryant.Graph-based algorithms for boolean function manipulation.IEEE Transaction on Computers, pages 677-691, August 1986.
4. E.M.Clarke, O.Grumberg, and D.A.Peled.Model Checking.The MIT Press, Cambridge, Massachusetts, 1999.
5. R.Fagin, J.Y.Halpern, Y.Moses, and M.Y.Vardi.Reasoning about Knowledge.TheMIT Press, Cambridge, Massachusetts, 1995.
6. G.J.Holzmann.The model checker spin.IEEE transaction on software engineering, 23(5), May 1997.
7. M.R.A.Huth and M.D.Ryan.Logic in Computer Science: Modelling and Reasoning about Systems.Cambridge University Press, Cambridge, England, 2000.
8. A.Lomuscio, F.Raimondi, and M.Sergot.Towards model checking interpreted systems.In Proceedings of MoChArt, Lyon, France, August 2002.
9. A.Lomuscio and M.Sergot.On multi-agent systems specification via deontic logic.In J.-J Meyer, editor, Proceedings of ATAL 2001, volume 2333.Springer Verlag, July 2001.
10. A.Lomuscio and M.Sergot.Violation, error recovery, and enforcement in the bit transmission problem.In Proceedings of DEON'02, London, May 2002.
11. K.L.McMillan.Symbolic model checking: An approach to the state explosion problem.Kluwer Academic Publishers, 1993.
12. R.van der Meyden and N.V.Shilov.Model checking knowledge and time in systems with perfect recall.FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 19, 1999.
13. R.van der Meyden and K.Su.Symbolic model checking the knowledge of the dining cryptographers.Submitted, 2002.
14. J.-J.Meyer and R.Wieringa, editors.Deontic Logic in Computer Science, Chichester, 1993.
15. W.Penczek and A.Lomuscio.Verifying epistemic properties of multi-agent systems via model checking.Fundamenta Informaticae, 55(2):167-185, 2003.
16. F.Raimondi and A.Lomuscio.A tool for verification of deontic interpreted systems.http://www.dcs.kcl.ac.uk/pg/franco/mcdis-0.1.tar.gz.
17. F.Raimondi and A.Lomuscio.Verification of multiagent systems via ordered binary decision diagrams: An algorithm and its implementation.Submitted, 2004.
18. A.S.Rao.AgentSpeak(L): BDI agents speak out in a logical computable language.Lecture Notes in Computer Science, 1038:42-52, 1996.
19. F.Somenzi.CU Decision Diagram Package-Release 2.3.1.http://vlsi.colorado.edu/?fabio/CUDD/cuddIntro.html.
20. M.Wooldridge, M.Fisher, M.P.Huget, and S.Parsons.Model checking multi-agent systems with MABLE.In M.Gini, T.Ishida, C.Castelfranchi, and W.Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02), pages 952-959.ACM Press, July 2002.