DefaultTheory

java.lang.Object
- net.sf.tweety.logics.rdl.syntax.DefaultTheory

All Implemented Interfaces:

BeliefBase
```
public class DefaultTheory
extends java.lang.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, java.util.Collection<DefaultRule> defaults)`	constructs a default theory from a knowledge base and a set of defaults

Method Summary

Modifier and Type	Method	Description
`java.util.Collection<DefaultRule>`	`getDefaults()`
`FolBeliefSet`	`getFacts()`
`Signature`	`getMinimalSignature()`	Returns the signature of the language of this knowledge base.
`DefaultTheory`	`ground()`	Removes Variables by expanding formulas
`java.lang.String`	`toString()`

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

- Constructor Detail
  - DefaultTheory
```
public DefaultTheory()
```
    constructs empty default theory
  - DefaultTheory
```
public DefaultTheory(FolBeliefSet facts,
                     java.util.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 Detail
  - getDefaults
```
public java.util.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 java.lang.String toString()
```
    Specified by:
    
    toString in interface BeliefBase
    
    Overrides:
    
    toString in class java.lang.Object
  - getFacts
```
public FolBeliefSet getFacts()
```
    Returns:
    
    FoL formulas in default theories