Exercise-ch5: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 13: Line 13:


{Notation from chapter 2: '''help'''('''aragorn''','''frodo''')
{Notation from chapter 2: '''help'''('''aragorn''','''frodo''')
New notation:
New notation:}
+ (('''help'''• e)•'''frodo''')•'''aragorn'''
+ (('''help'''• e)•'''frodo''')•'''aragorn'''


</quiz>
</quiz>

Revision as of 22:35, 15 March 2013

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: help(aragorn,frodo) New notation:

((help• e)•frodo)•aragorn

Retrieved from "http:///wiki/index.php?title=Exercise-ch5&oldid=3657"