Action Language BC+: Preliminary Report

Authors

  • Joseph Babb Arizona State University
  • Joohyung Lee Arizona State University

DOI:

https://doi.org/10.1609/aaai.v29i1.9405

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. Language BC+ is defined as a high level notation of propositional formulas under the stable model semantics. Due to the generality of the underlying language, BC+ is expressive enough to encompass many modern ASP language constructs and the best features of several other action languages, such as B, C, C+ and BC. Computational methods available in ASP solvers are readily applicable to compute BC+, which led us to implement the language by extending system Cplus2ASP.

Downloads

Published

2015-02-18

How to Cite

Babb, J., & Lee, J. (2015). Action Language BC+: Preliminary Report. Proceedings of the AAAI Conference on Artificial Intelligence, 29(1). https://doi.org/10.1609/aaai.v29i1.9405

Issue

Section

AAAI Technical Track: Knowledge Representation and Reasoning