fuzzydl
Class ClassicalSolver

java.lang.Object
  fuzzydl.ClassicalSolver

public class ClassicalSolver
extends java.lang.Object

Solver for classical logic semantics.

Constructor Summary

ClassicalSolver()

Method Summary

static void	decompose(Assertion ass, KnowledgeBase kb) Decompose a fuzzy assertion, applying the right method to solve it.
static void	solveAll(Individual a, 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

ClassicalSolver

public ClassicalSolver()

Method Detail

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.

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)

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(Individual a,
                            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.