Type theory in human-like learning and inference

Felix A. Sosa, Tomer Ullman

Humans can generate reasonable answers to novel queries (Schulz, 2012): if I asked you what kind of food you want to eat for lunch, you would respond with a food, not a time. The t…