<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_vfmu3jof9c5ltt4rldjgh396vs, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

cmodule TheoryMaker > DynConvo {
  /*
  1. measurable features (fields of object)
  2. higher level features (words the user throws in)
  3. make theories (random statements)
  4. check theories
  
  1. show a random line
  2. user types keyword
  3. assign keyword to line

  (not yet used)
  line $a has keyword $x & line $a's text is $bla
    & line $y has text $bla => line $b might have keyword $x

  Basic theory making
  -------------------
  
  For any label X:
    test theory (for every M: M has label X)
    test theory (for every M: M doesn't have label X)
  
  For any feature F:
    for every seen value V of F:
      for every label X:
        test theory (for every M: msg M's feature F has value V => msg has label x))
        test theory (for every M: msg M's feature F has value V => msg doesn't have label x))

  */
  
  srecord Theory(BasicLogicRule statement) {
    PosNeg<Msg> examples;
  }

  // propositions about a message. check returns null if unknown
  asclass MsgProp { abstract Bool check(Msg msg); }

  srecord MPTrue() > MsgProp { Bool check(Msg msg) { true; } }
  
  record HasLabel(S label) > MsgProp {
    Bool check(Msg msg) { ret msg2label.get(pair(msg, label)); }
  }
  
  record DoesntHaveLabel(S label) > MsgProp {
    Bool check(Msg msg) { ret not(msg2label.get(pair(msg, label))); }
  }

  record FeatureValueIs(S feature, O value) > MsgProp {
    Bool check(Msg msg) { ret eq(msg2features.get(msg).get(feature), value); }
  }
  
  L<Msg> msgs; // full dialog
  L<Msg> shownMsgs;
  transient Map<Msg, Map<S, O>> msg2features = AutoMap<>(lambda1 calcMsgFeatures);
  new LinkedHashSet<Theory> theories;
  S featuresText, trainedLabelsText, allLabelsText, theoriesText;
  transient JTable theoryTable;

  new Set<S> allLabels;
  transient new L<IVF1<S>> onNewLabel;
  new Map<Pair<Msg, S>, Bool> msg2label;
  transient new Map<S, IF1<Msg, O>> featureExtractors;
  
  start-thread {
    onNewLabel.add(lbl -> change());

    makeTheoriesAboutLabels();
    makeTheoriesAboutFeaturesAndLabels();
    
    for (S field : fields(Msg))
      featureExtractors.put(field, o -> getOpt(o, field));

    callFAllOnAll(onNewLabel, allLabels);
    
    msg2labelUpdated();
    dm_watchCollectionFieldAndNow allLabels(r allLabelsUpdated);
    if (empty(msgs))
      setField(msgs := mainCruddieLog());
    showRandomMsg();
  }

  void makeTheoriesAboutLabels {
    // For any label X:
    onNewLabel.add(lbl -> {
      // test theory (for every M: M has label X)
      addTheory(new Theory(BasicLogicRule(new MPTrue, new HasLabel(lbl))));
      // test theory (for every M: M doesn't have label X)
      addTheory(new Theory(BasicLogicRule(new MPTrue, new DoesntHaveLabel(lbl))));
    });
  }

  void makeTheoriesAboutFeaturesAndLabels {
    // for every label X:
    onNewLabel.add(lbl -> {
      // For any feature F:
      for (S feature : keys(featureExtractors))
        // for every seen value V of F:
        for (O value : possibleValuesOfFeature(feature))
          for (O rhs : ll(new HasLabel(lbl), new DoesntHaveLabel(lbl)))
            // test theory (for every M: msg M's feature F has value V => msg has/doesn't have label x))
            addTheory(new Theory(BasicLogicRule(
              new FeatureValueIs(feature, value), rhs)));
    });
  }

  L possibleValuesOfFeature(S feature) {
    if (isBoolField(Msg, feature))
      ret ll(false, true);
    ret ll();
  }

  Map<S, O> calcMsgFeatures(Msg msg) {
    ret mapValues_pcall(featureExtractors, ex -> ex.get(msg));
  }

  void showMsgs(L<Msg> l) {
    setField(shownMsgs := l);
    setMsgs(l);
    if (l(shownMsgs) == 1)
      setField(featuresText := formatColonProperties_quoteStringValues(
        msg2features.get(first(shownMsgs))));
    else setField(featuresText := "");
  }

  void showRandomMsg {
    showMsgs(randomElementAsList(msgs));
  }

  @Override
  void sendInput2(S s) {
    // treat input as a label
    if (l(shownMsgs) == 1) {
      Msg shown = first(shownMsgs);
      new Matches m;
      if "not ..." {
        S label = m.rest();
        mapPutVerbose(+msg2label, pair(shown, label), false);
        msg2labelUpdated();
      } else {
        S label = s;
        mapPutVerbose(+msg2label, pair(shown, label), true);
        msg2labelUpdated();
      }
      change();
    }
  }

  Map<S, Bool> getMsgLabels(Msg msg) {
    ret pairKeysToMapOfMap(msg2label).get(msg);
  }

  void msg2labelUpdated() {
    callFAllOnAll(onNewLabel, addAll_returnNew(allLabels, pairsBOfKeys(msg2label)));
    setField(trainedLabelsText :=
      formatProperties(" => ", mapValues(
        map -> joinWithComma(concatLists(
          keysWithValue(true, map),
          prependAll("not ", keysWithValue(false, map)))),
        pairKeysToMapOfMap(msg2label))));
  }

  void allLabelsUpdated() {
    setField(allLabelsText := lines(allLabels));
  }

  JComponent mainPart() {
    ret jhsplit(jvsplit(
        jCenteredSection("Focused Message", super.mainPart()),
        jCenteredSection("Message Analysis", dm_textArea featuresText())),
      jtabs(
        "Theories", with(r updateTheoryTable, theoryTable = sexyTable()),
          //dm_textArea theoriesText(),
        "Labels", dm_textArea allLabelsText(),
        "Assigned Labels", dm_textArea trainedLabelsText()));
  }

  void updateTheoriesText {
    setField(theoriesText := lines(theories));
  }

  void updateTheoryTable {
    L<Theory> sorted = sortedByCalculatedFieldDesc(theories, t ->
      t.examples == null ? null : t.examples.score());
    dataToTable_uneditable(theoryTable, map(sorted, t -> litorderedmap(
      "Score" := renderTheoryScore(t),
      "Theory" := str(t))));
  }

  S renderTheoryScore(Theory t) {
    //ret renderPosNegCounts(t.examples);
    ret renderPosNegScoreAndCount(t.examples);
  }

  void theoriesChanged {
    updateTheoriesText();
    updateTheoryTable();
    change();
  }

  visual
    withCenteredButtons(super,
      "Show random msg", rThreadEnter showRandomMsg,
      jPopDownButton_noText(
        "Check theories", rThreadEnter checkAllTheories,
        "Clear theories", rThreadEnter clearTheories));

  void addTheory(Theory theory) {
    if (theories.add(theory)) {
      print("New theory: " + theory);
      theoriesChanged();
    }
  }

  void clearTheories { theories.clear(); theoriesChanged(); }

  Bool checkMsgProp(MsgProp prop, Msg msg) {
    ret prop.check(msg);
  }

  Bool testTheoryOnMsg(Theory theory, Msg msg) {
    Bool lhs = checkMsgProp((MsgProp) theory.statement.lhs, msg);
    Bool rhs = checkMsgProp((MsgProp) theory.statement.rhs, msg);
    if (lhs == null || rhs == null) null;
    ret isTrue(rhs) || isFalse(lhs);
  }

  void checkAllTheories {
    for (Theory theory : theories)
      checkTheory(theory);
    theoriesChanged();
  }

  // doesn't trigger updates
  void checkTheory(Theory theory) {
    new PosNeg<Msg> pn;
    for (Msg msg : msgs)
      pn.add(msg, testTheoryOnMsg(theory, msg));
    theory.examples = pn;
  }
}