From Events to Reasoning: Hierarchical Rule Composition over Explicit States

Cheng Lyu, Xueqi Wang

What a reasoning system emits is a conclusion; what it owes is a justification. Producing one requires every operation to be admissible on the facts actually available, the depende…