Using decay prediction as a search heuristic improves computational efficiency of exact solving over full evaluation¶
Claim · All claims
Evidence · 1 study · designr2·q2
Currency · newest study 2024 · not yet checked against its sources · not reviewed by a person
Subclaims¶
Reading the evidence codes
q is the design tier, i the impact, n the sample, and the kind with its r
the rigour judged within that kind: what each code means.
This claim: no standardized effect is recorded in observations/ for it yet, so no benchmark reading is possible.
q2 i? A solver that prioritizes courses maintaining student mastery above expected levels under decay (Solver 2) requires fewer logical inferences and solves more instances than a full exact solver (Solver 1). → Lebis 2024
Evidence¶
Lebis 2024¶
Lebis, A., Humeau, J., Fleury, A., Lucas, F., & Vermeulen, M. (2024). Fully Individualized Curriculum with Decaying Knowledge, a New Hard Problem: Investigation and Recommendations. International Journal of Artificial Intelligence in Education. https://doi.org/10.1007/s40593-023-00376-9
q2 · i? · design · r2
Comparison of two Prolog-based solvers across simulated FIC/DK-P instances measured in logical inferences (LI). Solver 2 uses decay prediction as a course-selection heuristic; "we obtain better results in terms of computation time for all the observed cases with Solver 2."
"regarding the LI made, we obtain better results in terms of computation time for all the observed cases with Solver 2 which uses the decay as a selection heuristic than Solver 1."
Discussion¶
Related Claims¶
Page metadata
| Field | Value |
|---|---|
type |
claim |
id |
decay-heuristic-improves-solver-efficiency |
title |
Using decay prediction as a search heuristic improves computational efficiency of exact solving over full evaluation |
description |
Using decay prediction as a search heuristic improves computational efficiency of exact solving over full evaluation |
status |
review |
evidence_strength |
moderate |
newest_evidence |
2024 |
generated |
by process:wiki-ingest on 2026-10-27 |
trust |
unverified — no one has confirmed this page's content |
sources |
1 — lebis-2024 |
Frontmatter is the page's machine-readable record — see the Schema & Guide.