Matt’s Reviews > Phaeaco: A Cognitive Architecture Inspired by Bongard’s Problems > Status Update

[It is predicted] that the subset relation among categories should be transitive: if horses are a kind of mammal, and mammals are a kind of animal, then horses are a kind of animal. [However] human cognition does not always work in a mathematically describable way. One experiment, for instance, found that subjects regarded chairs as furniture, and car seats as chairs, but usually denied that car seats are furniture.