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: |
