fuzzydl

Class ZadehSolver

java.lang.Object

fuzzydl.ZadehSolver

public class ZadehSolver
extends java.lang.Object

Solver for Zadeh fuzzy logic semantics.

Author:

Fernando Bobillo

Constructor Summary

Constructors

Constructor and Description
ZadehSolver()

Method Summary

Modifier and Type	Method and Description
static void	orEquation(java.util.Vector<Variable> x, Variable z, MILPHelper milp)
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

equals, 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.

solveSome

public static void solveSome(Assertion ass,
                             KnowledgeBase kb)
                      throws InconsistentOntologyException

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.

Throws:

InconsistentOntologyException - Inconsistent ontology.

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.

orEquation

public static void orEquation(java.util.Vector<Variable> x,
                              Variable z,
                              MILPHelper milp)