🤖 AI Summary
This work addresses the error-masking problem arising from the coupling of course extraction and pathway planning in heterogeneous university curricula by proposing a two-stage decoupled framework. In the first stage, CatalogBrowse crawls and structures course data without relying on user input. The second stage, DegreeMap, constructs a type-constrained hypergraph from the structured data and employs a CP-SAT solver to perform lexicographic multi-objective optimization, yielding feasible and personalized degree pathways. Key innovations include an extraction-first boundary mechanism, verifiable interfaces, a closure-certificate-based termination condition, and a crawling strategy driven by expected marginal gain. Evaluated across 100 institutions, the approach achieves a course recall of 96.2%, source recovery rate of 88.7%, and 47% fewer web accesses; all generated pathways satisfy hard constraints, 99.5% of requests are certifiable, and personalized utility improves by 0.066 with a utility gap of only 0.015.
📝 Abstract
Planning a degree from official university sources requires solving two problems in order. The institution's curriculum must first be reconstructed from catalogs, departmental pages, JSON endpoints, and PDFs that share no schema, and only then can a student-specific path be optimized under prerequisite logic and overlapping requirement constraints. Coupling the two lets each failure mode hide the other, because a planner that drives its own crawling never learns facts its current plan does not need. We present KnowPlan, which enforces an extraction-first boundary and measures the interface between the stages rather than assuming it. CatalogBrowse explores with no access to any user profile. It scores legal actions by lower-confidence expected marginal gain over a finite set of atomic catalog obligations per unit of source access, parses deterministically through platform adapters with a span-constrained clause-to-AST model fallback, and terminates on a closure certificate over index, schema, provenance, and reference completeness instead of a reward threshold. Its output contract is three provenance-linked JSON documents. DegreeMap consumes only those documents. It compiles them into a typed requirement hypergraph and optimizes lexicographically with CP-SAT over hard feasibility, completion horizon, load and risk, personalized utility, and option value, so that each stage optimizes inside the previous stage's proven optimum and stays certifiable within the solver budget. Across a 100-university broad track and a six-school dense track, CatalogBrowse reaches 96.2% inventory recall and 88.7% masked-source recovery at 47% less source access than an exhaustive crawler, DegreeMap holds 100.0% hard feasibility while improving personalized utility by +0.066 over the strongest baseline, and the full pipeline certifies 99.5% of requests with a utility gap to the privileged gold graph of 0.015.