StrictRule

java.lang.Object

org.tweetyproject.logics.commons.syntax.RelationalFormula

org.tweetyproject.arg.delp.syntax.DelpRule

org.tweetyproject.arg.delp.syntax.StrictRule

All Implemented Interfaces:: Formula, Rule<FolFormula,FolFormula>, ClassicalFormula, ComplexLogicalFormula, Conjunctable, Disjunctable, Invertable, LogicStructure, ProbabilityAware, QuantifiedFormula, SimpleLogicalFormula

public class StrictRule extends DelpRule

This class models a strict rule in defeasible logic programming.

Author:: Matthias Thimm

Constructor Summary

Constructors

Constructor

Description

StrictRule(FolFormula head, Set<FolFormula> body)

Default constructor; initializes head and body of the strict rule
Method Summary

Modifier and Type

Method

Description

RelationalFormula

clone()

Creates a deep copy of this formula

RelationalFormula

substitute(Term<?> v, Term<?> t)

Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

Methods inherited from class org.tweetyproject.arg.delp.syntax.DelpRule
addPremise, addPremises, combineWithAnd, combineWithOr, complement, containsQuantifier, equals, getAtoms, getConclusion, getFunctors, getPredicates, getPremise, getQuantifierVariables, getSignature, getTerms, getTerms, getUnboundVariables, getUniformProbability, hashCode, isApplicable, isClosed, isClosed, isConstraint, isFact, isGround, isLiteral, isWellBound, isWellBound, setConclusion, toString

Methods inherited from class org.tweetyproject.logics.commons.syntax.RelationalFormula
allGroundInstances, allSubstitutions, containsTermsOfType, exchange, getFormula, getPredicateCls, getSatisfactionRatio, isWellFormed, substitute

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

Constructor Details
- StrictRule
  
  public StrictRule(FolFormula head, Set<FolFormula> body)
  
  Default constructor; initializes head and body of the strict rule
  
  Parameters:
  
  head - a literal
  
  body - a set of literals
Method Details
- substitute
  
  public RelationalFormula substitute(Term<?> v, Term<?> t) throws IllegalArgumentException
  
  Description copied from class: RelationalFormula
  
  Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula. NOTE: if "v" is a variable and bound to a quantifier then "v" is not substituted in that quantifiers inner formula.
  
  Specified by:
  
  substitute in interface ComplexLogicalFormula
  
  Specified by:
  
  substitute in class DelpRule
  
  Parameters:
  
  v - the term to be substituted.
  
  t - the term to substitute.
  
  Returns:
  
  a formula where every occurrence of "v" is replaced by "t".
  
  Throws:
  
  IllegalArgumentException - if "v" and "t" are of different sorts (NOTE: this exception is only thrown when "v" actually appears in this formula).
- clone
  
  public RelationalFormula clone()
  
  Description copied from interface: SimpleLogicalFormula
  
  Creates a deep copy of this formula
  
  Specified by:
  
  clone in interface ComplexLogicalFormula
  
  Specified by:
  
  clone in interface SimpleLogicalFormula
  
  Specified by:
  
  clone in class RelationalFormula
  
  Returns:
  
  the cloned formula