AI Module 1 - 2
AI Module 1 - 2
• (un)decidability: Incompleteness theory showed that in any formal theory, there are true
statements that are undecidable i.e., they have no proof within the theory.
• The first operational computer was the electromechanical Heath Robinson, built in 1940
by Alan Turing's team for a single purpose: deciphering German messages.
• The first operational programmable computer was the Z-3, the invention of KonradZuse
in Germany in 1941.
• The first electronic computer, the ABC, was assembled by John Atanasoff and his student
Clifford Berry between 1940 and 1942 at Iowa State University.
• The first programmable machine was a loom, devised in 1805 by Joseph Marie Jacquard
(1752-1834) that used punched cards to store instructions for the pattern to be woven.
Control theory and cybernetics:
• How can artifacts operate under their own control?
• Ktesibios of Alexandria (c. 250 B.C.) built the first self-controlling machine: a
water clock with a regulator that maintained a constant flow rate. This invention
changed the definition of what an artifact could do.
• Modern control theory, especially the branch known as stochastic optimal control,
has as its goal the design of systems that maximize an objective function over
time. This roughly OBJECTIVE FUNCTION matches our view of AI: designing
systems that behave optimally.
• Calculus and matrix algebra- the tools of control theory
• The tools of logical inference and computation allowed AI researchers to consider
problems such as language, vision, and planning that fell completely outside the
control theorist’s purview.
Linguistics:
• How does language relate to thought?
• Modern linguistics and AI were born at about the same time, and grew up
together, intersecting in a hybrid field called computational linguistics or
natural language processing.
• The problem of understanding language soon turned out to be considerably
more complex than it seemed in 1957. Understanding language requires an
understanding of the subject matter and context, not just an understanding of
the structure of sentences.
• Knowledge representation (the study of how to put knowledge into a form
that a computer can reason with)- tied to language and informed by research
in linguistics.