Multi-Dimensional Logic Programming: Theoretical Foundations
|
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
|
|
|
Multi-Dimensional Logic Programming: Theoretical Foundations
|
| Id. |
46729022 |
| Idioma |
inglés
|
| Titulo |
Multi-Dimensional Logic Programming: Theoretical Foundations |
| Autor(es) |
Mehmet A. Orgun
Weichang Du
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.6980
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This paper introduces an extension of logic programming based on multi-dimensional logics, called MLP. In a multi-dimensional logic the values of elements vary depending on more than one dimension, such as time and space. The resulting logic programming language is suitable for modelling objects which involve implicit and/or explicit temporal and spatial dependencies. The execution of programs of the language is based on a resolution-type proof procedure called MSLD-resolution (for Multi-dimensional SLD-resolution). MSLDresolution is based on the axioms and rules of inference of the underlying multi-dimensional logic. The paper also establishes the declarative semantics of multi-dimensional logic programs, based on an extension of Herbrand models. In particular, it is shown that MLP programs satisfy the minimum model semantics. A novel multidimensional interface to MLP is also outlined; it can be used as a powerful development tool with the advantage non-determinism inherent in logic p...
|
| Tipo |
application/postscript
|
| Palabras clave |
Logic Programming
|
| 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.mpce.mq.edu.au/pub/comp/techreports/960003.orgun.ps
[References] 10.1.1.64.9246
[References] 10.1.1.52.1690
[References] 10.1.1.55.3944
[References] 10.1.1.54.3815
[References] 10.1.1.49.9092
[References] 10.1.1.51.4187
[References] 10.1.1.100.3894
[References] 10.1.1.102.8670
[References] 10.1.1.48.2167
[References] 10.1.1.18.4426
[References] 10.1.1.60.3054
|
| Fecha de contribución |
05-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
