Exercise-ch5: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
Line 57: Line 57:
<quiz display=simple>
<quiz display=simple>


{''Pat likes Chris.'' (('''like &bull; ''e'') &bull; '''chris''') &bull; '''pat'''
{Sentence: ''Pat likes Chris.''
Logical form: (('''like &bull; ''e'') &bull; '''chris''') &bull; '''pat'''
Which parts of the logical form are contributed by which word?
Which parts of the logical form are contributed by which word?
|type="[]"}
|type="[]"}

Revision as of 19:53, 3 November 2013

Exercises for chapter 5: Simple LRS

Functional notation

We have introduced the functional notation and the eventuality variable in chapter 5. What are the new formulae that correspond to the formulae from chapter 2?

1 Notation from chapter 2: hobbit(frodo)
New notation:

frodohobbit
hobbitfrodo

2 Notation from chapter 2: walk(frodo)
New notation:

walkfrodo
(walke)•frodo
(walkfrodo)•e

3 Notation from chapter 2: help(aragorn,frodo)
New notation:

((helpe)•frodo)•aragorn
((helpe)•aragorn)•frodo
((helparagorn)•frodo)•e


Semantic types

Add the semantic types in the blanks. Use simple letters ("e" or "t") for simple types. Use round brackets for complex types (for example: "(e,t)").

1 Add the types for simple expressions:

a. frodo_


b. hobbit_


c. walk_


d. help_


e. (hobitx)_

2 Add the semantic types for complex expressions:

a. ((walk_

e_

) • aragorn_

)_

b. (hobbit_

y_

)_


Basic combinatorics

Sentence: Pat likes Chris.

Logical form: ((like • e) • chris) • pat

Which parts of the logical form are contributed by which word?



Back to