This project implements the Agent Language AS3.

• Witaut Bajaryn: Design documentation; Examples; Testing the GUI; Bug fixing.
• Filip Matracki: Design documentation; The engine; model consistency validation; query parsing and execution.
• Ivan Matyazh: Design documentation; Testing the engine and preprocessor implementation; bug fixing.
• Weijia Yin: Verifying the documentation; Testing against the examples; Domain description validation.
• Enggar Dwi Prihastomo: Testing; bug fixing.

Run the GUI with:

exec/gui.exe

or

PYTHONPATH="." python3.6 ./ui/gui.py

Input Scenario:

OBS:
ACS:
A Jim 1

Input Domain Description:

A causes f by Tom
B causes g by Jim
impossible B by Tom

Press Initialise the Engine and see the computed models in Output.

Input one or more queries:

possibly involved Jim
necessary involved Jim
possibly f at 2 when ExampleScenario
necessary f at 2 when ExampleScenario
possibly A at 1
necessary A at 1

Press Test the Query and see the results of the queries in Output.

cat > lib.adl3 <<EOF
A causes f by Tom
B causes g by Jim
impossible B by Tom
EOF

cat > scenario.txt <<EOF
OBS:
ACS:
A Jim 1
EOF

cat > queries.txt <<EOF
possibly involved Jim
necessary involved Jim
possibly f at 2 when ExampleScenario
necessary f at 2 when ExampleScenario
possibly A at 1
necessary A at 1
EOF

$ ./main.py -l lib.txt -s scenario.txt -q queries.txt

python3.6 -m unittest

Adjust the absolute path in gui.spec to match the repository's location on your machine, then:

pip install pyinstaller
pyinstaller -F -y gui.spec
cp dist/gui.exe exec/gui.exe