Default Logic as a Query Language
|
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
|
|
|
Default Logic as a Query Language
|
| Id. |
46475502 |
| Idioma |
inglés
|
| Titulo |
Default Logic as a Query Language |
| Autor(es) |
Marco Cadoli
Thomas Eiter
Georg Gottlob
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7486
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
| Research in non-monotonic reasoning has focused largely on the idea of representing knowledge about the world via rules that are generally true but can be defeated. Even if relational databases are nowadays the main tool for storing very large sets of data, the approach of using non-monotonic AI formalisms as relational database query languages has been investigated to a much smaller extent. In this work we propose a novel application of Reiter's default logic by introducing a default query language (DQL) for nite relational databases, which is based on default rules. The main result of this paper is that DQL is as expressive as SO 98 , the existential-universal fragment of secondorder logic. This result is not only of theoretical importance: We exhibit queries {which are useful in practice{ that can be expressed with DQL and can not with other query languages based on non-monotonic logics such as DATALOG with negation under the stable model semantics. In particular, we show that DQ...
|
| Tipo |
application/postscript
|
| Palabras clave |
Default 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://www.kr.tuwien.ac.at/staff/eiter/1842-papers/ieee.ps.gz
[References] 10.1.1.47.8467
[References] 10.1.1.24.6050
[References] 10.1.1.121.6788
[References] 10.1.1.50.4936
[References] 10.1.1.131.8077
[References] 10.1.1.31.9982
[References] 10.1.1.61.2566
[References] 10.1.1.21.2628
[References] 10.1.1.37.2425
[References] 10.1.1.18.8803
[References] 10.1.1.47.4330
[References] 10.1.1.65.7858
[References] 10.1.1.8.5352
[References] 10.1.1.36.6366
[References] 10.1.1.104.4415
[References] 10.1.1.21.2628
[References] 10.1.1.18.6774
[References] 10.1.1.3.5125
[References] 10.1.1.26.600
[References] 10.1.1.9.2146
[References] 10.1.1.18.5299
[References] 10.1.1.71.7843
[References] 10.1.1.28.2800
[References] 10.1.1.36.6739
[References] 10.1.1.48.4566
[References] 10.1.1.19.2229
[References] 10.1.1.29.2850
[References] 10.1.1.100.2223
[References] 10.1.1.18.5621
[References] 10.1.1.91.3059
[References] 10.1.1.85.2854
[References] 10.1.1.18.3840
[References] 10.1.1.8.9479
[References] 10.1.1.20.8666
[References] 10.1.1.90.5140
[References] 10.1.1.69.25
[References] 10.1.1.100.455
[References] 10.1.1.28.660
[References] 10.1.1.67.2959
[References] 10.1.1.23.6208
[References] 10.1.1.36.8562
[References] 10.1.1.63.2017
[References] 10.1.1.64.5434
[References] 10.1.1.67.5977
[References] 10.1.1.90.5372
[References] 10.1.1.121.6751
[References] 10.1.1.114.520
[References] 10.1.1.2.4852
[References] 10.1.1.14.2747
[References] 10.1.1.127.1763
|
| Fecha de contribución |
28-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
