Building Meaning Representations
Abstract:
Now that we've learned something about first-order logic how to work with it in Prolog, it is time to have a look at the major issue of this chapter, which is:Given a sentence of English, how do we get to its meaning representation?This question is of course far too general for what we can achieve in one chapter of this course. So let's rather ask a more specific one: "Is there a systematic way of translating such simple sentences as John loves Mary and A woman walks into first-order logic?" The important point here is the demand of being systematic. Next, we will discuss why this is so important.
Table of Contents
Being SystematicIs there a
systematic way of translating such simple sentences as
John loves Mary and
A woman walks into first-order logic?
Being Systematic (II)Here we are back again at our resolution to work systematically. But this time we're talking about a different level than before. We will have to make this clear in a formal manner suited for implementation.
Three TasksHow do we translate simple sentences such as
John loves Mary and
A woman walks into first-order logic?
From Syntax to Semantics In order to approach Task 1, we will use a simple context free grammar like the ones we've seen in previous lectures.