Action languages have gained popularity as a means for declaratively describing planning domains. This paper overviews two action languages, the Boolean language B and its multi-valued counterpart BMV. The paper analyzes some of the issues in using two alternative logic programming approaches (Answer Set Programming and Constraint Logic Programming over Finite Domains) for planning with B and BMV specifications. In particular, the paper provides an experimental comparison between these alternative implementation approaches.
Perspectives on Logic-based Approaches for Reasoning About Actions and Change
FORMISANO, Andrea;
2011
Abstract
Action languages have gained popularity as a means for declaratively describing planning domains. This paper overviews two action languages, the Boolean language B and its multi-valued counterpart BMV. The paper analyzes some of the issues in using two alternative logic programming approaches (Answer Set Programming and Constraint Logic Programming over Finite Domains) for planning with B and BMV specifications. In particular, the paper provides an experimental comparison between these alternative implementation approaches.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
