Ponencia
Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering
Autor/es | Gómez López, María Teresa
Ceballos Guerrero, Rafael Martínez Gasca, Rafael Pozo Hidalgo, Sergio |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2004 |
Fecha de depósito | 2022-02-17 |
Publicado en |
|
ISBN/ISSN | 978-3-540-23806-5 0302-9743 |
Resumen | Model-based Diagnosis allows the identification of the parts which fail
in a system. The models are based on the knowledge of the system to diagnose, and
can be represented by constraints associated to components. Inputs ... Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge of the system to diagnose, and can be represented by constraints associated to components. Inputs and outputs of components are represented as variables of those constraints, and they can be observable and non-observable depending on the situation of sensors. In order to obtain the minimal diagnosis in a system, an important issue is to find out the possible minimal conflicts in an efficient way. In this work, we propose a new approach to automate and to improve the determination of possible minimal conflict sets. This approach has two phases. In the first phase, we determine components clusters in the system in order to reduce drastically the number of contexts to consider. In the second phase, we construct a reduced context network with the possible minimal conflicts. In this phase we use Gröbner bases reduction.A novel logical architecture of Constraint Databases is used to store the model, the components clusters and possible minimal conflict sets. The necessary information in each phase is obtained by using a standard query language. |
Agencias financiadoras | Ministerio de Ciencia Y Tecnología (MCYT). España |
Identificador del proyecto | DPI2003-07146-C02-01 |
Cita | Gómez López, M.T., Ceballos Guerrero, R., Martínez Gasca, R. y Pozo Hidalgo, S. (2004). Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering. En IBERAMIA 2004 : 9th Ibero-American Conference on Artificial Intelligence (942-952), Puebla, México: Springer. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Gómez-López2004_Chapter_Determ ... | 256.2Kb | [PDF] | Ver/ | |