How Not to do Representation

One pitfall is so common that it has a name: Pretend It's English. If English words or phrases are used in a representation, it looks good when printed -- but only to a human.

(lintel must-be-supported-by post1)

point-mass(man)

Is must-be-supported-by related to support? Only if it is specially programmed; no relation between the two is built-in. Is man a man? No, it is just an arbitrary name for a predicate calculus constant.

Contents    Page-10    Prev    Next    Page+10    Index