13 - Logic-Based Natural Language Semantics (WS 23/24) [ID:50897]
50 von 856 angezeigt

...

...

...

Smartphone connected.

Oh, come on.

There we go.

So, no.

Are you coming?

Are you coming?

That won't work.

Excellent.

So, remember,

last week in the theory session.

We looked at essentially fragment one plus pronouns.

And one of the sentences we wanted to do is

Peter.

No, I go.

He

was a very good friend of mine.

And we invited him.

We just.

Took the shortcut of introducing variables.

I was under specified representations.

Why.

Okay.

And the idea was that.

Using a tableau calculus.

We would.

Put the variables in.

And the other thing that we did was we.

We did a couple of things.

One is that.

We use it as a theorem.

I look at.

Label it by false.

Systematically develop this.

To a tableau.

A tableau.

That is saturated.

We think.

We cannot apply any more roles.

And then.

When the branches close.

Then we've shown that it's impossible to make the.

Conjecture false.

So it must be true.

Always.

So it's a fair.

And that's one mode of driving.

The tableau.

Zugänglich über

Offener Zugang

Dauer

00:50:05 Min

Aufnahmedatum

2023-11-28

Hochgeladen am

2023-11-28 16:16:18

Sprache

en-US

Einbetten
Wordpress FAU Plugin
iFrame
Teilen