Handbook on Mobile and Ubiquitous Computing

304

■

Handbook on Mobile and Ubiquitous Computing: Status and Perspective

(λx)wrist(x) ↔ (λx)(∃y

1

,y

2

,y

3

,y

4

,k)

(L(y

1

,y

1

,y

2

,x,A12,Gs,k)L(y

1

,y

1

,x,y

3

, A12, Gs, k))

∧ body − part(y

1

) ∧ forearm(y

2

) ∧ hand(y

3

) (11.67)

The structural description in the computable form is indispensable to mutual translation between

human motion data and linguistic expressions. For example, it enables the system to recognize the

anomaly of such a sentence as S11 in such a process described in Section 11.4.2:

(S11) The left arm moved away from the left shoulder and the left hand.

Various kinds of human motions have been conceptualized as specific verbs in natural languages,

such ...