Relational demonic fuzzy refinement

DOI10.1155/2014/140707MaRDI QIDQ2336161zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Fairouz Tchier

Publication date 19 November 2019

Published in Journal of Applied Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.1155/2014/140707

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

Summary: We use relational algebra to define a refinement fuzzy order called \textit{demonic fuzzy refinement} and also the associated fuzzy operators which are fuzzy demonic join \((\sqcup_{\text{fuz}})\), fuzzy demonic meet \((\sqcap_{\text{fuz}})\), and fuzzy demonic composition \((\square_{\text{fuz}})\). Our definitions and properties are illustrated by some examples using mathematica software (fuzzy logic).

Recommendations

• Nondeterministic Fuzzy Operators
• On a probabilistic-theoretic approach to the construction of a fuzzy relational algebra
• scientific article; zbMATH DE number 1174374
• Fuzzy relational compositions
• Partially ordered and relational valued fuzzy relations. I

Cites work

• A relational approach to the design of deterministic programs
• A theoretical basis for stepwise refinement and the programming calculus
• Boolean Algebras with Operators
• Embedding a demonic semilattice in a relation algebra
• Fuzzy sets
• scientific article; zbMATH DE number 67032 (Why is no real title available?)
• scientific article; zbMATH DE number 67035 (Why is no real title available?)
• scientific article; zbMATH DE number 3492732 (Why is no real title available?)
• scientific article; zbMATH DE number 3493906 (Why is no real title available?)
• scientific article; zbMATH DE number 3518800 (Why is no real title available?)
• scientific article; zbMATH DE number 3540718 (Why is no real title available?)
• scientific article; zbMATH DE number 1202379 (Why is no real title available?)
• scientific article; zbMATH DE number 1086636 (Why is no real title available?)
• scientific article; zbMATH DE number 2110675 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• scientific article; zbMATH DE number 3300554 (Why is no real title available?)
• scientific article; zbMATH DE number 3070503 (Why is no real title available?)
• L-fuzzy sets
• On correct refinement of programs
• On medical diagnosis using possibility measures
• On the lattice of specifications: Applications to a specification methodology
• Pattern Classification Based on Fuzzy Relations
• Processing in relational structures: Fuzzy relational equations
• Program development by stepwise refinement
• Relation algebras: Concept of points and representability
• Relational algebraic semantics of deterministic and nondeterministic programs
• Relational Methods in Computer Science
• Resolution of composite fuzzy relation equations
• Similarity relations and fuzzy orderings
• The logic of inexact concepts
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• Varieties of relation algebras

Describes a project that uses

Uses Software

• Mathematica

This page was built for publication: Relational demonic fuzzy refinement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2336161)