Action Language BC+

Joseph Babb, Joohyung Lee
6/22/2025
cs.AI

No confident code implementation found for this paper. 4 possible matches can be shown below.

Abstract

Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high level notations of answer set programs structured to represent transition systems. However, the form of answer set programs considered in the earlier work is quite limited in comparison with the modern Answer Set Programming (ASP) language, which allows several useful constructs for knowledge representation, such as choice rules, aggregates, and abstract constraint atoms. We propose a new action language called BC+, which closes the gap between action languages and the modern ASP language. The main idea is to define the semantics of BC+ in terms of general stable model semantics for propositional formulas, under which many modern ASP language constructs can be identified with shorthands for propositional formulas. Language BC+ turns out to be sufficiently expressive to encompass the best features of other action languages, such as languages B, C, C+, and BC. Computational methods available in ASP solvers are readily applicable to compute BC+, which led to an implementation of the language by extending system cplus2asp.

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. 4 weaker matches are hidden by default — verify before relying on them.

No code implementations found yet.

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

Similar Papers

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes

82% match2025

Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students

81% match2023

Human Emotion Verification by Action Languages via Answer Set Programming

80% match2026

Leveraging Large Language Models to Generate Answer Set Programs

80% match2 repos112023

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions

80% match2025

Pearce's Characterisation in an Epistemic Domain

79% match2025

Cite this paper

@article{babb2025action,
  title  = {Action Language BC+},
  author = {Joseph Babb and Joohyung Lee},
  year   = {2025},
  eprint = {2506.18044},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2506.18044v1}
}

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/2506.18044.svg)](https://codeofpaper.com/paper/2506.18044)

Discussion