Mapping Action Language BC to Logic Programs: A Characterization by Postulates

Authors

  • Haodi Zhang Hong Kong University of Science and Technology
  • Fangzhen Lin Hong Kong University of Science and Technology

DOI:

https://doi.org/10.1609/aaai.v30i1.10106

Keywords:

Causal action theories, Action languages, Logic programming

Abstract

We have earlier shown that the standard mappings from action languages B and C to logic programs under answer set semantics can be captured by sets of properties on transition systems. In this paper, we consider action language BC and show that a standard mapping from BC action descriptions to logic programs can be similarly captured when the action rules in the descriptions do not have consistency conditions.

Downloads

Published

2016-02-21

How to Cite

Zhang, H., & Lin, F. (2016). Mapping Action Language BC to Logic Programs: A Characterization by Postulates. Proceedings of the AAAI Conference on Artificial Intelligence, 30(1). https://doi.org/10.1609/aaai.v30i1.10106

Issue

Section

Technical Papers: Knowledge Representation and Reasoning