Towards Automatic Composition of ASP Programs from Natural Language Specifications

Manuel Borroto, Irfan Kareem, Francesco Ricca
3/7/2024
cs.AI

No confident code implementation found for this paper.

Abstract

This paper moves the first step towards automating the composition of Answer Set Programming (ASP) specifications. In particular, the following contributions are provided: (i) A dataset focused on graph-related problem specifications, designed to develop and assess tools for ASP automatic coding; (ii) A two-step architecture, implemented in the NL2ASP tool, for generating ASP programs from natural language specifications. NL2ASP uses neural machine translation to transform natural language into Controlled Natural Language (CNL) statements. Subsequently, CNL statements are converted into ASP code using the CNL2ASP tool. An experiment confirms the viability of the approach.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

CNL2ASP: converting controlled natural language sentences into ASP

84% match2023

Neural Machine Translation for Code Generation

83% match2023

VeriGRAG: Enhancing LLM-Based Verilog Code Generation with Structure-Aware Soft Prompts

82% match2025

Seq2RDF: An end-to-end application for deriving Triples from Natural Language Text

82% match1 repo552018

Neural Machine Translation with Dynamic Graph Convolutional Decoder

82% match2023

Entity Identifier: A Natural Text Parsing-based Framework For Entity Relation Extraction

81% match2023

Cite this paper

@article{borroto2024towards,
  title  = {Towards Automatic Composition of ASP Programs from Natural Language Specifications},
  author = {Manuel Borroto and Irfan Kareem and Francesco Ricca},
  year   = {2024},
  eprint = {2403.04541},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2403.04541v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2403.04541.svg)](https://codeofpaper.com/paper/2403.04541)

Discussion