Dynamic self-control of autonomous agents
| Autor: | Caroline Chopinaud, Amal El Fallah Seghrouchni, Patrick Taillibert |
|---|---|
| Přispěvatelé: | Systèmes Multi-Agents (SMA), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Publications, Lip6 |
| Jazyk: | angličtina |
| Rok vydání: | 2005 |
| Předmět: |
Computer science
business.industry Distributed computing Control (management) Autonomous agent 020207 software engineering Context (language use) 0102 computer and information sciences 02 engineering and technology [INFO] Computer Science [cs] Petri net computer.software_genre 01 natural sciences Intelligent agent 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering [INFO]Computer Science [cs] Artificial intelligence Set (psychology) Autonomous system (mathematics) business computer Real-time operating system |
| Zdroj: | ProMAS 2005-3rd International Workshop on Programming Multi-Agent systems ProMAS 2005-3rd International Workshop on Programming Multi-Agent systems, Jul 2005, Utrecht, Netherlands. pp.5-19 Lecture Notes in Computer Science ISBN: 9783540326168 PROMAS Programming Multiagents Systems Programming Multiagents Systems, 3862, Springer-Verlag, pp.41-56, 2006, Lecture Notes in Artificial Intelligence, 3540326162. ⟨10.1007/11678823_3⟩ |
| Popis: | International audience; Being able to trust in a system behavior is of prime importance, particularly within the context of critical applications as embedded or real-time systems. We want to ensure that a multiagent system has a behavior corresponding to what its developers expect. The use of standard techniques to validate a system does not guarantee it against the occurence of errors in real condition of execution. So, we propose an additional approach of dynamic self-monitoring and self-regulation such that an agent might control, in real condition, its own behavior. Our approach consists in providing the agents with a set of laws that they have to respect throughout their execution. This paper presents a framework which generates agents capable of self-control from an agent model, a behavior description and laws. For that, the framework modifies the agents program by injecting, some checkpoints allowing the detection of particular events. The laws are represented in the agents by Petri nets connected to the checkpoints in order to verify the agreement between their behavior and the laws. The principles of the framework are illustrated on an example. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|