IRIS - Res&Arch Institutional Research Information System - Research & Archive
Anagrafe della Ricerca dell'Università degli Studi di Perugia.
EnglishAbstract. 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.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
| Titolo: | Planning with Action Languages: Perspectives using CLP(FD) and ASP |
| Autori: | |
| Data di pubblicazione: | 2006 |
| Abstract: | Abstract. Action description languages, such as A and B (Gelfond and Lifs-
chitz, 1998), are ex...pressive 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. |
| Handle: | http://hdl.handle.net/11391/27788 |
| Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Copyright © 2020