Mapping Rule: Modular Correspondence

R.4) [car-type T]; [year Y] Ž M = GetModel(T,Y);

A = GetMake(T);

emit: [model M] AND [make A]

patterns

actions

emission

[car-type “ford-taurus”]

[year 1994]

[model “taurus-94”]

[make “ford”]

R.4

matching

emission

Previous slide

Next slide

Back to first slide

View graphic version