Class ExplanationPrinciple

java.lang.Object
org.tweetyproject.arg.explanations.principles.ExplanationPrinciple
All Implemented Interfaces:
Postulate<Argument>
public abstract class ExplanationPrinciple extends Object implements Postulate<Argument>
Abstract class for modeling principles/postulates for explanations in abstract argumentation
Author:
Lars Bengel

  • Constructor Details

    • ExplanationPrinciple

      public ExplanationPrinciple()

  • Method Details

    • isApplicable

      public boolean isApplicable(Collection<Argument> kb)
      Description copied from interface: Postulate
      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).
      Specified by:
      isApplicable in interface Postulate<Argument>
      Parameters:
      kb - some knowledge base
      Returns:
      true if the knowledge base is a non trivial instance of this postulate.

    • isSatisfied

      public boolean isSatisfied(Collection<Argument> kb, PostulateEvaluatable<Argument> ev)
      Description copied from interface: Postulate
      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).
      Specified by:
      isSatisfied in interface Postulate<Argument>
      Parameters:
      kb - some knowledge base
      ev - some approach
      Returns:
      true if the postulate is satisfied on the instance

    • isSatisfied

      public abstract boolean isSatisfied(Collection<Argument> kb, AbstractAcceptanceExplanationReasoner ev)
      Determines whether this principle is satisfied by the given reasoner for the given instance
      Parameters:
      kb - some knowledge base
      ev - some reasoner
      Returns:
      TRUE, iff this principle is satisfied by the given reasoner for the given instance