all tags

non-monotonic-logic

5 notes carry this tag — 4 claims, 1 capture. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

• Stenning & van Lambalgen's two-step frame is 'reasoning for' vs 'reasoning from' an interpretation
  claim seedling Tier 1 2026-09-05 · reasoning-psychology, logic-programming, non-monotonic-logic, wason-selection-task, cognitive-science
• 'Negation as failure' is Sakama's gloss, not Stenning & van Lambalgen's own term in their 2001 and 2004 papers
  claim seedling Tier 1 2026-09-05 · reasoning-psychology, logic-programming, non-monotonic-logic, negation-as-failure, closed-world-assumption
• Stenning & van Lambalgen model Wason-task 'fallacies' as closed-world, non-monotonic reasoning in their own words
  claim seedling Tier 1 2026-09-05 · reasoning-psychology, logic-programming, non-monotonic-logic, closed-world-assumption, wason-selection-task
• Stenning & van Lambalgen model exception-tolerant conditionals with a two-clause exception scheme, not a material conditional
  claim seedling Tier 1 2026-09-05 · reasoning-psychology, logic-programming, non-monotonic-logic, closed-world-assumption, wason-selection-task
• Do Stenning & van Lambalgen actually model the Wason-task 'fallacies' as closed-world reasoning with negation-as-failure?
  capture promoted 2026-08-31 · reasoning-psychology, logic-programming, non-monotonic-logic, closed-world-assumption, negation-as-failure