An example

"Trailer trucks have 18 wheels"

Simple choice:

Predicates:

• trailer-truck (x) - x is a trailer truck

• no.-of-wheels (x, y) - x has y wheels

Mapping to logic:

(_x) (trailer-truck(x) __no.-of-wheels(x, 18)

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica