Package edu.uky.ai.logic

package edu.uky.ai.logic
Contains objects for representing logical formulas.
  • Class
    Description
    Atom
    An atom is the smallest indivisible unit of a logical language that has a truth value.
    AtomicProposition
    An individual statement that has a truth value (the atoms of propositional logic).
    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.
    Conjunction
    A conjunction, or logical AND statement, is true just when all of its arguments are true.
    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.
    Implication
    An implication, or logical IF statement, is defined by the truth value of its two parts, the antecedent and the consequent.
    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.
    NegatedAtom
    The negation of an Atom.
    Negation
    Represents the negation (or opposite) of a proposition.
    Predication
    The atoms of predicate logic, which are composed of statements that express relationships between things in the world (i.e.
    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.