Universidad Complutense de Madrid
E-Prints Complutense

Formal Specification under Fuzziness.



Último año

Lopez, Victoria y Montero, Javier (2009) Formal Specification under Fuzziness. Journal of Multiple-Valued Logic and Soft Computin, 15 (2-3). pp. 209-228. ISSN 1542-3980

Vista previa

URL Oficial: http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-15-number-2-3-2009/mvlsc-15-2-3-p-209-228/

URLTipo de URL


Judging the quality of any decision making procedure is a key problem whenever there is no possibility of developing a sequence of experiments allowing some kind of ratio relative to good results. It may he the case that we have only chances for a unique experiment or no similar experiences are available, but it may be also the case that no standard experiment allows the observation of such a good behavior. simply because Such good behavior can not be properly defined, in terms of standard crisp experiments. This situation is quite often associated to complex decision making problems, Then the only support we can find for our decision is the decision process itself, i.e., the consistency of the arguments leading to such a decision. Checking the quality of such a procedure becomes in this framework a key issue. Since specification is being quite often poorly defined, we Postulate that the design and formal specification of algorithms and processes require a fuzzy approach.

Tipo de documento:Artículo
Información Adicional:

12th International Conference on Fuzzy Theory and Technology

Palabras clave:Fuzzy logic; Formal specification; Decision making
Materias:Ciencias > Matemáticas > Lógica simbólica y matemática
Código ID:16185
Depositado:10 Sep 2012 11:54
Última Modificación:19 Abr 2016 15:21

Descargas en el último año

Sólo personal del repositorio: página de control del artículo