| << Prev | - Up - | Next >> |
Now that we've learned something about first-order logic and 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.
| << Prev | - Up - | Next >> |