Logical Foundations and Implementation of an Extension of Temporal 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
|
|
|
Logical Foundations and Implementation of an Extension of Temporal Logic
|
| Id. |
38293815 |
| Idioma |
Ingles
|
| Titulo |
Logical Foundations and Implementation of an Extension of Temporal Logic |
| Autor(es) |
Cobo, María Laura
Augusto, Juan Carlos
|
| Localización |
http://www.sedici.unlp.edu.ar?id=ARG-UNLP-ART-0000000236
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas. This fact has made evident the need of tools to handle this kind of imformation. As a reflection of this relevance many temporal logic programming languages have been propose in the last few years. In particular, wel will present here a temporal logic programming called ETP. This language is based on the proposal prsented by Gabbay in (Gab87). The present article concerns the explanation of its logical foundations and the most important aspects of its implementation. We are going to leave out the interpreters implementation code of this new language for space reasons, although, the reader can find it in (Cob98).
Initially we will present an abstract of Gabbays work in order to familiarize the reader with the language we are going to extend an we will explain the usefulness of such extension. As regards the extension, we will provide the extended logica in detail and the definition of the language taht take it as its base. We will also present the algorithm which provides answers for teh queries of this language. The algorithum will be accompanied by a demonstration to prove that it computes a total function. Finally some examples will be presented to show potential uses of the language, together with the analysis of the goals reached and teh remaining tasks.
|
| Tipo |
text/html
|
| Palabras clave |
Programación Lógica
|
| Tipo de recurso |
Artículo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
| Formatos |
text/html
|
| Requerimientos técnicos |
Browser: Any
|
| Fecha de contribución |
27-nov-2008 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
