Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/78054
Título: | Towards a specification theory for fuzzy modal logic |
Autor(es): | Jain, Manisha Gomes, Leandro Madeira, Alexandre Barbosa, L. S. |
Palavras-chave: | Dynamic Logic Fuzzy logic Specification |
Data: | 2021 |
Editora: | IEEE |
Citação: | M. Jain, L. Gomes, A. Madeira and L. S. Barbosa, "Towards a specification theory for fuzzy modal logic," 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021, pp. 175-182, doi: 10.1109/TASE52547.2021.00031. |
Resumo(s): | Fuzziness, as a way to express imprecision, or uncertainty, in computation is an important feature in a number of current application scenarios: from hybrid systems interfacing with sensor networks with error boundaries, to knowledge bases collecting data from often non-coincident human experts. Their abstraction in e.g. fuzzy transition systems led to a number of mathematical structures to model this sort of systems and reason about them. This paper adds two more elements to this family: two modal logics, framed as institutions, to reason about fuzzy transition systems and the corresponding processes. This paves the way to the development, in the second part of the paper, of an associated theory of structured specification for fuzzy computational systems. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/78054 |
ISBN: | 9781665441636 |
DOI: | 10.1109/TASE52547.2021.00031 |
Versão da editora: | https://ieeexplore.ieee.org/document/9546826 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
JGMB21.pdf | 265,13 kB | Adobe PDF | Ver/Abrir |