Exercise-ch5

Exercises for chapter 5: Simple LRS

New 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:

	frodo•hobbit
	hobbit•frodo

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

	walk•frodo
	(walk•e)•frodo
	(walk•frodo)•e

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

	((help•e)•frodo)•aragorn
	((help•e)•aragorn)•frodo
	((help•aragorn)•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. (hobit•x)_

2 Add the semantic types for complex expressions:

• y_{ e _5 })_{ t _5 }