Abstract. Action description languages, such as A and B (Gelfond and Lifs- chitz, 1998), are expressive tools introduced for formalizing planning domains and problems. In this work, we investigate two alternative approaches to the prob- lem of encoding action languages using logic programming. Starting from a slight variation of B, we explore the use of Answer Set Programming (ASP) and Con- straint Logic Programming over Finite Domains (CLP(FD)) in processing action theory specifications. As regards ASP we present a Prolog translator from action theory into lparse’s syntax. Concerning CLP(FD), we describe a program that directly processes a specification in the B language.

Planning with Action Languages: Perspectives using CLP(FD) and ASP

FORMISANO, Andrea;
2006

Abstract

Abstract. Action description languages, such as A and B (Gelfond and Lifs- chitz, 1998), are expressive tools introduced for formalizing planning domains and problems. In this work, we investigate two alternative approaches to the prob- lem of encoding action languages using logic programming. Starting from a slight variation of B, we explore the use of Answer Set Programming (ASP) and Con- straint Logic Programming over Finite Domains (CLP(FD)) in processing action theory specifications. As regards ASP we present a Prolog translator from action theory into lparse’s syntax. Concerning CLP(FD), we describe a program that directly processes a specification in the B language.
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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11391/27788
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact