Uses of Package
edu.uky.ai.logic

Packages that use edu.uky.ai.logic

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.pg	Contains objects for representing plan graphs and planners that search for a solution by finding a valid subgraph of a plan graph.
edu.uky.ai.planning.ps	Contains objects for representing plan space search and plan space planners.
edu.uky.ai.planning.ss	Contains objects for representing forward and backward state space search and state space planners.

Classes in edu.uky.ai.logic used by edu.uky.ai.logic

Class	Description
Atom	An atom is the smallest indivisible unit of a logical language that has a truth value.
Bindings	A set of assignments of values to Term terms.
BooleanProposition	The parent class of all Boolean expressions, whose truth value is defined by combining other expressions.
Constant	A constant represents a specific unique thing.
Disjunction	A disjunction, or logical OR statement, is true just when one or more of its arguments are true.
Formula	The parent class of all logical formulas.
HashState	An implementation of MutableState that uses a HashMap to keep track of which atoms are true.
HashSubstitution	A substitution which uses a HashMap to keep track of substitutions.
ListBindings	An implementation of Bindings based on a linked list.
Literal	A literal is an Atom or a negated atom.
MutableState	A state which can be modified.
Negation	Represents the negation (or opposite) of a proposition.
Proposition	A proposition is any logical formula with a truth value.
State	A state fully describes the disposition of all things in a world.
Substitution	A substitution defines that certain formulas should be replaced by other formulas.
Term	A term is a reference to an individual thing in the world, and does not have a truth value.
Variable	A variable represents a placeholder for a Term.

Classes in edu.uky.ai.logic used by edu.uky.ai.planning

Class	Description
Constant	A constant represents a specific unique thing.
Literal	A literal is an Atom or a negated atom.
Proposition	A proposition is any logical formula with a truth value.
State	A state fully describes the disposition of all things in a world.
Substitution	A substitution defines that certain formulas should be replaced by other formulas.
Variable	A variable represents a placeholder for a Term.

Classes in edu.uky.ai.logic used by edu.uky.ai.planning.pg

Class	Description
Literal	A literal is an Atom or a negated atom.
State	A state fully describes the disposition of all things in a world.

Classes in edu.uky.ai.logic used by edu.uky.ai.planning.ps

Class	Description
Bindings	A set of assignments of values to Term terms.
Literal	A literal is an Atom or a negated atom.
Substitution	A substitution defines that certain formulas should be replaced by other formulas.
Variable	A variable represents a placeholder for a Term.

Classes in edu.uky.ai.logic used by edu.uky.ai.planning.ss

Class	Description
Conjunction	A conjunction, or logical AND statement, is true just when all of its arguments are true.
Literal	A literal is an Atom or a negated atom.
Proposition	A proposition is any logical formula with a truth value.
State	A state fully describes the disposition of all things in a world.