Skip to content

Latest commit

 

History

History
62 lines (39 loc) · 1.65 KB

README.md

File metadata and controls

62 lines (39 loc) · 1.65 KB
Raw

FOND Compressor

The FOND Compressor is the compressor of FOND solutions used by the AND* Project.

  • Messa and Pereira, "Policy-Space Search: Equivalences, Improvements, and Compression", submitted to AIJ. (arXiv)

This project version was mainly tested in Linux Mint 21.2.

Note: A newer version of the FOND Compressor might be available in GitHub.

Installing Python Dependencies

pip3 install -r requirements.txt

Usage

./compressor.py

Optional Arguments

  • --separator-token (default " "): Separates the facts and the actions in the input and the output.
  • --null-fact-token (default "-"): Represents the null fact in the output.
  • --goal-token (default "GOAL"): Represents the "goal" states in the input. These states are considered (so that no output mapping captures them), but they are not compressed.
  • --ip-solver-label (default "PULP_CBC_CMD"): Label of the IP solver to be used.

Example Input and Output

Each line has n+1 tokens, with n equal to the number of variables in the SAS+ task.

An empty line denotes the end of the input and the output.

  • Input:
Fact1 Fact2 Fact3 Action1
Fact1 Fact2 not(Fact3) Action1
not(Fact1) not(Fact2) not(Fact3) Action2
not(Fact1) Fact2 Fact3 GOAL
  • Output:
Fact1 - - Action1
- not(Fact2) - Action2

Setting up a Custom IP Solver

Here there is a guide on how to set up a custom IP solver.