Prevention of harmful behaviors within cognitive and autonomous agents

Frontiers in Artificial Intelligence and Applications

Volumn 141, Issue , 2006, Pages 205-209

  Chopinaud, Caroline ^a   El Fallah Seghrouchni, Amal ^a   Taillibert, Patrick ^b  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^b THALES AVIONICS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MULTI AGENT SYSTEMS; REAL TIME SYSTEMS;

AGENT BEHAVIOR; AGENT INTERACTION; AUTOMATIC GENERATION; CONDITION; CRITICAL APPLICATIONS; EMBEDDED-SYSTEM; MONITORING REGULATIONS; REAL - TIME SYSTEM; SELF REGULATION; SELF-MONITORING;

AUTONOMOUS AGENTS;

EID: 84885972703     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Article

References (14)

1. K.S. Barber and C.E. Martin, 'Agent autonomy : Specification, measurement and dynamic adjustment', in Proc. of the Autonomy Control Software workshop at Autonomous Agents'99, pp. 8-15, (May 1999).
2. C. Chopinaud, A. El Fallah Seghrouchni, and P. Taillibert, 'Dynamic self-control of autonomous agents', in Post-Proceedings of PROMAS' 05, LNAI 3862, Spinger Verlag, (2006).
3. E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking, MIT Press, 2000.
4. M. de Sousa Dias and D.J. Richardson, 'Issues on software monitoring', Technical report, Department of Information and Computer Science, University of California, (July 2002).
5. M. Diaz, G. Juanole, and J-P. Courtiat, 'Observer-a concept for formal on-line validation of distributed systems', IEEE Trans. Softw. Eng., 20(12), 900-913, (1994).
6. Staffan Hagg, 'A sentinel approach to fault handling in multi-agent systems', in Revised Papers from the Second Australian Workshop on Distributed Artificial Intelligence: Multi-Agent Systems: Methodologies and Applications, volume 1286 of LNCS, pp. 181-195. Spinger-Verlag, (1996).
7. Mark Klein and Chrysanthos Dellarocas, 'Exception handling in agent systems', in In proceedings of Agents'99, pp. 62-68, (1999).
8. D. Mahrenholz, O. Spinczyk, and W. Schröder-Preikschat, 'Program instrumentation for debugging and monitoring with AspectC++', in Proc. of the 5th IEEE International symposium on Object-Oriented Realtime Distributed Computing, Washington DC, USA, (April 29 - May 1 2002).
9. M. Mansouri-Samani, Monitoring of Distributed Sytems, Ph.D. dissertation, University of London, London, UK, 1995.
10. JJCH. Meyer, 'A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic', Notre dame journal of formal logic, 29(1), 109-136, (Winter 1988).
11. T. Murata, 'Petri nets: Properties, analysis and applications', In Proc. of IEEE, 77(4), 541-580, (April 1989).
12. Rodrigo Paes, gustavo Carvalho, carlos Lucena, Paulo Alencar, Hyggo Almeida, and Viviane Silva, 'Specifying laws in open multi-agent systems', in ANIREM, Utrecht, (July 2005).
13. J. Vázquez-Salceda, H. Aldewerld, and F. Dignum, 'Implementing norms in multiagent systems', in Proceedings of MATES'04, Erfurt, Germany, (September, 29-30 2004).
14. Dean Wampler. The future of aspect oriented programming, 2003. White Paper, available on http://www.aspectprogramming.com.