Agent strands in the action language n C +

Journal of Applied Logic

Volumn 6, Issue 2, 2008, Pages 172-191

  Craven, Robert ^a   Sergot, Marek ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Action languages; Deontic logic; Formal specification; Norm governed agent systems; Transition systems

Indexed keywords

FORMAL LANGUAGES; MULTI AGENT SYSTEMS; SEMANTICS; SOFTWARE AGENTS;

ACTION LANGUAGES; DEONTIC LOGICS; FORMAL SPECIFICATION; NORM GOVERNED AGENT SYSTEMS; TRANSITION SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES;

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

References (19)

1. Giunchiglia E., Lee J., Lifschitz V., McCain N., and Turner H. Nonmonotonic causal theories. Artificial Intelligence 153 (2004) 49-104
2. CCalc: http://www.cs.utexas.edu/users/tag/cc
3. Akman V., Erdoǧan S.T., Lee J., Lifschitz V., and Turner H. Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Artificial Intelligence 153 (2004) 105-140
4. Artikis A., Sergot M.J., and Pitt J. Specifying electronic societies with the Causal Calculator. In: Giunchiglia F., Odell J., and Weiss G. (Eds). Agent-Oriented Software Engineering III. LNCS vol. 2585 (2003), Springer 1-15
5. Artikis A., Sergot M.J., and Pitt J. An executable specification of an argumentation protocol. Proc. 9th International Conference on Artificial Intelligence and Law (ICAIL'03). Edinburgh (2003), ACM Press 1-11
6. + +: An action language for modelling norms and institutions, Technical Report 2004/8, Dept. of Computing, Imperial College London (2004)
7. Sergot M.J. Modelling unreliable and untrustworthy agent behaviour. In: Dunin-Keplicz B., Jankowski A., Skowron A., and Szczuka M. (Eds). Monitoring, Security, and Rescue Techniques in Multiagent Systems. Advances in Soft Computing (2005), Springer 161-178
8. M.J. Sergot, R. Craven, The deontic component of action language n C +, in: Proc. Deon'06, in: LNAI, vol. 4048, pp. 222-237
9. Lomuscio A., and Sergot M.J. Deontic interpreted systems. Studia Logica 75 1 (2003) 63-92
10. Lomuscio A., and Sergot M.J. A formalisation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic 2 (2004) 93-116
11. Meyer J.J.C. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29 1 (1988) 109-136
12. Maibaum T. Temporal reasoning over deontic specifications. In: Meyer J.J.C., and Wieringa R.J. (Eds). Deontic Logic in Computer Science: Normative System Specification (1993), John Wiley & Sons, Chichester, England 141-202
13. J. Broersen, Modal action logics for reasoning about reactive systems, PhD thesis, Vrije Universiteit Amsterdam, 2003
14. Moses Y., and Tennenholtz M. Artificial social systems. Computers and AI 14 6 (1995) 533-562
15. Artikis A., Pitt J., and Sergot M.J. Animated specification of computational societies. In: Castelfranchi C., and Johnson W.L. (Eds). Proc. 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'02). Bologna (2002), ACM Press 1053-1062
16. L. van der Torre, Causal deontic logic, in: Proceedings of the Fifth Workshop on Deontic Logic in Computer Science (Deon2000), 2000, pp. 351-367
17. Carmo J., and Jones A.J.I. Deontic database constraints, violation and recovery. Studia Logica 57 1 (1996) 139-165
18. van der Meyden R. The dynamic logic of permission. Journal of Logic and Computation 6 3 (1996) 465-479
19. T. Agotnes, W. van der Hoek, J. Rodríguez-Aguilar, C. Sierra, M. Wooldridge, On the logic of normative systems, in: Proceedings of the 20th International Joint Conference on Artificial Intelligence, 2007, pp. 1175-1180