Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/78051
Título: | A semantics and a logic for Fuzzy Arden Syntax |
Autor(es): | Gomes, Leandro Rafael Moreira Madeira, Alexandre Leite Castro Barbosa, L. S. |
Palavras-chave: | dynamic logic formal semantics fuzzy reasoning |
Data: | 2021 |
Editora: | Springer |
Revista: | Soft Computing |
Citação: | Gomes, L., Madeira, A. & Barbosa, L.S. A semantics and a logic for Fuzzy Arden Syntax. Soft Comput 25, 6789–6805 (2021). https://doi.org/10.1007/s00500-021-05593-9 |
Resumo(s): | Fuzzy programming languages, such as the Fuzzy Arden Syntax (FAS), are used to describe behaviours which evolve in a fuzzy way and thus cannot be characterized neither by a Boolean outcome nor by a probability distribution. This paper introduces a semantics for FAS, focusing on the weighted parallel interpretation of its conditional statement. The proposed construction is based on the notion of a fuzzy multirelation which associates with each state in a program a fuzzy set of weighted possible evolutions. The latter is parametric on a residuated lattice which models the underlying semantic ‘truth space’. Finally, a family of dynamic logics, equally parametric on the residuated lattice, is introduced to reason about FAS programs |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/78051 |
DOI: | 10.1007/s00500-021-05593-9 |
ISSN: | 1432-7643 |
e-ISSN: | 1433-7479 |
Versão da editora: | https://link.springer.com/article/10.1007/s00500-021-05593-9 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |