Package astra.reasoner

Class Unifier

java.lang.Object

astra.reasoner.Unifier

public class Unifier
extends Object

This class performs unification of logical formulae and events. Events can be associated with this class through the following code: Unifier.eventFactory.put(EISEvent.class, new EISEventUnifier());

Author:

rem

Field Summary

Fields

Modifier and Type	Field	Description
static Map<Class<?>,EventUnifier<?>>	eventFactory
static List<FormulaUnifier>	formulaUnifiers

Constructor Summary

Constructors

Constructor	Description
Unifier()

Method Summary

Modifier and Type	Method	Description
static Map<Integer,Term>	unify(Event source, Event target, Agent agent)
static Map<Integer,Term>	unify(Formula source, Formula target, Map<Integer,Term> bindings, Agent agent)
static Map<Integer,Term>	unify(Goal source, Goal target, Agent agent)	Generate variable bindings for two achievement goals or return null if there is no binding...
static Map<Integer,Term>	unify(Predicate source, Predicate target, Agent agent)	Generate variable bindings for two predicates or return null if there is no binding...
static Map<Integer,Term>	unify(Term[] source, Term[] target, Map<Integer,Term> bindings, Agent agent)

Methods inherited from class java.lang.Object

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

Field Details

eventFactory

public static Map<Class<?>,EventUnifier<?>> eventFactory

formulaUnifiers

public static List<FormulaUnifier> formulaUnifiers

Constructor Details

Unifier

public Unifier()

Method Details

unify

public static Map<Integer,Term> unify(Event source, Event target, Agent agent)

unify

public static Map<Integer,Term> unify(Predicate source, Predicate target, Agent agent)

Generate variable bindings for two predicates or return null if there is no binding...

Parameters:

source - first predicate

target - second predicate

agent - the agent for which the unification is being performed

Returns:

a Bindings object or null

unify

public static Map<Integer,Term> unify(Goal source, Goal target, Agent agent)

Generate variable bindings for two achievement goals or return null if there is no binding...

Parameters:

source - first goal

target - second goal

agent - the agent for which the unification is being performed

Returns:

a Bindings object or null

unify

public static Map<Integer,Term> unify(Term[] source, Term[] target, Map<Integer,Term> bindings, Agent agent)

unify

public static Map<Integer,Term> unify(Formula source, Formula target, Map<Integer,Term> bindings, Agent agent)