19.5 행동(Action)의 형식적 정의: 전제 조건과 효과