KEMBAR78
01 Introduction Annot | PDF | Artificial Intelligence | Intelligence (AI) & Semantics
0% found this document useful (0 votes)
32 views33 pages

01 Introduction Annot

The document outlines the course 'Introduction to Artificial Intelligence' taught by Gerhard Lakemeyer at RWTH Aachen University for the Winter Term 2024/25, covering various AI concepts and techniques. Key topics include agent architectures, problem solving, knowledge representation, and learning, with a focus on rational action in AI systems. The course utilizes the textbook 'Artificial Intelligence: A Modern Approach' and includes a written exam and optional homework assignments.

Uploaded by

leimu.864
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
32 views33 pages

01 Introduction Annot

The document outlines the course 'Introduction to Artificial Intelligence' taught by Gerhard Lakemeyer at RWTH Aachen University for the Winter Term 2024/25, covering various AI concepts and techniques. Key topics include agent architectures, problem solving, knowledge representation, and learning, with a focus on rational action in AI systems. The course utilizes the textbook 'Artificial Intelligence: A Modern Approach' and includes a written exam and optional homework assignments.

Uploaded by

leimu.864
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 33

Introduction to Artificial Intelligence

© G. Lakemeyer

G. Lakemeyer

Winter Term 2024/25


Introduction to Artificial Intelligence

Instructor: Gerhard Lakemeyer


Office Hour: Th 1-2PM, or by appointment.
Email: lakemeyer@kbsg.rwth-aachen.de
© G. Lakemeyer

Teaching Assistants:
Matthew Lynn hlynn@kbsg.rwth-aachen.dei
Qihui Feng hfeng@kbsg.rwth-aachen.dei

AI/WS-2024/25 2 / 29
Textbook

Stuart Russell und Peter Norvig


© G. Lakemeyer

Artificial Intelligence
— A Modern Approach —
Pearson, 4th Ed., 2020
(3rd Edition ok)

AI/WS-2024/25 3 / 29
Bachelor/Master Informatik and others

Course can be used for both Bachelor and Master Informatik in


the area Data and Information Management
Same for Master Software Systems Engineering.
For other Master programs, please, check whether or how the
course can be used.
© G. Lakemeyer

Requirements:
Written exam (120 Minutes, dates: Feb. 06 and March 18, 2024).

Homework assignments are optional but strongly recommended.


Prepare solutions in groups of 2–4 students.
Solutions can be written in English or German.

AI/WS-2024/25 4 / 29
What is AI (1)

. . . or: when is an artifact “artificially” intelligent?

1. Systems that act like humans:


Turing Test (1950)
Interrogator asks questions by typing them in.
© G. Lakemeyer

Answers are displayed on a screen.


Deduce from the answers whether answers come from a machine or a
person.

AI/WS-2024/25 5 / 29
What is AI (1)

. . . or: when is an artifact “artificially” intelligent?

1. Systems that act like humans:


Turing Test (1950)
Interrogator asks questions by typing them in.
© G. Lakemeyer

Answers are displayed on a screen.


Deduce from the answers whether answers come from a machine or a
person.
very difficult; needs at least:
Natural language processing
Knowledge Representation
Automated Reasoning
Machine Learning
Loebner Prisa
CUntil 2019)
AI/WS-2024/25 5 / 29
What is AI? (2)

2. Systems that think like humans


Attempts to understand human thought processes.
Not just the solution to a problem counts, but the way it is achieved.
© G. Lakemeyer

Research topic of Cognitive Science and Psychology

AI/WS-2024/25 6 / 29
What is AI? (2)

2. Systems that think like humans


Attempts to understand human thought processes.
Not just the solution to a problem counts, but the way it is achieved.
© G. Lakemeyer

Research topic of Cognitive Science and Psychology


Not dealt with in this course.

AI/WS-2024/25 6 / 29
What is AI? (3)

3. Systems that think rationally


Example: Aristotelian Syllogisms:
Socrates is a man.
© G. Lakemeyer

All men are mortal.


Therefore: Socrates is mortal.

Research topic of Philosophy, Logic and Mathematics.


Largely the foundation of Knowledge Representation

AI/WS-2024/25 7 / 29
What is AI? (4)

4. Systems that act rationally. more general than 3.


rational thought is often, but not always necessary
Example: Reflexes for self-protection.

Central idea:
© G. Lakemeyer

Agents which perceive their environment and act in a reasonable way.


The goal is to select actions with the highest utility.
Optimality is not always possible because of limited resources.

AI/WS-2024/25 8 / 29
What is AI? (4)

4. Systems that act rationally. more general than 3.


rational thought is often, but not always necessary
Example: Reflexes for self-protection.

Central idea:
© G. Lakemeyer

Agents which perceive their environment and act in a reasonable way.


The goal is to select actions with the highest utility.
Optimality is not always possible because of limited resources.

AI as “Acting rationally” is the foundation of this course!


Questions we will try to answer:
What are the components which allow an artifact to act rationally?

AI/WS-2024/25 8 / 29
AI at RWTH Aachen University

Prof. Wil van der Aalst: Process Mining


Prof. Stefan Decker: Web Science, Semantic Web
Prof. Holger Hoos: Machine Learning, Automated Reasoning, Optimization
Prof. Hector Geffner: Automated Planning, Machine Learning
© G. Lakemeyer

Prof. Gerhard Lakemeyer: Knowledge Representation, Cognitive Robotics


Prof. Bastian Leibe: Computer Vision
Prof. Christopher Morris: Machine Learning on Graphs
Prof. Sebastian Trimpe (Mechanical Engineering): Machine Learning

See also RWTH AI Center: ai.rwth-aachen.de

AI/WS-2024/25 9 / 29
Sources for Research Literature

Conferences
International Joint Conference on Artificial Intelligence (IJCAI)
Conference of the Association for the Advancement of AI (AAAI)
European Conference on AI (ECAI)
German AI Conference (KI)
© G. Lakemeyer

Journals (among many others)


Artificial Intelligence, Elsevier
Journal of Artificial Intelligence Research (Open Access!)

Other resources
Internet (Most authors post pre-prints on the web)
Google Scholar is a good starting point.

AI/WS-2024/25 10 / 29
A Very Brief History of AI

Important ideas predating AI:


Aristotle (384–322 B.C.)
Logical syllogisms.
© G. Lakemeyer

Leibniz (1646–1716),
Idea of the “Calculus Philosophicus,” tried to formalize all of human
thought.
Boole and Frege, founders of modern logic.

AI/WS-2024/25 11 / 29
History of AI (2)

The early days of AI: 1940–1956


1943 Neural Nets (NN), McCulloch + Pitts
1949 Learning in NN, Hebb
since 1950 First chess programs: Shannon, Turing
© G. Lakemeyer

1956 Dartmouth Conference


McCarthy, Minsky, Shannon, Rochester,
More, Samuel, Solomonoff, Selfridge,
Newell, Simon.
Giving it a name: Artificial Intelligence.

AI/WS-2024/25 12 / 29
History of AI (3)

First enthusiasm: 1952–1969


since 1952 Samuel: a checker program that could learn,
eventually could beat Samuel!
since 1955 Newell + Simon: Logic Theorist,
proved theorems from Principia Mathematica
© G. Lakemeyer

1957 Chomsky: Theory of natural language processing


1958 McCarthy: Lisp
1962 Rosenblatt: Proved that perceptrons (simple NN’s)
could learn effectively if function representable.
1969 Green: Planning using logic.
SRI: First mobile robot called Shakey

AI/WS-2024/25 13 / 29
History of AI (4)

Setbacks: 1966–1974
1966 abrupt end of funding for machine translation

!
1969 Minsky + Papert:
© G. Lakemeyer

Perceptrons able to learn almost nothing!


1973 Lighthill Report (UK)
“AI is just too hard, hence will never work.”

English Russian - >


English "

in : "The Spirit is
willing , but the flesh i weak .

out : "The Vodka is good ,


but the meat is rotten " .

AI/WS-2024/25 14 / 29
History of AI (5)

Knowledge-Based Systems (then: expert systems): 1969–1985


1969 Buchanan et al.: DENDRAL
Recognizing molecular structures
1975 Shortliffe: MYCIN
Diagnosing infectious diseases
© G. Lakemeyer

(often better than specialist MD’s!)


1982 J. McDermott: R1 (XCON)
Configuration of Computer Systems (VAX)
Beginning of the Commercialization of AI
Special AI hardware: Lisp Machines
(dead-end because of cheaper and powerful workstations, PCs)

AI/WS-2024/25 15 / 29
History of AI (6)

The return of NN’s: 1982–


since 1982 Learning methods for multi-layered feed-forward nets
(back-propagation algorithm)
1982 Hopfield: Associative Memory
© G. Lakemeyer

1986 Hinton, Sejnowski:


NN’s learn how to read written text aloud.
2006 Hinton:
-

Deep Learning

2024 Nobel Trise.

AI/WS-2024/25 16 / 29
Stanley wins Grand Challenge in 2005
© G. Lakemeyer

Driving autonomously through the Mojave Desert for 200km


In 2007 cars drive 100km autonomously in a (mockup) city
Today autonomous cars are tested routinely on regular roads
AI/WS-2024/25 17 / 29
Watson wins Jeopardy! in 2011
© G. Lakemeyer

Answers questions about various categories


(movies, history, science, etc.)
Extracts knowledge from the internet
Generates (many) possible answers
Ranks possible answers according to confidence
Answers when confidence reaches a threshold
AI/WS-2024/25 18 / 29
AlphaGo conquers Go in 2016
© G. Lakemeyer

Google DeepMind’s AlphaGo wins 4:1 against Lee Sedol


Uses deep reinforcement learning and self play
Outperformed by AlphaGo Zero, uses no expert knowledge

AI/WS-2024/25 19 / 29
AlphaFold 2 predicts protein structures in 2020
© G. Lakemeyer

DeepMind’s AlphaFold predicts the 3D structure of proteins from


amino-acid sequences
Uses deep learning with physical and geometric constraints as additional
input
Achieves about 90% accuracy, which is considered a solution

AI/WS-2024/25
2024 Nobel Trite in Chemists 20 / 29
Large Language Models (LLMs)
© G. Lakemeyer

consist of very large neural networks


(> 100 billion connections)
are trained with hundreds of Gigabytes of text from the internet
are based on the idea of statistical sentence completion
generate answers to (arbitrary) questions
are able to generate computer programs

AI/WS-2024/25 21 / 29
Large Language Models (LLMs)
© G. Lakemeyer

consist of very large neural networks


(> 100 billion connections)
are trained with hundreds of Gigabytes of text from the internet
are based on the idea of statistical sentence completion
generate answers to (arbitrary) questions
are able to generate computer programs
Caveat:
do not always tell the truth
have a tendency to hallucinate
AI/WS-2024/25 21 / 29
Topics Covered in the Course

Introduction
Agent Architectures
Problem Solving as Search
Constraint Satisfaction
© G. Lakemeyer

Knowledge Representation
Planning
Reasoning under Uncertainty
Learning
Robotics
Philosophical Aspects

AI/WS-2024/25 22 / 29
Problem Solving as Search

Example: The 8-Queens Problem


© G. Lakemeyer

AI/WS-2024/25 23 / 29
Constraint Satisfaction

Example: The 3-coloring Problem

Northern
Territory
© G. Lakemeyer

Queensland
Western
Australia
South
Australia New
South
Wales
Victoria

Tasmania
AI/WS-2024/25 24 / 29
Knowledge Representation

Example: logical representations


A proud mother is someone whose children are all doctors:
© G. Lakemeyer

8xProudMother (x ) ⌘
9y .MotherOf (x , y ) ^ 8z .MotherOf (x , z ) Doctor (z ).

AI/WS-2024/25 25 / 29
Planning

B C A C

)
© G. Lakemeyer

Primitive Actions:
pickup(x ), puton(x , y )
Possible successful action sequence:
pickup(B); puton(B, C); pickup(A); puton(A, B)
Problem: How to plan action sequences in general such that a given initial
state is transformed into a goal state.

AI/WS-2024/25 26 / 29
Reasoning under Uncertainty

Example: Causal (Bayesian) Nets

P(E)
P(B)
Burglary Earthquake .002
.001
© G. Lakemeyer

B E P(A)
T T .95
Alarm T F .94
F T .29
F F .001

A P(J)
A P(M)
JohnCalls T .90
F .05 MaryCalls T .70
F .01

AI/WS-2024/25 27 / 29
Learning

Example: Neural Nets

Output units Oi

Wj,i
© G. Lakemeyer

Hidden units a j

Wk,j

Input units Ik

AI/WS-2024/25 28 / 29
Robotics
© G. Lakemeyer

AI/WS-2024/25 29 / 29

You might also like