走向情境语义学的计算解释

toward a computational interpretation of situation semantics