Class DefaultTheory
java.lang.Object
org.tweetyproject.logics.rdl.syntax.DefaultTheory
- All Implemented Interfaces:
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
ConstructorDescriptionconstructs empty default theoryDefaultTheory
(FolBeliefSet facts, Collection<DefaultRule> defaults) constructs a default theory from a knowledge base and a set of defaults -
Method Summary
-
Constructor Details
-
DefaultTheory
public DefaultTheory()constructs empty default theory -
DefaultTheory
constructs a default theory from a knowledge base and a set of defaults- Parameters:
facts
- the knowledge basedefaults
- the defaults
-
-
Method Details
-
getDefaults
- Returns:
- all the default rules
-
ground
Removes Variables by expanding formulas- Returns:
- grounded version of the default theory
-
getMinimalSignature
Description copied from interface:BeliefBase
Returns the signature of the language of this knowledge base.- Specified by:
getMinimalSignature
in interfaceBeliefBase
- Returns:
- the signature of the language of this knowledge base.
-
toString
- Specified by:
toString
in interfaceBeliefBase
- Overrides:
toString
in classObject
-
getFacts
- Returns:
- FoL formulas in default theories
-