Package astra.reasoner
-
Interface Summary Interface Description EventUnifier<T extends Event> FormulaUnifier Queryable A Source forReasonerimplementations.Reasoner Core Interface for logical reasoning systems that may be attached to an agent. -
Class Summary Class Description BeliefIterator NewReasoner Unifier This class performs unification of logical formulae and events.