fuzzydl
Class ZadehSolver

java.lang.Object
  fuzzydl.ZadehSolver

public class ZadehSolver
extends java.lang.Object

Solver for Zadeh fuzzy logic semantics.

Constructor Summary

ZadehSolver()

Method Summary

static void	decompose(Assertion ass, KnowledgeBase kb) Decompose a fuzzy assertion, applying the right method to solve it.
static void	solveAll(Relation rel, Restriction restric, KnowledgeBase kb) Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
static void	solveAnd(Assertion ass, KnowledgeBase kb) Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
static void	solveOr(Assertion ass, KnowledgeBase kb) Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
static void	solveSome(Assertion ass, KnowledgeBase kb) Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ZadehSolver

public ZadehSolver()

Method Detail

solveAnd

public static void solveAnd(Assertion ass,
                            KnowledgeBase kb)

Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.

Parameters:

ass - A conjunction fuzzy assertion.

kb - A reference fuzzy KB.

solveOr

public static void solveOr(Assertion ass,
                           KnowledgeBase kb)

Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.

Parameters:

ass - A disjunction fuzzy assertion.

kb - A reference fuzzy KB.

decompose

public static void decompose(Assertion ass,
                             KnowledgeBase kb)

Decompose a fuzzy assertion, applying the right method to solve it.

Parameters:

ass - A fuzzy assertion.

kb - A reference fuzzy KB.

solveSome

public static void solveSome(Assertion ass,
                             KnowledgeBase kb)

Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.

Parameters:

ass - A existential restriction fuzzy assertion.

kb - A reference fuzzy KB.

solveAll

public static void solveAll(Relation rel,
                            Restriction restric,
                            KnowledgeBase kb)

Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.

Parameters:

rel - A relation.

restric - A universal restriction.

kb - A reference fuzzy KB.