- Étape 1 : Installer Prolog (ex. SWI-Prolog) et un solveur ASP (ex. clingo, DLV).
- Étape 2 : Cloner le dépôt ASP_DALI de GitHub.
- Étape 3 : Définir la base de connaissances de votre agent avec des règles ASP dans des fichiers .asp.
- Étape 4 : Spécifier des gestionnaires d’événements réactifs et des actions en utilisant la syntaxe DALI dans des fichiers .dali.
- Étape 5 : Configurer l’interface du solveur en modifiant le fichier de configuration.
- Étape 6 : Exécuter le script Prolog principal pour lancer l’agent et observer les cycles de raisonnement.
- Étape 7 : Envoyer des événements à l’agent et inspecter les ensembles de réponses générés et les actions.
- Étape 8 : Étendre ou modifier les règles et gestionnaires pour affiner le comportement de l’agent.