Universidad Complutense de Madrid
E-Prints Complutense

Fuzzy weakest precondition and fuzzy invariants

Impacto

Downloads

Downloads per month over past year



Lopez, Victoria and Gómez, D. and Montero, Javier (2009) Fuzzy weakest precondition and fuzzy invariants. In 8th Joint Conference on Information Sciences 2005. Curran Associates, Inc., Durham, N.C, pp. 47-53. ISBN 9781605603223

[img]
Preview
PDF
68kB


Abstract

Design and formal verification of algorithms can be translated into a fuzzy framework introducing fuzzy logic and assert transformations. Following the classical scheme, and in order to develop codes with good behavior, this paper defines the concepts of fuzzy algorithm specification and fuzzy weakest precondition operator which are then applied to a fuzzy decision making algorithm. Keywords: Fuzzy algorithms and programming,decision making.


Item Type:Book Section
Uncontrolled Keywords:Fuzzy algorithms and programming; Decision making
Subjects:Sciences > Mathematics > Logic, Symbolic and mathematical
ID Code:30776
Deposited On:10 Jun 2015 10:35
Last Modified:19 Apr 2016 17:13

Origin of downloads

Repository Staff Only: item control page