Propositional Defeasible Logic has Linear Complexity
|
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
|
|
|
Propositional Defeasible Logic has Linear Complexity
|
| Id. |
562531 |
| Titulo |
Propositional Defeasible Logic has Linear Complexity |
| Autor(es) |
Maher, Michael J.
|
| Localización |
http://arxiv.org/abs/cs/0405090
Theory and Practice of Logic Programming, vol. 1, no. 6, 2001
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Defeasible logic is a rule-based nonmonotonic logic, with both strict and
defeasible rules, and a priority relation on rules. We show that inference in
the propositional form of the logic can be performed in linear time. This
contrasts markedly with most other propositional nonmonotonic logics, in which
inference is intractable.
|
| Palabras clave |
Computer Science - Artificial Intelligence
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
| Requerimientos técnicos |
Browser: Any
|
| Fecha de contribución |
25-feb-2007 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
