AspPy2 is a lightweight and extensible Python library for programmatically constructing Answer Set Programming (ASP) code with integrated support for Controlled Natural Language (CNL) and Natural Language (NL) mappings. It is designed for applications involving explainable logic programming, dataset generation, and language-to-logic translation tasks.
Note: AspPy2 is an active research and development project. Features, interfaces, and documentation are subject to change.
-
Composable ASP Construction
Model ASP programs as modular, line-based objects with optional metadata such as labels, CNL strings, and NL explanations. -
Semantic Grouping & Explanation
Define logical groupings of ASP rules with support for arity-based natural language templates—enabling dynamic generation of fluent group-level explanations. -
Systematic Data Generation
Automatically generate comprehensive datasets through splicing, variation, and combination of rules and groups. Outputs include:- Full
(ASP, CNL, NL)triplets - Unique
NL → CNLmappings - Unique
CNL → ASPmappings
- Full
-
Controlled Text Variation
Incorporate placeholder-based variation mechanisms to produce diverse CNL and NL outputs for robust data augmentation.
-
Program Construction
Use theASPProgramclass to incrementally build ASP logic programs. Lines can include CNL/NL mappings and labels, and can be organized into groups. -
Text Variation Definition
Specify placeholder substitution patterns to allow fine-grained linguistic variation in both CNL and NL outputs. -
Data Generation Pipeline
TheDataGeneratorcomponent handles:- Combinatorial generation of valid rule sets
- Application of variation templates
- Splicing and transformation strategies
-
Output & Export
Generated data can be exported or consumed directly as:- Complete
(ASP, CNL, NL)datasets - Deduplicated pairwise mappings (
NL:CNL,CNL:ASP) for training and evaluation
- Complete
- Python: 3.8 or higher
- Recommended: Use a virtual environment for isolation
python3 -m venv venv
source venv/bin/activate