Interface Postulate<S extends Formula>

    • Method Summary

      Modifier and Type Method Description
      java.lang.String getName()
      The textual name of the postulate
      boolean isApplicable​(java.util.Collection<S> kb)
      Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).
      boolean isSatisfied​(java.util.Collection<S> kb, PostulateEvaluatable<S> ev)
      Checks whether this postulate is satisfied by the given approach ev wrt.
    • Method Detail

      • isApplicable

        boolean isApplicable​(java.util.Collection<S> kb)
        Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).
        Parameters:
        kb - some knowledge base
        Returns:
        true if the knowledge base is a non trivial instance of this postulate.
      • isSatisfied

        boolean isSatisfied​(java.util.Collection<S> kb,
                            PostulateEvaluatable<S> ev)
        Checks whether this postulate is satisfied by the given approach ev wrt. the given instance kb (note that evaluating an approach on a non-applicable instance always succeeds).
        Parameters:
        kb - some knowledge base
        ev - some approach
        Returns:
        true if the postulate is satisfied on the instance
      • getName

        java.lang.String getName()
        The textual name of the postulate
        Returns:
        a string