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