Uses of Class
org.tweetyproject.logics.rdl.syntax.DefaultRule
-
Uses of DefaultRule in org.tweetyproject.logics.rdl.semantics
Modifier and TypeMethodDescriptionDefaultSequence.app(DefaultRule d)
Constructs a new DefaultSequenceboolean
DefaultSequence.isApplicable(DefaultRule d)
applicable ^= pre in In and (not jus_i) not in In forall iModifierConstructorDescriptionconstructs a sequence by appending d to ds -
Uses of DefaultRule in org.tweetyproject.logics.rdl.syntax
ModifierConstructorDescriptionDefaultTheory(FolBeliefSet facts, Collection<DefaultRule> defaults)
constructs a default theory from a knowledge base and a set of defaults