review-multi-justification-disjunctive
IN premise
The review prompt instructs the LLM that a belief is valid if ANY of its justifications is sound, matching Doyle's TMS disjunctive support semantics.
Summary
When reviewing beliefs, the system tells the LLM to treat multiple justifications as alternatives rather than requirements — if even one justification holds up, the belief stays valid. This correctly implements the classical TMS approach where support paths are "or" relationships, so a belief only loses support when all of its justifications fail, not just one.
Details
| Source | entries/2026/05/08/reasons_lib-review.md |