# AI/Logic/Fuzzy

### From HaskellWiki

m (Added Category:AI) |
(→Existing literature: The link now points to a page with free download) |
||

Line 12: | Line 12: | ||

Dave Tapley is about to commence a full literature review of the field so expect this to fill up nicely by 25/06. |
Dave Tapley is about to commence a full literature review of the field so expect this to fill up nicely by 25/06. |
||

− | *[http://www.journals.cambridge.org/action/displayAbstract?fromPage=online&aid=44203 Animated fuzzy logic] |
+ | *[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.1464 Animated fuzzy logic] |

== Typical problems == |
== Typical problems == |

## Latest revision as of 22:51, 31 January 2013

## Contents |

## [edit] 1 Introduction

Fuzzy logic is derived from fuzzy set theory dealing with reasoning that is approximate rather than precisely deduced from classical predicate logic. It can be thought of as the application side of fuzzy set theory dealing with well thought out real world expert values for a complex problem (Klir 1997).

Integral to the idea of a fuzzy set is the membership (or characteristic) function which defines a mapping from an object to its membership in the set which is defined by the membership function. This membership ranges from 0 (indicating the object is **not** in the set) to 1 (indicating is **fully** in the set).

## [edit] 2 Existing literature

Dave Tapley is about to commence a full literature review of the field so expect this to fill up nicely by 25/06.

## [edit] 3 Typical problems

Consider using a fuzzy system if you are dealing with uncertainty in you variables. Classic example is a fuzzy membership function *old* this tells us to what *degree*::Double an *age*::Int is considered old. Thus we may consider a membership function:
Old :: Int -> Double

## [edit] 4 Active developers

Dave Tapley

## [edit] 5 Current goals

- The design and implementation of generalised fuzzy sets in Haskell. Given Haskell's type system it seems there is a lot of scope for a good design here.