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

Packages that use Proposition

Package	Description
edu.uky.ai.logic	Contains objects for representing logical formulas.
edu.uky.ai.planning	Contains objects for representing planning problems, planning algorithms, and plans.
edu.uky.ai.planning.ss	Contains objects for representing forward and backward state space search and state space planners.

Uses of Proposition in edu.uky.ai.logic

Subinterfaces of Proposition 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.

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

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	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.

Fields in edu.uky.ai.logic declared as Proposition

Modifier and Type	Field	Description
final Proposition	Implication.antecedent	The first part of the implication
final Proposition	Negation.argument	The proposition this formula is the opposite of
final Proposition	Implication.consequent	The second part of the implication, which is implied by the antecedent

Fields in edu.uky.ai.logic with type parameters of type Proposition

Modifier and Type	Field	Description
final ImmutableArray<Proposition>	BooleanProposition.arguments	The other propositions that are part of this Boolean proposition

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

Modifier and Type	Method	Description
Proposition	Implication.negate()
Proposition	Negation.negate()
Proposition	Proposition.negate()	Returns a proposition whose truth values are opposite of this proposition (i.e.
Proposition	Conjunction.simplify()
Proposition	Disjunction.simplify()
Proposition	Implication.simplify()
Proposition	Negation.simplify()
Proposition	Proposition.simplify()	Returns an equivalent proposition which may be simpler.
Proposition	Conjunction.substitute(Substitution substitution)
Proposition	Disjunction.substitute(Substitution substitution)
Proposition	Implication.substitute(Substitution substitution)
Proposition	Negation.substitute(Substitution substitution)
Proposition	Proposition.substitute(Substitution substitution)
Proposition	Conjunction.toCNF()
Proposition	Disjunction.toCNF()
Proposition	Implication.toCNF()
Proposition	Negation.toCNF()
Proposition	Proposition.toCNF()	Converts this proposition to Conjunctive Normal Form (CNF).
Proposition	Conjunction.toDNF()
Proposition	Disjunction.toDNF()
Proposition	Implication.toDNF()
Proposition	Negation.toDNF()
Proposition	Proposition.toDNF()	Converts this proposition to Disjunctive Normal Form (DNF).
default Proposition	State.toProposition()	Represents this state as a proposition which would be true in this state and false in any other state (typically a Conjunction of all Atoms that are currently true).

Methods in edu.uky.ai.logic that return types with arguments of type Proposition

Modifier and Type	Method	Description
protected ImmutableArray<Proposition>	BooleanProposition.negateArguments()	Returns the arguments of this formula after negating each of them.
protected ImmutableArray<Proposition>	BooleanProposition.substituteArguments(Substitution substitution)	Returns the arguments of this formula after applying the given substitution.

Constructors in edu.uky.ai.logic with parameters of type Proposition

Modifier	Constructor	Description
	Conjunction(Proposition... arguments)	Constructs a conjunction from a group of arguments.
	Disjunction(Proposition... arguments)	Constructs a disjunction from a group of arguments.
	Implication(Proposition antecedent, Proposition consequent)	Constructs an implication from a given antecedent and consequent.
	Negation(Proposition argument)	Constructs a new negation with the given proposition.

Constructor parameters in edu.uky.ai.logic with type arguments of type Proposition

Modifier	Constructor	Description
	BooleanProposition(ImmutableArray<Proposition> arguments)	Constructs a new Boolean proposition with the given arguments.
	Conjunction(ImmutableArray<Proposition> arguments)	Constructs a conjunction from a group of arguments.
	Conjunction(Iterable<? extends Proposition> arguments)	Constructs a conjunction from a group of arguments.
	Disjunction(ImmutableArray<Proposition> arguments)	Constructs a disjunction from a group of arguments.
	Disjunction(Iterable<? extends Proposition> arguments)	Constructs a disjunction from a group of arguments.

Uses of Proposition in edu.uky.ai.planning

Fields in edu.uky.ai.planning declared as Proposition

Modifier and Type	Field	Description
final Proposition	Operator.effect	What becomes true after the action is taken
final Proposition	Step.effect	What becomes true after the step has been taken
final Proposition	Problem.goal	Some goal that needs to be achieved by any solution to this problem
final Proposition	Operator.precondition	What must be true before the action can be taken
final Proposition	Step.precondition	What must be true before the step can be taken

Methods in edu.uky.ai.planning with parameters of type Proposition

Modifier and Type	Method	Description
static final Iterable<Literal>	Utilities.asLiterals(Proposition proposition)	Since the precondition and effect of an action should be either a literal or a conjunction of literals, this utility method takes such a proposition and converts it into an Iterable.
static final void	Utilities.forEachLiteral(Proposition proposition, Consumer<? super Literal> consumer)	Since the precondition and effect of an action should be either a literal or a conjunction of literals, this utility method takes such a proposition and feeds each of its literals to a Consumer.
static final Literal[]	Utilities.toLiterals(Proposition proposition)	Since the precondition and effect of an action should be either a literal or a conjunction of literals, this utility method takes such a proposition and converts it into an array of literals.

Constructors in edu.uky.ai.planning with parameters of type Proposition

Modifier	Constructor	Description
	Operator(String name, Variable[] parameters, Proposition precondition, Proposition effect)	Constructs a new action template.
	Operator(String name, ImmutableArray<Variable> parameters, Proposition precondition, Proposition effect)	Constructs a new action template.
	Problem(String name, Domain domain, Constant[] objects, State initial, Proposition goal)	Constructs a new problem.
	Problem(String name, Domain domain, ImmutableArray<Constant> objects, State initial, Proposition goal)	Constructs a new problem.
	Step(String name, Proposition precondition, Proposition effect)	Constructs a new step.

Uses of Proposition in edu.uky.ai.planning.ss

Methods in edu.uky.ai.planning.ss with parameters of type Proposition

Modifier and Type	Method	Description
double	StateSpaceHeuristic.evaluate(StateSpaceProblem problem, State state, Proposition goal)	For a given problem, estimate the distance between the given state and the given goal proposition in number of steps.