Package edu.tufts.hrilab.slug.pragmatics

Class PragRuleProver

java.lang.Object
edu.tufts.hrilab.slug.pragmatics.PragRuleProver
public class PragRuleProver extends Object

  • Field Details

    • leftSem

      protected Set<Symbol> leftSem

    • rightSem

      protected Set<Term> rightSem

    • offRecordSem

      protected Set<Term> offRecordSem

    • vars

      protected Set<Variable> vars

    • score

      protected float score

    • directness

      protected float directness

  • Constructor Details

    • PragRuleProver

      public PragRuleProver()

    • PragRuleProver

      public PragRuleProver(String line)

  • Method Details

    • getListeners

      public List<Symbol> getListeners()

    • getSpeaker

      public Symbol getSpeaker()

    • getLeftType

      public UtteranceType getLeftType()

    • getRightType

      public UtteranceType getRightType()

    • getLeftHandSem

      public Set<Symbol> getLeftHandSem()

    • setLeftHandSem

      public void setLeftHandSem(Set<Symbol> t)

    • getSemantics

      public Set<Term> getSemantics()

    • setSemantics

      public void setSemantics(Set<Term> semantics)

    • getOffRecordSem

      public Set<Term> getOffRecordSem()

    • setOffRecordSem

      public void setOffRecordSem(Set<Term> semantics)

    • getScore

      public float getScore()

    • setScore

      public void setScore(float f)

    • getDirectness

      public float getDirectness()

    • setDirectness

      public void setDirectness(float f)

    • parseRule

      public void parseRule(String line)

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • rhsApplicableMap

      public ArrayList<Map<Variable,Symbol>> rhsApplicableMap(Term t)

    • getBoundVersion

      public PragRuleProver getBoundVersion(Map<Variable,Symbol> binding)