You can hear me

right?

Via the loudspeakers, otherwise the Zoomies will not hear me.

Okay, so one more thing.

Okay

good.

Welcome everybody to the course

Symbolic Methods for Artificial Intelligence.

This course is in a way a remedial course

kind of bringing you up to speed with everything

we need for symbolic AI.

You remember

I'm assuming all of you are in the AI Master Programme.

Who's not?

One, okay?

Who is not in the AI lecture?

I see a lot of faces I've seen before.

Everybody's in the AI lecture.

Excellent

then we can make the boring part very short.

To the Zoomies

if you haven't been in the AI1 lecture

just watch the video

it's out

there.

Otherwise it's going to be even more boring talking about admin

because it's going to

be essentially all the same as an AI.

So you're doing the right thing though

if you're not really prepared for AI1.

Not really being prepared means that your undergraduate degree typically concentrates

on math that is relatively computational or calculational

doing derivatives and matrices

and statistics and those things.

But not doing proof-based mathematics

discrete elementary

discrete mathematics

what are

proofs

what are languages

what is theoretical computer science

with which I mean automata

grammars and all the complexity theory and all of those kind of things.

That's what this course is going to give you.

That is actually what we need for symbolic AI.

So it's kind of a companion course to AI1.

Ideally

you would have taken it last semester

but most of you probably weren't here yet.

So we'll do it in parallel and hope for the best.