Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux

Type de document

COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)

Langue

anglais

Auteur

SELLAM ; BOULMAKOUL

Résumé / Abstract

In this paper, we propose a way of formalizing the symbolic control of junctions. This approach is based on the one hand on the non-monotonic default logic and on the other hand on a co-operative multi-agent model. Our construction proceeds by analogy with the approach made by Reiter for logic diagnosis formalizing. In our way of formalizing, we propose a minimum action logic in order to make the control. Each agent of the junction (access control by a traffic signal) is described by a rational agent. The actors of the junction are led to co-operating in order better to achieve the control task.