1. C LAUS B RABRAND © S EMANTICS (Q1,’06) S EP 3, 2006 C LAUS B RABRAND © 2005–2006, University of Aarhus [ brabrand@daimi.au.dk ] [ http://www.daimi.au.dk/~brabrand/ ] S EMANTICS (Q1,’06) Hand-in Exercise 1

2. C LAUS B RABRAND S EMANTICS (Q1,’06) [ 2 ] S EP 3, 2006 Purpose Purpose: to describe structure inductively (and recursively) via inference systems to describe relations formally via inference systems and transition systems On: relations inference systems transition systems

3. C LAUS B RABRAND S EMANTICS (Q1,’06) [ 3 ] S EP 3, 2006 11.000 BC It is the year 11,000 BC. The ice age is over and the homo sapiens are rapidly multiplying across the plains of Europe.

4. C LAUS B RABRAND S EMANTICS (Q1,’06) [ 4 ] S EP 3, 2006 The Situation However, over-hunting and intense inter-tribal resource competition has left your tribe starving. You have to find new hunting grounds... The island in the horizon off the main land presents itself with a possibility: Scouts from your tribe went there eight seasons ago, but deemed it unfit to sustain a human population. The scouts did however release two rabbits; one old, one young (one male, one female).

5. C LAUS B RABRAND S EMANTICS (Q1,’06) [ 5 ] S EP 3, 2006 The Problem Your problem is to figure out whether by now there are enough rabbits on the island to sustain your tribe(?) Being dependent on local wildlife, you have the following knowledge on the reproductive cycle of rabbits: A) a population of rabbits a given season may be divided into two categories: the old and the young B) each passing of a season: kills off the old; ages the young to old; and makes a number of new young ones equal to that of the total size of the population (i.e. the sum of the old and young).

6. C LAUS B RABRAND S EMANTICS (Q1,’06) [ 6 ] S EP 3, 2006 The Problem (cont'd) Hence, a population of rabbits may be described by a pair of "numbers":...and the evolution of a rabbit population over time may be described by a sequence of pairs of "numbers": ,   r ,   r ,   r... ,  number of old rabbits number of young rabbits

7. C LAUS B RABRAND S EMANTICS (Q1,’06) [ 7 ] S EP 3, 2006 Restrictions However, being the year 11,000 BC, you do not yet have any mathematics at your disposal beyond the capacity to follow simple procedures. i.e. those that can be written down by an inference system (or a transition system) Also, the tribe will not understand anything beyond stone-age numbers (a structural unary representation of numbers) in which: '0' (zero) is represented as " zero " '1' (one) is represented as " (succ zero) " "...the successor of zero". '2' (two) is repr. as " (succ (succ zero)) " "...the successor of the successor of zero".... () ( ()) ( ( ())) +–  /

8. C LAUS B RABRAND S EMANTICS (Q1,’06) [ 8 ] S EP 3, 2006 Your Tasks Thus, you have three tasks: define... "|- san "...stone-age numbers define... "|- add "...addition on stone-age numbers define... "  r "...evolution of rabbits in a season You may do this either: INDUCTIVELY: first, "|- san "; then "|- add "; and finally "  r "...or...: DEDUCTIVELY: first "  r "; then "|- add "; and finally "|- san " (your choice)

9. C LAUS B RABRAND S EMANTICS (Q1,’06) [ 9 ] S EP 3, 2006 Task "|- san " Represent stone-age numbers: i.e., define an inference system "|- san " that describes all legal stone-age numbers, such that e.g.: Let the relation "|- san " induce the set of all stone-age numbes, S: S := { n | | _ san n } | _ san  { " ( ", " ) ", " succ ", " zero " }* | _ san zero | _ san (succ zero) | _ san succ zero | _ san wgjkewkl | _ san (succ (succ zero))...

10. C LAUS B RABRAND S EMANTICS (Q1,’06) [ 10 ] S EP 3, 2006 Task "|- add " Define stone-age number addition: i.e., define a relation "|- add " adding stone-age numbers: that describes stone-age number addition, such that e.g.: | _ add  S  S  S | _ add  zero, zero, zero  | _ add  (succ zero), (succ zero), (succ (succ zero))  | _ add  zero, (succ zero), (succ (succ zero)) 

11. C LAUS B RABRAND S EMANTICS (Q1,’06) [ 11 ] S EP 3, 2006 Task "  r " Define the evolution of the rabbit population: i.e., a transition system  r,  r  describing the evolution of rabbits: such that, e.g.:  (succ zero), (succ zero)   (succ zero), (succ (succ zero))  rr   r,  r 

12. C LAUS B RABRAND S EMANTICS (Q1,’06) [ 12 ] S EP 3, 2006 Final Rule You have to define everything formally; incl. all arities, signatures, configurations,... without using any abbreviations (cf. [slide #10])...and include a reference to either my presentation slide number or a page in the [SOS] note every time you use something introduced in the course. Of course, these strict rules are only for the first-week... Finally, be sure to explain everything you do carefully.