A framework for semiqualitative reasoning in engineering applications

In most cases the models for experimentation, analysis, or design in engineering applications take into account only quantitative knowledge. Sometimes there is a qualitative knowledge that is convenient to consider in order to obtain better conclusions. These qualitative concepts can be labels such...

Descripción completa

Detalles Bibliográficos
Autores: Martínez Gasca, Rafael, Ortega Ramírez, Juan Antonio, Toro Bonilla, Miguel
Tipo de recurso: artículo
Estado:Versión enviada para evaluación y publicación
Fecha de publicación:2002
País:España
Institución:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/65085
Acceso en línea:http://hdl.handle.net/11441/65085
https://doi.org/10.1080/088395102753559262
Access Level:acceso abierto
Descripción
Sumario:In most cases the models for experimentation, analysis, or design in engineering applications take into account only quantitative knowledge. Sometimes there is a qualitative knowledge that is convenient to consider in order to obtain better conclusions. These qualitative concepts can be labels such as ``high,’ ’ ``very negative,’ ’ ``little acid,’ ’ ``monotonically increasing’ ’ or symbols such as ¾; º, etc. . . Engineers have already used this type of knowledge implicitly in many activities. The framework that we present here lets us express explicitly this knowledge. This work makes the following contributions. First, we identify the most important classes of qualitative concepts in engineering activities. Second, we present a novel methodology to integrate both qualitative and quantitative knowledge. Third, we obtain signi® cant conclusions automatically. It is named semiqualitative reasoning. Qualitative concepts are represented by means of closed real intervals. This approximation is accepted in the area of Arti® cial Intelligence. A modeling language is speci® ed to represent qualitative and quantitative knowledge of the model. A numeric constraint satisfaction problem is obtained by means of corresponding rules of transformation of the semantics of this language. In order to obtain conclusions, we have developed algorithms that treat the problem in a symbolic and numeric way. The interval conclusions obtained are transformed into qualitative labels through a linguistic interpretation. Finally, the capabilities of this methodology are illustrated on different problems.