The logic of KM belief update is contained in the logic of AGM belief revision

A new academic paper demonstrates that AGM belief revision logic contains KM belief update logic, showing that AGM belief revision can be viewed as a special case of KM belief update. The research uses modal logic with three operators to prove this theoretical relationship between two foundational frameworks in artificial intelligence reasoning.