Uses of Interface
edu.uky.ai.logic.Formula

Packages that use Formula

Package	Description
edu.uky.ai.logic	Contains objects for representing logical formulas.

Uses of Formula in edu.uky.ai.logic

Subinterfaces of Formula in edu.uky.ai.logic

Modifier and Type	Interface	Description
interface	Atom	An atom is the smallest indivisible unit of a logical language that has a truth value.
interface	Literal	A literal is an Atom or a negated atom.
interface	Proposition	A proposition is any logical formula with a truth value.

Classes in edu.uky.ai.logic that implement Formula

Modifier and Type	Class	Description
class	AtomicProposition	An individual statement that has a truth value (the atoms of propositional logic).
class	BooleanProposition	The parent class of all Boolean expressions, whose truth value is defined by combining other expressions.
class	Conjunction	A conjunction, or logical AND statement, is true just when all of its arguments are true.
class	Constant	A constant represents a specific unique thing.
class	Disjunction	A disjunction, or logical OR statement, is true just when one or more of its arguments are true.
class	Implication	An implication, or logical IF statement, is defined by the truth value of its two parts, the antecedent and the consequent.
class	NegatedAtom	The negation of an Atom.
class	Negation	Represents the negation (or opposite) of a proposition.
class	Predication	The atoms of predicate logic, which are composed of statements that express relationships between things in the world (i.e.
class	Term	A term is a reference to an individual thing in the world, and does not have a truth value.
class	Variable	A variable represents a placeholder for a Term.

Methods in edu.uky.ai.logic that return Formula

Modifier and Type	Method	Description
Formula	HashSubstitution.get(Formula original)
Formula	ListBindings.get(Formula original)
Formula	Substitution.get(Formula original)	Defines what a given formula should be replaced with.
Formula	Formula.substitute(Substitution substitution)	Returns a version of this formula such that any elements that appear in the given substitution are replaced.

Methods in edu.uky.ai.logic with parameters of type Formula

Modifier and Type	Method	Description
default int	Formula.compareTo(Formula other)
default boolean	Formula.equals(Formula other, Substitution substitution)	Tests whether the formula represented by this object would be the same as another formula under the given substitution.
Formula	HashSubstitution.get(Formula original)
Formula	ListBindings.get(Formula original)
Formula	Substitution.get(Formula original)	Defines what a given formula should be replaced with.
void	HashSubstitution.set(Formula original, Formula replacement)	Specifies that a given formula should be replaced with another formula.
Bindings	AtomicProposition.unify(Formula other, Bindings bindings)
Bindings	Conjunction.unify(Formula other, Bindings bindings)
Bindings	Disjunction.unify(Formula other, Bindings bindings)
Bindings	Formula.unify(Formula other, Bindings bindings)	Finds the bindings that would be necessary to make this formula the same as another formula (if any exist).
Bindings	Implication.unify(Formula other, Bindings bindings)
Bindings	Negation.unify(Formula other, Bindings bindings)
Bindings	Predication.unify(Formula other, Bindings bindings)
Bindings	Term.unify(Formula other, Bindings bindings)
protected Bindings	BooleanProposition.unifyArguments(Formula other, Bindings bindings)	Unifies this formula's arguments with the arguments of another Boolean proposition.