It seems that common sense is very difficult to program. Perhaps because we don't really know how to properly define it or how an encoding of it would look like

It seems that common sense is very difficult to program. Perhaps because we don't really know how to properly define it or how an encoding of it would look like. All of these models keep trying to convince me they can solve the Post Correspondence Problem.