AAAI Publications, Thirtieth AAAI Conference on Artificial Intelligence

Font Size: 
Mapping Action Language BC to Logic Programs: A Characterization by Postulates
Haodi Zhang, Fangzhen Lin

Last modified: 2016-02-21


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.


Causal action theories;Action languages;Logic programming

Full Text: PDF