ExplaidLLM

ExplaidLLM is a command line tool aimed for debugging clingo programs. This is achieved by combining the Minimal Unsatisfiable Subset (MUS) functionalities of clingexplaid together with the natural language capabilities of an LLM.

Installation

From Source

pip install .

From PyPi

pip install explaidllm

Configuration

[!NOTE] Currently ExplaidLLM only supports the OpenAI LLM API. The implementation of other API's can be requested through Issues.

LLM API

Before using ExplaidLLM you need to store your API Key to prompt your LLM of choice. You can do this in two different ways:

Using a .env file

• Recommended for installation from source

OPENAI_API_KEY=<YOUR-KEY-GOES-HERE>

Using the -k API-KEY option

• Recommended for installation from PYPI

explaidllm examples/test.lp -k=$YOUR_OPENAI_KEY_ENV_VAR

Usage

ExplaidLLM allows you to quickly debug your unsatisfiable ASP Programs. For the default behaviour just use this command:

explaidllm example/test.lp

The default behaviour converts all you program atoms to assumptions, computes an MUS (Minimal Unsatisfiable Subset) from them, finds a matching unsatisfiable constraint and then prompts the configured LLM for an explanation.

Assumption Signatures

If you want to filter only certain assumption signatures use the option -a to specify the signatures to be converted.

explaidllm example/test.lp -a x/1

LLM Models

You can also specify which LLM Model should be used for the explanation using the -m model option. A list of available models can be found on the --help page.

explaidllm example/test.lp -m='gpt-4o'