A semantics and a logic for Fuzzy Arden Syntax

Autor:	Gomes, Leandro Rafael Moreira, Madeira, Alexandre Leite Castro, Barbosa, L. S.
Přispěvatelé:	Universidade do Minho
Jazyk:	angličtina
Rok vydání:	2021
Předmět:	dynamic logic formal semantics Science & Technology Computer Science::Programming Languages Ciências Naturais::Ciências da Computação e da Informação fuzzy reasoning
Popis:	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 This work was founded by the ERDF — European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation — COMPETE 2020 Pro gramme and by National Funds through the Portuguese funding agency, FCT — Fundação para a Ciência e a Tecnologia, within projects POCI-01-0145-FEDER-030947and POCI-01-0145-FEDER-029946
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od_______307::9a2227c1a90167f2ccd7f799f9ce2bbb https://hdl.handle.net/1822/78051 Zobrazit plný text záznamu