A way to reason and take back old answers after new facts arrive.
It is like a park picnic plan. Blue sky means sandwiches, but thunder means couch pizza.
It helps with answers and plans when facts change. It also helps AI decisions.
Belief State
New information pushes the Belief State to update.
KR
Nonmonotonic Reasoning needs KR to show rules and exceptions.
Agent
An Agent uses this reasoning to change its mind when the world changes.