Logic Programming in Affine Logic
|
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
|
|
|
Logic Programming in Affine Logic
|
| Id. |
46269891 |
| Idioma |
inglés
|
| Titulo |
Logic Programming in Affine Logic |
| Autor(es) |
Fran Soddell
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.938
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Traditional logic programming languages, such as Prolog, apply the methods of classical logic to programming tasks. Recently, computer scientists introduced new logic programming languages, based on linear logic rather than classical logic. While classical logic models information that does not change, linear logic models changes of state, and accounts for finite resources, such as money or computer memory, simply and directly. It has been applied to concurrency, natural language processing, updating information in databases, and other resource-sensitive problems. Affine logic is related to linear logic and has a similar range of applications but with a different emphasis. In a linear logic system, axioms mean that a particular resource is spent to meet a particular requirement, and every formula must be used, or spent, exactly once. This makes linear logic ideal for accounting for all resources. However, some situations require resources to be used at most once. Affine logic captures this notion because using all resources is not necessary. Therefore, programming languages based on affine logic may prove to be useful. To investigate how affine logic may be applied to logic programming, it is necessary to specify the differences between affine logic and classical logic, and between affine logic and linear logic. This paper looks at these differences in terms of the "structural" rules of classical logic. Keywords: affine logic, linear logic, logic programming 1.
|
| Tipo |
application/postscript
|
| Palabras clave |
affine 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] http://ironbark.bendigo.latrobe.edu.au/staff/fran/logic/aff1.ps
[References] 10.1.1.132.6410
[References] 10.1.1.30.1937
[References] 10.1.1.1.8163
[References] 10.1.1.51.1754
[References] 10.1.1.30.8185
[References] 10.1.1.30.1432
[References] 10.1.1.23.9226
|
| Fecha de contribución |
23-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
