C LAUS B RABRAND © S EMANTICS (Q1,’06) S EP 3, 2006 C LAUS B RABRAND © 2005–2006, University...

CLAUS BRABRAND © SEMANTICS (Q1,’06) SEP 3, 2006

CLAUS BRABRAND

© 2005–2006 , University of Aarhus

[ [email protected] ] [ http://www.daimi.au.dk/~brabrand/ ]

SEMANTICS (Q1,’06)

Hand-in Exercise 1

CLAUS BRABRAND SEMANTICS (Q1,’06)[ 2 ]

SEP 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


SEP 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.


SEP 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).


SEP 3, 2006

The Problem

Your problem is to figure out whether by nowthere are enough rabbits on the island to sustain your tribe(?)

Being dependent on local wildlife,you have the following knowledgeon 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).


SEP 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


SEP 3, 2006

Restrictions

However, being the year 11,000 BC, you do not yet have any mathematics at your disposal beyond thecapacity 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". ...

()( ())

( ( ()))

+ – /


SEP 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)


SEP 3, 2006

Task "|-san"

Represent stone-age numbers: i.e., define an inference system "|-san"

that describes all legal stone-age numbers, such thate.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))...


SEP 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 thate.g.:

|_add S S S

|_add zero , zero , zero

|_add (succ zero) , (succ zero) , (succ (succ zero))

|_add zero , (succ zero) , (succ (succ zero))


SEP 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


SEP 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.

C LAUS B RABRAND © S EMANTICS (Q1,’06) S EP 3, 2006 C LAUS B RABRAND © 2005–2006, University...

Documents

Transcript of C LAUS B RABRAND © S EMANTICS (Q1,’06) S EP 3, 2006 C LAUS B RABRAND © 2005–2006, University...