Monotonic and Residuated Logic Programs
|
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
|
|
|
Monotonic and Residuated Logic Programs
|
| Id. |
46267932 |
| Idioma |
inglés
|
| Titulo |
Monotonic and Residuated Logic Programs |
| Autor(es) |
Carlos Viegas Damásio
Luís Moniz Pereira
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.7579
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
In this paper we define the rather general framework of Monotonic Logic Programs, where the main results of (definite) logic programming are validly extrapolated. Whenever defining new logic programming extensions, we can thus turn our attention to the stipulation and study of its intuitive algebraic properties within the very general setting. Then, the existence of a minimum model and of a monotonic immediate consequences operator is guaranteed, and they are related as in classical logic programming. Afterwards we study the more restricted class of residuated logic programs which is able to capture several quite distinct logic programming semantics. Namely: Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic Logic Programming. We provide the embedding of possibilistic logic programming.
|
| 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] http://centria.fct.unl.pt/~cd/publicacoes/ecsqaru01.ps.gz
[References] 10.1.1.64.9246
[References] 10.1.1.54.7792
[References] 10.1.1.50.9156
[References] 10.1.1.24.3985
[References] 10.1.1.20.1924
[References] 10.1.1.16.2250
[References] 10.1.1.21.7772
[References] 10.1.1.20.1924
[References] 10.1.1.16.2250
[References] 10.1.1.20.1743
[References] 10.1.1.21.7772
[References] 10.1.1.5.5591
[References] 10.1.1.102.3419
[References] 10.1.1.4.2451
[References] 10.1.1.99.7892
[References] 10.1.1.11.621
[References] 10.1.1.20.2442
[References] 10.1.1.12.8029
[References] 10.1.1.107.8836
[References] 10.1.1.107.9276
[References] 10.1.1.65.9383
[References] 10.1.1.67.1790
[References] 10.1.1.14.8302
[References] 10.1.1.5.8602
[References] 10.1.1.100.7567
[References] 10.1.1.103.646
[References] 10.1.1.104.4734
[References] 10.1.1.104.7203
[References] 10.1.1.64.6370
[References] 10.1.1.65.6435
[References] 10.1.1.66.1443
[References] 10.1.1.81.1558
[References] 10.1.1.97.2609
[References] 10.1.1.98.1773
[References] 10.1.1.20.2799
[References] 10.1.1.20.3800
[References] 10.1.1.13.1200
[References] 10.1.1.10.1699
[References] 10.1.1.4.2520
[References] 10.1.1.4.4384
[References] 10.1.1.5.7662
|
| 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.
|
|
|
|
