jason.asSyntax.LogicalFormula Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jason Show documentation

Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.

The newest version!

package jason.asSyntax;

import jason.asSemantics.Agent;
import jason.asSemantics.Unifier;

import java.util.Iterator;

/**
 * Represents a logical formula (p, p & q, not p, 3 > X, ...) which can be
 * evaluated into a truth value.
 *
 * @opt nodefillcolor lightgoldenrodyellow
 *
 * @author Jomi
 */
public interface LogicalFormula extends Term, Cloneable {
    /**
     * Checks whether the formula is a
     * logical consequence of the belief base.
     *
     * Returns an iterator for all unifiers that are consequence.
     */
    public Iterator logicalConsequence(Agent ag, Unifier un);

}