Compression Enables Generalization: Wake-Sleep Cycles for Logic Programming with LLM Integration
DraftKnowledge bases in logic programming grow through fact accumulation but do not learn. We present DreamLog, a system that compresses its knowledge base through wake-sleep cycles, discovering rules that generalize to unseen entities. On a synthetic crafting domain with invented terms unknown to the …