The (bravely S) / (cautiously S) prover, opted into with (add-reasoner kb :brave-cautious): S is in some, or every, optimal labeling of the dilemmas the asking
context reads, from label/classify-datum. The read commits nothing. Ground S only;
the answer carries no support, so as a rule antecedent it derives nothing. See
docs/labeling.md, "Reading brave/cautious without committing".
The `(bravely S)` / `(cautiously S)` prover, opted into with `(add-reasoner kb :brave-cautious)`: `S` is in some, or every, optimal labeling of the dilemmas the asking context reads, from `label/classify-datum`. The read commits nothing. Ground `S` only; the answer carries no support, so as a rule antecedent it derives nothing. See docs/labeling.md, "Reading brave/cautious without committing".
(brave-cautious-prover)The (bravely S) / (cautiously S) prover, for add-prover — or, the ordinary way in,
(add-reasoner kb :brave-cautious).
The `(bravely S)` / `(cautiously S)` prover, for `add-prover` — or, the ordinary way in, `(add-reasoner kb :brave-cautious)`.
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |