Package org.tweetyproject.arg.dung.causal.syntax

Class KnowledgeBase

java.lang.Object
org.tweetyproject.commons.BeliefSet<PlFormula,PlSignature>
org.tweetyproject.logics.pl.syntax.PlBeliefSet
org.tweetyproject.arg.dung.causal.syntax.KnowledgeBase
All Implemented Interfaces:
Iterable<PlFormula>, Collection<PlFormula>, BeliefBase
Direct Known Subclasses:
CausalKnowledgeBase
public class KnowledgeBase extends PlBeliefSet
This class describes a knowledge base. Reference: "Argumentation-based Causal and Counterfactual Reasoning" by Lars Bengel, Lydia Blümel, Tjitze Rienstra and Matthias Thimm, published at 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22), September 12, 2022
Version:
TweetyProject 1.23
Author:
Julian Sander

  • Constructor Details

    • KnowledgeBase

      public KnowledgeBase(Set<PlFormula> assumptions)
      *description missing*
      Parameters:
      assumptions - *description missing*

  • Method Details

    • addAssumption

      public boolean addAssumption(PlFormula assumption)
      *description missing*
      Parameters:
      assumption - *description missing*
      Returns:
      *description missing*

    • entails

      public boolean entails(Set<PlFormula> premises, PlFormula conclusion)
      Computes if a specified conclusion could be drawn from adding the specified premises to this instance.
      Parameters:
      premises - Set of formulas, which will be added to this knowledge base.
      conclusion - Formula, which is checked to be a conclusion of the combination of this instance and the specified premises or not.
      Returns:
      TRUE iff the specified formula is a conclusion of this knowledge base and the specified set of premises.

    • getAssumptions

      public HashSet<PlFormula> getAssumptions()
      Returns:
      Set of PlFormula, which are the assumptions of this instance.

    • getBeliefs

      public HashSet<PlFormula> getBeliefs()
      *description missing*
      Returns:
      *description missing*

    • removeAssumption

      public boolean removeAssumption(PlFormula assumption)
      description missing*
      Parameters:
      assumption - *description missing*
      Returns:
      *description missing*

    • clone

      public KnowledgeBase clone()