Class DefaultTheory

java.lang.Object
org.tweetyproject.logics.rdl.syntax.DefaultTheory
All Implemented Interfaces:
BeliefBase

public class DefaultTheory extends Object implements BeliefBase
Models a default theory in Reiter's default logic, see [R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980].
Author:
Matthias Thimm, Nils Geilen
  • Constructor Details

    • DefaultTheory

      public DefaultTheory()
      constructs empty default theory
    • DefaultTheory

      public DefaultTheory(FolBeliefSet facts, Collection<DefaultRule> defaults)
      constructs a default theory from a knowledge base and a set of defaults
      Parameters:
      facts - the knowledge base
      defaults - the defaults
  • Method Details

    • getDefaults

      public Collection<DefaultRule> getDefaults()
      Returns:
      all the default rules
    • ground

      public DefaultTheory ground()
      Removes Variables by expanding formulas
      Returns:
      grounded version of the default theory
    • getMinimalSignature

      public Signature getMinimalSignature()
      Description copied from interface: BeliefBase
      Returns the signature of the language of this knowledge base.
      Specified by:
      getMinimalSignature in interface BeliefBase
      Returns:
      the signature of the language of this knowledge base.
    • toString

      public String toString()
      Specified by:
      toString in interface BeliefBase
      Overrides:
      toString in class Object
    • getFacts

      public FolBeliefSet getFacts()
      Returns:
      FoL formulas in default theories