Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/32330
Title: | Towards a specification theory for fuzzy modal logic |
Author: | Jain, Manisha Gomes, Leandro Madeira, Alexandre Barbosa, Luis S. |
Keywords: | Dynamic logic Fuzzy logic Specification |
Issue Date: | 2021 |
Publisher: | IEEE |
Abstract: | 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. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/32330 |
DOI: | 10.1109/TASE52547.2021.00031 |
ISBN: | 978-1-6654-4164-3 |
Appears in Collections: | CIDMA - Capítulo de livro DMat - Capítulo de livro AGG - Capítulo de livro |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
TASE21.pdf | 416.6 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.