Isn't this what John McCarthy called "non-monotonic reasoning"? I wonder if they still call it that in the literature. It always seemed to me that semantic netw

Isn't this what John McCarthy called "non-monotonic reasoning"? I wonder if they still call it that in the literature. It always seemed to me that semantic networks would solve this problem. "match", "wood" are not that far in the network from "fire". Anyway, I'm sure there's a reason this kind of GOFAI never worked.