Skip to main content

FuzzyLogicEngine

Struct FuzzyLogicEngine 

Source
pub struct FuzzyLogicEngine { /* private fields */ }
Expand description

A complete fuzzy logic inference system.

§Usage

  1. Create an engine with FuzzyLogicEngine::new.
  2. Register linguistic variables with FuzzyLogicEngine::add_variable.
  3. Add IF-THEN rules with FuzzyLogicEngine::add_rule.
  4. Call FuzzyLogicEngine::infer or FuzzyLogicEngine::evaluate to obtain a crisp output for a given set of crisp inputs.

Implementations§

Source§

impl FuzzyLogicEngine

Source

pub fn new(inference: InferenceMethod, defuzz: DefuzzMethod) -> Self

Create a new engine with the given inference and defuzzification strategies.

Source

pub fn add_variable(&mut self, var: FuzzyVariable) -> Result<(), FuzzyError>

Register a linguistic variable.

§Errors

Returns FuzzyError::DuplicateVariable if a variable with the same name already exists.

Source

pub fn add_rule(&mut self, rule: FuzzyRule) -> Result<(), FuzzyError>

Register a fuzzy rule.

Validates that every variable and set referenced by the rule exists.

§Errors

Returns FuzzyError::VariableNotFound or FuzzyError::SetNotFound if any reference is invalid.

Source

pub fn rule_count(&self) -> usize

Return the number of registered rules.

Source

pub fn variable_names(&self) -> Vec<&str>

Return the names of all registered variables.

Source

pub fn membership_at( &self, variable: &str, set: &str, x: f64, ) -> Result<f64, FuzzyError>

Return the membership degree of x in a specific set of a variable.

§Errors

Returns FuzzyError::VariableNotFound or FuzzyError::SetNotFound.

Source

pub fn fuzzify( &self, variable: &str, crisp: f64, ) -> Result<Vec<(String, f64)>, FuzzyError>

Fuzzify a crisp value for a named variable.

Returns a vector of (set_name, degree) pairs for every set defined on the variable.

§Errors

Returns FuzzyError::VariableNotFound if the variable is unknown.

Source

pub fn fire_rule( &self, rule: &FuzzyRule, inputs: &HashMap<String, f64>, ) -> Result<f64, FuzzyError>

Evaluate the antecedent of rule given a map of crisp input values.

Returns the weighted activation degree α * rule.weight.

§Errors

Returns FuzzyError::VariableNotFound or FuzzyError::SetNotFound.

Source

pub fn infer( &self, inputs: &HashMap<String, f64>, output_var: &str, ) -> Result<f64, FuzzyError>

Run the complete fuzzy inference pipeline and return a crisp output for output_var.

§Errors
Source

pub fn evaluate( &mut self, inputs: &HashMap<String, f64>, output_var: &str, ) -> Result<f64, FuzzyError>

Alias for infer; accepts &mut self for future stateful extensions.

§Errors

Same as infer.

Source

pub fn stats(&self) -> FuzzyStats

Return a snapshot of engine statistics.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more