Interface LogicalFormula

All Superinterfaces:
java.lang.Cloneable, java.lang.Comparable<Term>, java.io.Serializable, Term, ToDOM, ToJson
All Known Implementing Classes:
ArithExpr, ArithFunctionTerm, Atom, BinaryStructure, CyclicTerm, InternalActionLiteral, ListTermImpl, Literal, Literal.DefaultNameSpace, Literal.FalseLiteral, Literal.TrueLiteral, LiteralImpl, LogExpr, Plan, PlanBodyImpl, Pred, RelExpr, Rule, Structure, Trigger, UnnamedVar, VarTerm

public interface LogicalFormula
extends Term, java.lang.Cloneable
Represents a logical formula (p, p & q, not p, 3 > X, ...) which can be evaluated into a truth value.
Author:
Jomi
  • Method Details

    • logicalConsequence

      java.util.Iterator<Unifier> logicalConsequence​(Agent ag, Unifier un)
      Checks whether the formula is a logical consequence of the belief base. Returns an iterator for all unifiers that are consequence.