Foundation and History of AI (Activity 2)

12345678910111213141516171819202122232425
Across
  1. 4. Inference procedure pioneered by Robinson in 1965.
  2. 5. A central concept of AI that mimics human problem-solving.
  3. 7. Computer that defeated Kasparov in chess (1997).
  4. 10. Early AI program for geometry theorem proving.
  5. 14. Field studying rational decision-making.
  6. 16. Computer language popular in symbolic AI.
  7. 17. First AI conference location in 1956.
  8. 21. Symbol for knowledge representation in predicate logic.
  9. 23. Logic system developed by Aristotle.
  10. 24. One of the founders of modern control theory.
  11. 25. Father of cybernetics.
Down
  1. 1. Author of Principia Mathematica with Whitehead.
  2. 2. AI branch concerned with "acting humanly."
  3. 3. Branch of philosophy studying reasoning and valid arguments.
  4. 6. Machine built by Jacquard that used punched cards.
  5. 8. First commercial expert system developed by Digital Equipment Corp.
  6. 9. Philosopher who argued "I think, therefore I am."
  7. 11. Researcher who developed perceptrons.
  8. 12. Early AI program that solved word problems in algebra.
  9. 13. MIT professor, co-founder of AI field.
  10. 15. Inventor of the Analytical Engine.
  11. 18. Mathematician who formalized computation.
  12. 19. 1973 report criticizing AI progress in the UK.
  13. 20. Greek philosopher who codified reasoning and logic.
  14. 22. Mechanical calculating device built by Pascal.