A semantics and a logic for Fuzzy Arden Syntax

Gomes, Leandro, Madeira, Alexandre and Soares Barbosa, Luís, (2021). A semantics and a logic for Fuzzy Arden Syntax. Soft Computing, 25(9), 6789-6805

Document type:
Article
Collection:
UNU-EGOV Articles

Metadata
Links
Versions
Statistics
  • Sub-type Journal article
    Author Gomes, Leandro
    Madeira, Alexandre
    Soares Barbosa, Luís
    Title A semantics and a logic for Fuzzy Arden Syntax
    Appearing in Soft Computing
    Volume 25
    Issue No. 9
    Publication Date 2021
    Place of Publication New York
    Publisher Springer
    Start page 6789
    End page 6805
    Language eng
    Abstract 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.
    Copyright Holder The Authors
    Copyright Year 2021
    Copyright type Fair use permitted
    ISSN 1433-7479
    DOI 10.1007/s00500-021-05593-9
  • Versions
    Version Filter Type
  • Citation counts
    Google Scholar Search Google Scholar
    Access Statistics: 245 Abstract Views  -  Detailed Statistics
    Created: Tue, 10 May 2022, 02:28:30 JST by Mario Peixoto on behalf of UNU EGOV