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 Summary

Constructors

Constructor

Description

DefaultTheory()

constructs empty default theory

DefaultTheory(FolBeliefSet facts, Collection<DefaultRule> defaults)

constructs a default theory from a knowledge base and a set of defaults
Method Summary

Modifier and Type

Method

Description

Collection<DefaultRule>

getDefaults()

FolBeliefSet

getFacts()

Signature

getMinimalSignature()

Returns the signature of the language of this knowledge base.

DefaultTheory

ground()

Removes Variables by expanding formulas

String

toString()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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