Agents via Mixed-mode Computation in Linear 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
|
|
|
Agents via Mixed-mode Computation in Linear Logic
|
| Id. |
46140787 |
| Idioma |
inglés
|
| Titulo |
Agents via Mixed-mode Computation in Linear Logic |
| Autor(es) |
James Harland
Michael Winikoff
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.2431
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Agent systems based on the Belief, Desire and Intention model of Rao and Georgeff have been used for a number of successful applications. However, it is often difficult to learn how to apply such systems, due to the complexity of both the semantics of the system and the computational model. In addition, there is a gap between the semantics and the concepts that are presented to the programmer. In this paper we address these issues by re-casting the foundations of such systems into a logic programming framework. In particular we show how the integration of backward- and forward-chaining techniques for linear logic provides a natural starting point for this investigation. We discuss how the integrated system provides for the interaction between the proactive and reactive parts of the system, and we discuss several aspects of this interaction. In particular, one perhaps surprising outcome is that goals and plans may be thought of as declarative and procedural aspects of the same concept. We also discuss the language design issues for such a system, and particularly the way in which the potential choices for rule evaluation in a forward-chaining manner is crucial to the behaviour of the system.
|
| 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] http://goanna.cs.rmit.edu.au/~winikoff/Papers/amai03.ps
[References] 10.1.1.64.9246
[References] 10.1.1.22.2040
[References] 10.1.1.133.6640
[References] 10.1.1.52.8407
[References] 10.1.1.30.1937
[References] 10.1.1.32.545
[References] 10.1.1.62.8517
[References] 10.1.1.51.1754
[References] 10.1.1.30.8185
[References] 10.1.1.67.2862
[References] 10.1.1.44.436
[References] 10.1.1.7.7595
[References] 10.1.1.23.1508
[References] 10.1.1.3.6748
[References] 10.1.1.73.8281
[References] 10.1.1.122.7139
[References] 10.1.1.100.8335
[References] 10.1.1.102.7665
|
| Fecha de contribución |
21-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
