Skip to content
sahil.science
Questions
Papers
Topics
Syntheses
Almanac
About
C⁶
2026
← Questions
Source-derived question
How can Answer Set Programming be used to formally define which details in a logical trace are 'irrelevant' and thus eligible for abstraction in an explanation?
Artificial Intelligence
Sources that address it
The Dual Role of Abstracting over the Irrelevant in Symbolic Explanations: Cognitive Effort vs. Understanding
preprint
Related questions
At which stages of the LLM life cycle, from development to deployment, can algorithmic bias enter educational applications?
How accurate was MYCIN at diagnosing blood infections compared to human clinicians?
How can intrinsic and extraneous cognitive load be estimated from transcripts of real-world AI-assisted knowledge work?
How can large language models be used to classify whether a human tutor's praise response is effective or effort-based, rather than person-based?
How can large language models be used to evaluate the quality of a tutor's response to a student's math error?
How did Edward Feigenbaum's expert systems like DENDRAL and MYCIN differ from earlier AI research aimed at universal reasoning engines?
How did John McCarthy come to coin the term 'artificial intelligence' at the 1955 Dartmouth workshop proposal?
How did Newell and Simon's General Problem Solver extend the ideas behind Logic Theorist?