Package edu.uky.ai.logic

Interface State

All Superinterfaces:
Cloneable, Iterable<Atom>
All Known Subinterfaces:
MutableState
All Known Implementing Classes:
HashState
public interface State extends Cloneable, Iterable<Atom>
A state fully describes the disposition of all things in a world. For every Atom that is meaningful in that world, a state defines whether that atom is true or false.
Author:
Stephen G. Ware

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    contains(Atom atom)
    Check whether or not an atom is true in this state.
    default Proposition
    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 inherited from interface java.lang.Iterable

    forEach, iterator, spliterator

  • Method Details

    • contains

      boolean contains(Atom atom)
      Check whether or not an atom is true in this state.
      Parameters:
      atom - the atom whose truth value will be checked
      Returns:
      true if the atom is true in this state, false otherwise

    • toProposition

      default Proposition 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). This proposition uses the Closed World Assumption, meaning that atoms not explicitly stated to be true can be assumed false.
      Returns:
      a proposition representing this state