Action language BC+: Preliminary report

Joseph Babb, Joohyung Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Recently, action language BC, which combines the attractive features of action languages B and C+, was proposed. While BC allows Prolog-style recursive definitions that are not available in C+, it is less expressive than C+ in other ways, such as inability to express non-Boolean and non-exogenous actions. We propose a new action language called BC+, which encompasses all the features of BC and the definite fragment of C+. The syntax of BC+ is identical to the syntax of C+ allowing arbitrary propositional formulas in the causal laws, but its semantics is defined in terms of propositional formulas under the stable model semantics instead of nonmonotonic causal theories. This approach allows many useful ASP constructs, such as choice rules and aggregates, to be directly used in language BC+, and exploits computational methods available in ASP solvers.

Original languageEnglish (US)
Title of host publicationWorkshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014
PublisherComputing Research Repository (CoRR)
ISBN (Electronic)9780000000002
StatePublished - 2014
Event7th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014 - Affiliated with the International Conference on Logic Programming, ICLP 2010, part of the Federated Logic Conference 2014 - Vienna, Austria
Duration: Jul 23 2014 → …

Publication series

NameWorkshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014

Conference

Conference7th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014 - Affiliated with the International Conference on Logic Programming, ICLP 2010, part of the Federated Logic Conference 2014
CountryAustria
CityVienna
Period7/23/14 → …

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computational Theory and Mathematics
  • Hardware and Architecture
  • Software
  • Theoretical Computer Science

Fingerprint Dive into the research topics of 'Action language BC+: Preliminary report'. Together they form a unique fingerprint.

  • Cite this

    Babb, J., & Lee, J. (2014). Action language BC+: Preliminary report. In Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014 (Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014). Computing Research Repository (CoRR).