McCarthy’s Telephone Number Problem

: all(R)(Transparent(R)

=> all(a,x,y)({R(a,x), =({x,y})}

&=> {R(a,y)})).

: Transparent(Dial).

: =({Telephone(Mike), Telephone(Mary)}).

: Know(Pat, Telephone(Mike)).

: Dial(Pat, Telephone(Mike)).

Previous slide

Next slide

Back to first slide

View graphic version