#logic
Every summary, chronological. Filter by category, tag, or source from the rail.
Tag · #logic
Belief Change: From Doyle’s TMS to AGM Theory
This survey bridges the gap between classic Truth Maintenance Systems (TMS) and the formal AGM framework for belief revision, providing a roadmap for implementing dynamic belief updates in AI systems.
arXiv cs.AI
DeFAb: A New Benchmark for Defeasible Abduction in LLMs
DeFAb is a new, verifiable benchmark designed to test how well foundation models handle defeasible abduction—the ability to form logical explanations that can be retracted or revised in light of new, contradictory information.
arXiv cs.AI
Showing 2 of 2