BAAC: A Prolog System for Action Description and Agent Coordination

• See here for papers and related material.
• All codes are currently in SICStus Prolog 4. You can download the interpreter for free (for one month) from here.
• We use the linda library of SICStus Prolog. Save for that the code is easily portable to other Prolog systems.
• Preliminary operations.
  • Download FROM HERE all Prolog codes and the soccer and volley domains presented in the paper. Unzip the file.
  • If you use windows, set the path of the SICStus executable (e.g. "C:\Program Files\SICStus Prolog 4.0.1\bin\sicstus.exe") in the file runner.bat. (sicstus.exe is better than spwin.exe for our scope). Moreover, in the same file set the number of agents of the domain you are using (2 is the default, working with the current domains).
  • If you use linux/mac, set the path of the SICStus executable in the file runner.sh
• Execution. Under LINUX/MAC: launch using runner.sh, Under WINDOWS: launch using runner.bat.
• Using other domains/changing options. Open the file settings.pl.
  1. In line 5, set the desired number of agents (for soccer and volley 2 is OK),
  2. In line 10, set the upper bound to the plan length.
  3. In line 20, set the names of the files storing the action descriptions desired. Each file has an index number (1,2,..., numberOfAgents). In each one of these fatcs one can choose the selected reasoner (currently, sicsplan, or BMAP).

     The volleyball domains are called VolleyBlack.pl and VolleyWhite.pl. The soccer domains are called SoccerWhite.pl and SoccerBlack.pl. The default choice is with the Volley domains.

  4. Other options (conflict resolution etc) are to be selected/called in the settings.pl file (line 40 and following). At the beginning, we suggest to use the default options. Some of the commented options are not yet completely implemented.

Agostino Dovier, Andrea Formisano, and Enrico Pontelli.

[Updated APRIL 2011]