Uses of Package
edu.uky.ai.logic
Packages that use edu.uky.ai.logic
Package
Description
Contains objects for representing logical formulas.
Contains objects for representing planning problems, planning algorithms, and plans.
Contains objects for representing plan graphs and planners that search for a
solution by finding a valid subgraph of a plan graph.
Contains objects for representing plan space search and plan space planners.
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.logicClassDescriptionAn atom is the smallest indivisible unit of a logical language that has a truth value.A set of assignments of values to
Term
terms.The parent class of all Boolean expressions, whose truth value is defined by combining other expressions.A constant represents a specific unique thing.A disjunction, or logical OR statement, is true just when one or more of its arguments are true.The parent class of all logical formulas.An implementation ofMutableState
that uses aHashMap
to keep track of which atoms are true.A substitution which uses aHashMap
to keep track of substitutions.An implementation ofBindings
based on a linked list.A literal is anAtom
or anegated atom
.A state which can be modified.Represents the negation (or opposite) of a proposition.A proposition is any logical formula with a truth value.A state fully describes the disposition of all things in a world.A substitution defines that certain formulas should be replaced by other formulas.A term is a reference to an individual thing in the world, and does not have a truth value.A variable represents a placeholder for aTerm
. -
Classes in edu.uky.ai.logic used by edu.uky.ai.planningClassDescriptionA constant represents a specific unique thing.A literal is an
Atom
or anegated atom
.A proposition is any logical formula with a truth value.A state fully describes the disposition of all things in a world.A substitution defines that certain formulas should be replaced by other formulas.A variable represents a placeholder for aTerm
. -
Classes in edu.uky.ai.logic used by edu.uky.ai.planning.pgClassDescriptionA literal is an
Atom
or anegated atom
.A state fully describes the disposition of all things in a world. -
Classes in edu.uky.ai.logic used by edu.uky.ai.planning.psClassDescriptionA set of assignments of values to
Term
terms.A literal is anAtom
or anegated atom
.A substitution defines that certain formulas should be replaced by other formulas.A variable represents a placeholder for aTerm
. -
Classes in edu.uky.ai.logic used by edu.uky.ai.planning.ssClassDescriptionA conjunction, or logical AND statement, is true just when all of its arguments are true.A literal is an
Atom
or anegated atom
.A proposition is any logical formula with a truth value.A state fully describes the disposition of all things in a world.