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.
- In line 5, set the desired number of agents (for soccer and
volley 2 is OK),
- In line 10, set the upper bound to the plan length.
- 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.
- 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]