Exemplo n.º 1
0
  public void traceFramePartialTruth(Keyword lastmove, OutputStream stream) {
    {
      PartialMatchFrame self = this;

      {
        double weight = self.propositionWeight(self.controlFrame.proposition);

        if (lastmove == Logic.KWD_DOWN) {
          {
            double cutoff = self.computeDynamicCutoff();

            if (cutoff != Stella.NULL_FLOAT) {
              stream.nativeStream.print("cutoff=" + cutoff);
            }
          }
        } else if ((lastmove == Logic.KWD_UP_TRUE) || (lastmove == Logic.KWD_UP_FAIL)) {
          {
            double score = self.positiveScore;

            stream.nativeStream.print("score=" + score);
            if ((weight != Stella.NULL_FLOAT) && (!(weight == 1.0))) {
              stream.nativeStream.print(" weight=" + weight);
            }
          }
        } else {
        }
      }
    }
  }
Exemplo n.º 2
0
  public void setDynamicCutoff() {
    {
      PartialMatchFrame self = this;

      {
        double cutoff = self.computeDynamicCutoff();

        if (cutoff != Stella.NULL_FLOAT) {
          if ((cutoff < -100) || (cutoff > 100)) {
            Stella.STANDARD_WARNING.nativeStream.println(
                "Warning: *** fishy dynamic cutoff=`" + cutoff + "' computed, resetting to 0.0");
            cutoff = 0.0;
          }
          self.dynamicCutoff = cutoff;
        }
      }
    }
  }