all tags

closed-world-assumption

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

• '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
• Human conditional-reasoning 'fallacies' can be realized as closed-world inference in Answer Set Programming
  claim seedling Tier 1 2026-07-12 · reasoning-psychology, logic-programming, non-monotonic-reasoning, closed-world-assumption, wason-selection-task
• A logic-programming account of human conditional reasoning rivals the probabilistic (Oaksford–Chater) account of the same data
  claim budding Tier 1 2026-07-12 · reasoning-psychology, logic-programming, bayesian-cognition, wason-selection-task, closed-world-assumption
• Do Stenning & van Lambalgen actually model the Wason-task 'fallacies' as closed-world reasoning with negation-as-failure?
  question open 2026-07-12 · reasoning-psychology, logic-programming, closed-world-assumption, wason-selection-task, verification
• Human conditional-reasoning "fallacies" have a logic-programming account, rival to the probabilistic one
  capture promoted Tier 1 2026-07-11 · reasoning-psychology, logic-programming, non-monotonic-reasoning, wason-selection-task, closed-world-assumption