Logic Programming Techniques for Solving Circuit Diagnosis
|
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
|
|
|
Logic Programming Techniques for Solving Circuit Diagnosis
|
| Id. |
46271577 |
| Idioma |
inglés
|
| Titulo |
Logic Programming Techniques for Solving Circuit Diagnosis |
| Autor(es) |
J. J. Alferes
F. Azevedo
P. Barahona
C. V. Damasio
T. Swift
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.1920
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Model-based diagnosis is a general technique of Artificial Intelligence that has applications to engineering design, networking, planning, and other domains. These applications have led to the creation of special-purpose systems for model-based diagnosis, based on theories of truth maintenance. In this paper we focus on circuit diagnosis, and consider several logic programming approaches, which in contrast to the special-purpose systems, require very small amounts of code, yet are often quite efficient. As a basis for comparison, we start generate and test algorithms. Next, we model faults as abducibles, and the abductive program is evaluated using tabling. As an alternative to abduction, we use Answer Set Programming to capture each diagnosis as a stable model. The most efficient method resorts to bottom-up dependencies propagation, and annotates each the truth-value of each circuit with a set of faults required in the derivation of that truth-value. All tests are performed on the 6288 ISCAS85 benchmark circuit.
|
| 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/iclp01.ps.gz
[References] 10.1.1.24.6050
[References] 10.1.1.36.7862
[References] 10.1.1.46.6686
[References] 10.1.1.116.2895
[References] 10.1.1.39.9426
[References] 10.1.1.19.3938
[References] 10.1.1.16.8277
[References] 10.1.1.98.4249
[References] 10.1.1.25.8153
[References] 10.1.1.6.6534
[References] 10.1.1.107.3821
[References] 10.1.1.15.9187
[References] 10.1.1.86.4586
[References] 10.1.1.87.2579
[References] 10.1.1.9.361
|
| 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.
|
|
|
|
