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. |
41899930 |
| Idioma |
inglés
|
| Titulo |
Logic Programming in Affine Logic |
| Localización |
http://citeseer.ist.psu.edu/464426.html
|
| 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 |
ps
|
| Palabras clave |
Logic Programming in Affine Logic
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://ironbark.bendigo.latrobe.edu.au/staff/fran/logic/aff1.ps
[References] oai:CiteSeerPSU:363672
[References] oai:CiteSeerPSU:45215
[References] oai:CiteSeerPSU:112918
[References] oai:CiteSeerPSU:358052
[References] oai:CiteSeerPSU:712083
[References] oai:CiteSeerPSU:83293
[References] oai:CiteSeerPSU:266617
[References] oai:CiteSeerPSU:482925
|
| Fecha de contribución |
31-mar-2009 |
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
