Mapping Action Language BC to Logic Programs: A Characterization by Postulates
DOI:
https://doi.org/10.1609/aaai.v30i1.10106Keywords:
Causal action theories, Action languages, Logic programmingAbstract
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