Concurrency and Plan Generation in a Logic Programming Language With a Sequential Operator
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Concurrency and Plan Generation in a Logic Programming Language With a Sequential Operator
|
| Id. |
46645461 |
| Idioma |
inglés
|
| Titulo |
Concurrency and Plan Generation in a Logic Programming Language With a Sequential Operator |
| Autor(es) |
Alessio Guglielmi
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.9070
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
In this paper we define a logic programming language, called SMR, whose main computational mechanism is multiset rewriting. It features a guarded choice capability and, above all, a sequential andlike operator. The language is defined starting from a core language, LM, a subset of Andreoli and Pareschi's LO, which is directly derived from linear logic. LM is minimal in a certain sense we will specify. The language SMR admits a translation into LM through a uniform "continuation" mechanism. We show how SMR could be interesting in two diverse areas, viz. concurrency and plan generation. Keywords Logic programming, linear logic, concurrency, planning. 1 Introduction Linear logic [13, 10] is widely recognized as a logic of concurrency, meaning that the proof theory underlying it faithfully represents some aspects of concurrent computations. Recently it has been pointed out that the same logic is suited for carefully modeling concepts of action and change in planning problems [19, 16]. In...
|
| Tipo |
application/postscript
|
| Palabras clave |
linear logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] ftp://ftp.di.unipi.it/pub/Papers/guglielmi/seqop.ps.gz
[References] 10.1.1.85.5082
[References] 10.1.1.105.9987
[References] 10.1.1.25.1142
[References] 10.1.1.22.2040
[References] 10.1.1.30.1937
[References] 10.1.1.37.8903
[References] 10.1.1.25.5188
[References] 10.1.1.54.3096
[References] 10.1.1.47.2354
[References] 10.1.1.11.8941
[References] 10.1.1.39.2688
[References] 10.1.1.114.3351
[References] 10.1.1.54.7889
[References] 10.1.1.51.5225
[References] 10.1.1.54.845
[References] 10.1.1.37.2248
[References] 10.1.1.72.4169
|
| Fecha de contribución |
31-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
