On BL-Algebras and its Interval Counterpart
DOI:
https://doi.org/10.5540/tema.2019.020.02.241Palavras-chave:
Fuzzy Logic, BL-Algebras, Intervals, Correctness Principle.Resumo
Interval Fuzzy Logic and Interval-valued Fuzzy Sets have been widely investigated. Some Fuzzy Logics were algebraically modelled by Peter Hájek as BL-algebras. What is the algebraic counterpart for the interval setting? It is known from literature that there is a incompatibility between some algebraic structures and its interval counterpart. This paper shows that such incompatibility is also present in the level of BL-algebras. Here we show both: (1) the impossiblity of match imprecision and the correctness of the underlying BLimplication and (2) some facts about the intervalization of BL-algebras.Referências
T. Hickey, Q. Ju, and M. H. Van Emden, “Interval arithmetic: From principles to implementation,”
J. ACM, vol. 48, pp. 1038–1068, Sept. 2001.
R. H. N. Santiago, B. R. C. Bedregal, and B. M. Acióly, “Formal aspects of correctness
and optimality of interval computations,” Formal Aspects of Computing, vol. 18, no. 2,
pp. 231–243, 2006.
P. Hajek, Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, 1998.
A. Di Nola, S. Sessa, F. Esteva, L. Godo, and P. Garcia, “The variety generated by
perfect BL-algebras: an algebraic approach in a fuzzy logic setting,” Annals of Mathematics
and Artificial Intelligence, vol. 35, no. 1, pp. 197–214, 2002.
A. Di Nola and L. Leu¸stean, “Compact representations of BL-algebras,” Archive for
Mathematical Logic, vol. 42, no. 8, pp. 737–761, 2003.
H. Bustince, “Interval-valued fuzzy sets in soft computing,” International Journal of
Computational Intelligence Systems, vol. 3, no. 2, pp. 215–222, 2010.
R. B. Kearfott and V. Kreinovich, eds., Applications of Interval Computations: An
Introduction, pp. 1–22. Boston, MA: Springer US, 1996.
R. E. Moore and F. Bierbaum, Methods and Applications of Interval Analysis (SIAM
Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics,
). Soc for Industrial & Applied Math, 1979.
B. V. Gasse, C. Cornelis, and G. Deschrijver, “Interval-valued algebras and fuzzy logics.”
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Política para Periódicos de Acesso Livre
Autores que publicam nesta revista concordam com os seguintes termos:
- Autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Attribution que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
- Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
- Autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado (Veja O Efeito do Acesso Livre).
- Esta é uma revista de acesso aberto, o que significa que todo o conteúdo é livremente disponível gratuitamente para o usuário ou sua instituição. Os usuários estão autorizados a ler, baixar, copiar, distribuir, imprimir, pesquisar ou vincular os textos completos dos artigos, ou usá-los para qualquer outro propósito legal, sem pedir permissão prévia do editor ou do autor. Isso está de acordo com a definição de acesso aberto do BOAI.
Todo o conteúdo do periódico está licenciado sob uma Licença Creative Commons do tipo atribuição BY.