But without learning, or resolving, or trying to resolve the issues that killed the 5th Generation and GOFAI in the first place. "let's use Description Logic a

But without learning, or resolving, or trying to resolve the issues that killed the 5th Generation and GOFAI in the first place. "let's use Description Logic and F-logic because we both cannot do the science or maths to decide between them as a community (oh the irony) and hope that because they are tractable the fact that they are not expressive isn't going to matter" 5 years and £250m tax money later... "It turns out that it matters, and there isn't an alternative, and we don't know what to do" Meanwhile on another planet, AI researchers : "Answersets and FOL offer a potential solution, we just have to slog away on a shoestring for 15 years to get there."