Jaarverslag van het SamenwerkingsOrgaan Brabantse Universiteiten

Jaarverslag 1997 van het SamenwerkingsOrgaan Brabantse Universiteiten

September 1998

2

Inhoudsopgave

Het SamenwerkingsOrgaan Brabantse Universiteiten

Pagina

4

1.

Samenwerkingsovereenkomst

5

2.

De onderzoeksprojecten

5

3.

Dissertaties

8

4.

Algemene gegevens betreffende de projecten

9

5.

Betrokkenheid van de faculteiten van beide universiteiten bij de projecten

11

6.

Werving en selectie

14

7.

De SOBU-AIO'S

14

8.

Uitstroom en wachtgeldbeleid

14

9.

SOBU-zwaartepunt DenK

14

10. De interuniversitaire werkgroep Logica en informatiesystemen

18

11. Samenwerking bij onderwijs

18

12. Vergaderingen, externe contacten en publiciteit

19

3

Bijlagen: A.

Verslag en activiteiten interuniversitaire werkgroep Logica en Informatiesystemen

20

B.

Eindverslagen van de afgesloten projecten

25

c.

SOBU-bijdrage aan de wetenschappelijke verslagen 1997

35

D.

Samenstelling SamenwerkingsOrgaan Brabantse Universiteiten in 1997

46

Samenstelling Vaste Commissie Beoordeling Samenwerkingsprojecten

47

Overzicht medewerkers en uitvoerders

48

E.

F.

4

Het SamenwerkingsOrgaan Brabantse Universiteitcn

Het SOBU is een bestuurlijke samenwerkingsvorm tussen de Katholieke Universiteit Brabant en de Technische Universiteit Eindhoven. Het bestaat sinds 1970 en is belast met het initieren, bevorderen, realiseren en coordineren van de samenwerking tussen de beide universiteiten. Het SamenwerkingsOrgaan is ingesteld ter verwezenlijking van de doelstellingen van de samenwerking tussen de beide Brabantse instellingen van wetenschappelijk onderwijs. Deze doelstellingen zijn expliciet neergelegd in de raamovereenkomst tot samenwerking die in 1977 tussen de -toen nog- hogescholen gesloten is. Aan deze overeenkomst heeft de toenmalige staatssecretaris van Onderwijs en Wetenschappen zijn goedkeuring gehecht. De bovenbedoelde doelstellingen zijn: a. b.

c.

het realiseren van een zo breed mogelijk spectrum van universitaire voorzieningen in Noord-Brabant; het ontwikkelen van samenwerkingsvormen tussen de Katholieke Universiteit Brabant en de Technische Universiteit Eindhoven om onderwijs, onderzoek en dienstverlening door samenwerking vruchtbaarder te doen zijn; het streven naar een goede samenwerking van het wetenschappelijk onderwijs met het hoger beroepsonderwijs en het ontwikkelen van een zo veel mogelijk gelijkgericht beleid in dit opzicht.

In 1997 is deze overeenkomst herzien. In de regel komt het SOBU tweemaal per jaar voltallig bijeen in vergadering. Daarnaast kent het orgaan een dagelijks bestuur voor het afhandelen van lopende zaken en ter voorbereiding van de activiteiten en vergaderingen. Dit dagelijks bestuur was in de verslagperiode als volgt samengesteld:

prof.dr. L.F.W. de Klerk prof.dr. M. Rem mevr.mr. K. Leurs mevr.drs. M. Wagemans

(voorzitter) (lid en plv. voorzitter) (secretaris) (secretaris).

De volledige samenstelling van het orgaan in de verslagperiode is weergegeven in bijlage D. Ter ondersteuning c.q. uitvoering van zijn taken wordt het orgaan terzijde gestaan door een stafbureau, waarvan de secretaris het beheer en de Ieiding heeft. Een overzicht van de personeelsleden van het stafbureau en van de medewerkers aan projecten is opgenomen in bijlage F.

In de Vaste Commissie Beoordeling Samenwerkingsprojecten (VC BSP), de belangrijkste adviescommissie van het SamenwerkingsOrgaan, hebben zich in 1997 een aantal wijzigingen voorgedaan. Een overzicht van de samenstelling van de VC BSP gedurende het verslagjaar is opgenomen als bijlage E.

5 1.

Samenwerkingsovereenkomst In 1997 is de samenwerkingsovereenkomst, die dateerde uit 1977, herzien. De afgelopen 2 jaren hebben de Colleges van Bestuur van de KUB en de TUE gezocht naar mogelijkheden tot verdergaande samenwerking. Een van de initiatieven die hiertoe zijn ontplooid, was het dekanenoverleg dat in 1996 heeft plaatsgevonden. Tijdens deze bijeenkomst zijn gebieden die zich lenen voor verdere samenwerking, in kaart gebracht. Parallel bieraan heeft het SOBU de eigen organisatiestructuur onder de loep genomen met bet oog op meer flexibiliteit. Het College van Bestuur van de TUE wenste als reactie hierop een stap verder te gaan door tevens de samenwerkingsovereenkomst uit 1977 te vereenvoudigen. Op basis van de oude overeenkomst had het SOBU tot taak de samenwerking op het gebied van dienstverlening, onderzoek en onderwijs te bevorderen. Met name op het gebied van onderzoek is zeer succesvolle samenwerking ontstaan. De twee universiteiten weten elkaar op dit terrein goed te vinden, breed verspreid over de instellingen. Bij samenwerking op het terrein van onderwijs en dienstverlening is de win-win situatie minder zichtbaar. Samenwerking komt hier minder van de grond en onttrekt zicb bovendien vaak aan het zicht van het stafbureau. Op grond van onder meer bovenstaande is besloten de nieuwe taakstelling van het SamenwerkingsOrgaan Brabantse Universiteiten als volgt weer te geven: 1. Het stimuleren van individuele onderzoeksprojecten tussen de KUB en de TUE om ruimte te geven voor nieuwe initiatieven. 2. Het stimuleren van strategiscbe en structurele samenwerking, teneinde de positie van de KUB en de TUE in bet onderzoek en het onderwijs te versterken. De nieuwe samenstelling van het SOBU-bestuur ziet er als volgt uit (zie bijlage D): a. de Rector Magnificus van de KUB en de Rector Magnificus van de TUE, b. een hoogleraar van de KUB en een boogleraar van de TUE, c. een lid, afkomstig van buiten de universiteiten, d. de voorzitter van de Vaste Commissie Beoordeling Samenwerkingsprojecten. De verwachting is gerechtvaardigd dat met dit kleine en slagvaardige bestuur het SOBU-beleid voor de komende jaren op efficiente wijze zal worden uitgezet. Het bestuur heeft besloten om samenwerking op andere gebieden dan onderwijs en onderzoek voortaan over te laten aan de beide secretarissen van de universiteiten.

2.

De onderzoeksprojecten De samenwerking bij onderzoek vindt in hoofdzaak plaats in de vorm van projecten. De meeste projecten worden gefinancierd uit de gemeenschappelijke researchpool; een aparte categoric wordt gevormd door de projecten die op contractbasis worden uitgevoerd. Aanvragen voor ondersteuning van gezamenlijk onderzoek worden ingediend vanuit de vakgroepen; door het SamenwerkingsOrgaan worden de aanvragen alleen in behandeling genomen indien de desbetreffende faculteiten van de KUB en de TUE ermee instemmen. In de meeste gevallen is biervoor een positief advies van de facultaire commissies voor wetenschapsbeleid nodig. Ten beboeve van het SamenwerkingsOrgaan worden de projectaanvragen beoordeeld door de Vaste Commissie Beoordeling Samenwerkingsprojecten (VC BSP). Deze commissie is tevens belast met de beoordeling van de jaarlijkse verlengingsaanvragen en bet eindverslag.

6

In 1997 werden 30 projecten ondersteund. Twee projecten werden in de loop van 1997 afgesloten waarmee het totale aantal sinds 1977 afgeronde samenwerkingsprojecten op onderzoeksgebied op 69 is gekomen. Van drie projecten heeft de projectuitvoerder helaas besloten de werkzaamheden voortijdig te beeindigen. Voor twee van deze projecten zal niet opnieuw een uitvoerder gezocht worden. Voor het derde project, dat slechts 1 jaar liep, zal opnieuw een uitvoerder gezocht worden. Van vier projecten is het eindverslag opgenomen onder bijlage B. Het betreft hier de projecten 92 W, 94 C, 95 AB en 96 I. Naast proefschriften vloeien uit de onderzoeksprojecten publicaties en zgn. 'overige onderzoekoutput' voort. Een overzicht hiervan is in bijlage C opgenomen. De wetenschappelijke resultaten van de SOBU-projecten worden eveneens vermeld in de jaarlijks verschijnende verslagen van de KUB en de TUE. Aan vijfnieuwe projecten werd in 1997 subsidie toegezegd. Een daarvan kon in 1997 starten. In het onderzoekplan, dat jaarlijks in december wordt uitgebracht, zijn aile projecten beschreven die in het volgende kalenderjaar gesubsidieerd worden. Daarbij is ook een overzicht opgenomen van de in voorgaande jaren uitgevoerde projecten, onder vermelding van de behaalde resultaten. Een korte beschrijving van het onderzoeksbeleid van het SamenwerkingsOrgaan en van de middelenperspectieven is eveneens in dit Onderzoekplan opgenomen. De volgende onderzoeksprojecten waren in 1997 in uitvoering c.q. toegewezen (met vermelding van de uitvoerende onderzoekers; de cijfers en letters v66r de projecttitel geven de door het SamenwerkingsOrgaan gehanteerde projectcode aan): 92 W

De ontwikkeling van het typebegrip, door drs. T. Laan (afgesloten per 1 november 1997).

93 CD Intelligente interfaces in juridisc he databanken en juridische kennissystemen, door drs. L. Matthijssen. 93 K

De expressie van emoties in spraak, door mevr.drs. S. Mozziconacci.

93 R

Encryptie van gegevens: justitiele en particuliere belangen, door drs. B-J. Koops.

93 Z

Waarde van informatie bij voorraadbeheer, door ir. F. Janssen.

94 C

Automated verification of computer systems (AVOCS), door ir. B. Knaack (gestaakt per 1 december 1997).

94 CB Dynamica onder ongelijkheidsnevenvoorwaarden, door ir. W. Heemels. 94 CE Op vakantie in Nederland, door mevr.ir. A. Bargeman. 94 CH Validatie van neurofysiologische signalen, door ir. M. van de Velde (afgesloten per 1 mei 1997). 95 AB Determinanten van de behoefte aan en beleving van assortimenten,

7

95 AD Event-related desynchronisation en langzame hersenpotentialen, door drs. M. Bastiaansen. 95 AF Een ontwikkelomgeving voor correct programma-antwerp, door ir. M. Franssen. 95 L

Evenwichtsmodellen met algemene goederenruimte, producenten en rantsoeneringen, door ir. S. Schalk.

95 Q

Stochastische modellering van de beveiliging van elektriciteitsnetten, door ir. B. Vermeulen.

95 T

Mobiele telecommunicatie: adoptie van standaarden en Europees-rechtelijke consequenties in een nieuw tijdperk, door ir. R. Bekkers.

95 Y

Het gebruik van informatietechnologie bij integraal ketenbeheer: juridische en technische randvoorwaarden, door drs. T. de Wit.

96 BB Een panel-stated choice analysis van consumentenspaargedrag, toegewezen per 1 december 1996. 96 E

Ge~ouw voor liturgie, door ir. S. de Jonge (gestart per 1 juni 1997).

96 I

Internationale produktvergelijkingen in de nijverheid in ontwikkelingslanden, door ir. D.M. van Engelen (gestaakt per 1 december 1997).

96 U

Model for the assessment of the optimal sustainable energy technology mix for rapidly developing areas, door ir. N. van Beeck (gestart per 1 juni 1997).

96 UB Handleidingen voor ouderen, door drs. F. van Horen (gestart per 1 september 1997). 96 UC De prosodische realisatie van tekststructuur, door drs. J. den Ouden (gestart per 1 februari 1997). 97 A

Trade procedure analysis and redesign, toegewezen per 1 december 1997.

97 B

Prestatiesturing en beloning in context, toegewezen per 1 januari 1998.

97 F

Opsporing van witwaspraktijken door electronic monitoring van betalingsstromen, toegewezen per 1 december 1997.

97 J

Machine learning algorithms for linguistic aspects of speech synthesis, door drs. G. Busser.

8

door drs. G. Busser.

3.

97 0

Berekening en selectie van speltheoretische evenwichten, door drs. R. Peeters (gestart per 1 december 1997).

97 P

Beheersbaarheid van bedrijfsprocessen over een eindige tijdsperiode, toegewezen per 1 december 1997.

97 X

Coherentie in instructies, door drs. J. Arts (gestart per 1 september 1997, voortzetting van project 94 X door drs. W. Wijnen).

Dissertaties Bij de TUE verdedigd Laan, T.D.L. (1997). The evolution oftypetheory in logic and mathematics. Co-operation Centre Tilburg and Eindhoven universities, Tilburg University. 1 - 344. Promotoren: prof.dr. J.C.M. Baeten, prof.dr. H.C.M. de Swart, co-promotor: dr. R.P. Nederpelt. ISBN 90-386-0531-

5. Bij de KUB verdedigd Seljee, R.R. (1997). A fact integrity constraint checking system for the validation ofsemantic integrity constraints after updating consistent deductive databases. Co-operation Centre Tilburg and Eindhoven universities, Tilburg University. 1 - 218. Promotoren: prof.dr. H.C.M. de Swart & prof.dr. P.M.E. de Bra.

Bij de KUB verdedigd Vos, J.C. de (1997). Golden-Ten and related trajectory games. Co-operation Centre Tilburg and Eindhoven universities, Tilburg University. 1 - 164. Promotoren: prof.dr. B.B. van der Genugten & prof.dr.ir. J. de Graaf, co-promotor: dr.ir. A.A.F. van de Ven. ISBN: 90-3610016-X. Bij de KUB verdedigd Zon, M.D.C.M. van. Speech processing in Dutch: a cross-linguistic approach. Co-operation Centre Tilburg and Eindhoven universities, Tilburg University. 1 - 203. Promotoren: prof.dr. B.L.M.F. de Gelder & prof.dr. R. Collier. ISBN 90-9010650-2.

9

4. Algemene gegevens betreffende de projecten In 1997 waren er 29 uitvoerders werkzaam op SOBU-projecten (inclusief de uitvoerders van bet SOBU-zwaartepuntprogramma Dialoogvoering en Kennisopbouw (DenK)). Het betrof 26 AIO's (21,04 fte.), 2 toegevoegd onderzoekers (1,34 fte) en 1 onderzoeker (1 fte.) Omdat bet beleid vanhet SamenwerkingOrgaan erop is gericht om zoveel mogelijk projecten door AIO's uit te laten voeren, zal hun aantal de komende jaren een steeds grater aandeel gaan uitmaken van bet totale aantal projectuitvoerders. Van deze 29 uitvoerders zijn er 20 man (69%) ( 17,26 fte) en 9 vrouw (31 %) (6,12 fte). Binnen de beide universiteiten wordt gestreefd naar een evenwichtige verdeling tussen bet aantal mannelijke en vrouwelijke werknemers. Het stafbureau van bet SamenwerkingsOrgaan hanteert daartoe tijdens zijn sollicitatieprocedures de richtlijnen die beide universiteiten hebben om te komen tot een grotere arbeidsparticipatie van vrouwen.

Verdeling in fte's soort onderzoeker 25 20

co 15 c co co 10

- -

~

-

--

...

~

1996

5 0

0

Grafiek 1. projectuitvoerders SamenwerkingOrgaan 1997

10

Verdeling in fte's man vrouw

15

-co

cco

10

1997

II

co

1996

5 0

+----

MAN

Grafiek 2. projectuitvoerders SamenwerkingsOrgaan 1997

VROUW

11

5 . Betrokkenheid van de faculteiten van beide universiteiten bij de projecten (exclusiefhet zwaartepunt DenK)

Onderstaand overzicht geeft de verdeling weer van de samenwerkingsprojecten over de faculteiten van de beide universiteiten. Het betreft de 30 lopende projecten in 1997; de projecten die deel uitmaken van het zwaartepunt DenK zijn hierbij niet meegeteld. Ook de nieuw toegewezen projecten (waarop nog geen uitvoerder was aangesteld) zijn hierbij meegeteld. In de praktijk blijkt dat, wanneer er eenmaal een gezamenlijk project is uitgevoerd door twee faculteiten van de beide universiteiten, dit vaak het begin vormt van een langdurige samenwerking.

Faculteiten van de Techniscbe Universiteit Eindhoven

Faculteit

Aantal* projecten in 1997

Faculteit Technologic Management Faculteit Wiskunde en Informatica Faculteit Elektrotechniek Faculteit Bouwkunde Faculteit Scheikundige Technologic Faculteit Werktuigbouwkunde

11 10 4 3 1 1

Totaal

30

Faculteiten van de Katholieke Universiteit Brabant Faculteit Faculteit der Sociale Wetenschappen Faculteit der Economische Wetenschappen Faculteit der Wijsbegeerte Faculteit der Rechtsgeleerdheid Faculteit der Letteren Faculteit der Theologische Wetenschappen

Aantal* projecten in 1997

Totaal

30

5 11 3 5 5 I

(* daar waar sprake is van dm. faculteiten die bij een SOBU-project betrokken zijn, zijn slechts de twee geteld die

voor de voomaamste inbreng zorgen)

Er wordt naar gestreefd dat zoveel mogelijk faculteiten gebruik maken van de faciliteiten van bet SamenwerkingsOrgaan, vanaf 1997 zijn bijna aile faculteiten bij een SOBU-project betrokken.

12

Verdeling projecten faculteiten KUB Theolog.Wetensch. (3.33%) Wetensch. (16.67%) Letteren (16.67%)

Jur.Wetensch. (16.67%)

Econ.Wetensch. (36.67%) Wijsbegeerte (1

Grafiek 3. Participatie faculteiten KUB aan samenwerkingsprojecten in 1997

13

Verdeling projecten faculteiten TUE Werktuigb. (3.33% Scheik.Techn. (3.33%)

1

Bouwkunde (10.00%)

Techn.Man. (36.67%) Electro.techn. (13.33%

Wisk.&lnform. (33.33%)

Grafiek 4. Participatie faculteiten TUE aan samenwerkingsprojecten in 1997

14

6.

Werving en selectie: http://www.tue.nl/sobu In 1997 is er door het SOBU extra veel aandacht besteed aan de werving en selectie van de AIO's. De reden hiervoor is dat het steeds moeilijker wordt om uitvoerders voor de projecten te vinden. Als ondersteuning van de advertentie campagne in de landelijke kranten gebruikt het SOBU sinds 1996 de website. Het voordeel van deze website is dat, in tegenstelling tot de kraut, er erg veel (achtergrond) informatie over het project gegeven kan worden. De indruk bestaat dat de uitgenodigde sollicitanten zich hierdoor erg goed op het gesprek hebben kunnen voorbereiden. Ondanks de zorgvuldige wervingscampagne was het toch erg moeilijk de openstaande vacatures per 1 december 1997 te vervullen. Een project is inderdaad per 1 december gestart, de andere projecten zijn in de loop van het voorjaar 1998 van start gegaan en voor een project is zelfs helemaal geen kandidaat gevonden. Er moet dan ook geconstateerd worden dat het erg moeilijk is om voor de uitvoer van de SOBU projecten geschikte kandidaten te vinden. Dit probleem is ook al besproken in het dagelijks bestuur van het SOBU, met het verzoek aan beide rectores om het in hun instelling en in VSNU verband aan de orde te stellen. Indien deze trend zich voortzet en wellicht nog versterkt, zal het SOBU zich erop moeten beraden of het daadwerkelijk met AIO's verder wil.

7.

De SOBU-AIO's Ook in 1997 wordt rekening gehouden met de bijzondere positie van de SOBU-AIO die vaak deel uitmaakt van twee onderzoekscholen. In het opleidings- en begeleidingsplan van de SOBU-AIO's worden afspraken goed vastgelegd.

8.

Uitstroom en wachtgeldbeleid In 1997 zijn 2 projecten afgerond. Een uitvoerder heeft enige tijd gebruik gemaakt van de wachtgeldregeling om zijn proefschrift verder af te ronden. De andere uitvoerder heeft meteen een baan in het bedrijfsleven gevonden. Vier projectuitvoerders zijn in 1997 gepromoveerd. Bij drie projecten zijn de werkzaamheden voortijdig door de uitvoerder gestaakt.

9.

SOBU-zwaartepunt DenK De Nota Zwaartepunten SamenwerkingOrgaan Brabantse Universiteiten- die in 1988 is verschenen- beschrijft het doel dat met het instellen van zwaartepunten beoogd wordt, de eisen waaraan voorstellen voor een zwaartepuntprogramma moeten voldoen, de relatie met de vakgroepen en de wijze van beoordeling. De beoordelingscriteria die voor samenwerkingsprojecten gebruike1ijk zijn, zijn in een aangepaste vorm voor zwaartepunten als bijlage van de nota opgenomen. In mei 1989 is het eerste zwaartepuntprogramma van start gegaan onder de titel 'Dialoogvoering en Kennisopbouw' (DenK). Het programma beoogt door multidisciplinair onderzoek op de terreinen van artificiele intelligentie, informatica, computerlingui'stiek en

15

cognitiewetenschap, methoden te ontwikkelen voor de semi-automatische opbouw en extractie van kennis in AI-systemen, o.a. door analyse van natuurlijke taal. De concrete doelstelling hierbij is: 'Het expliciteren en operationaliseren van fundamentele principes van communicatie vanuit computationeel oogpunt door het formeel modelleren van dialoogsituaties en kennisopbouw, met als einddoel de realisatie van geavanceerde op deze grondslagen gebaseerde 'mens-machine interfaces'. Het DenK-programma is in november 1990 definitief aangewezen als zwaartepunt van het SOBU en bevindt zich thans in de tweede fase, die loopt vanjanuari 1994 tot mei 1998. Bij het DenK-programma zijn betrokken: - het werkverband Taal en Informatica van de faculteit der Letteren van de KUB, - het Instituut voor Perceptie-onderzoek (IPO); waarin samenwerk(t)en de faculteit Technologic Management van de TUE en N.V. Philips, - de vakgroep Informatica van de faculteit Wiskunde en Informatica van de TUE. In bet kader van bet DenK-programma waren in 1997 de volgende projecten in uitvoering: DK 4

Een natuurlijke-taalsysteem voor interactieve conceptuele analyse en kennisacquisitie (integratieproject), door dr.ir. R-J. Beun en ir. R. Ahn.

DK 8a Natuurlijke taal interface, door ir. M. Verlinden. DK 8b Natuurlijke taal interface, door drs. L. Kievit. DK 9

Dialoogmodellering in cooperatieve situaties, door drs. P. Piwek.

DK 10 Temporaliteit in constructieve typentheorie, door dr. T. Borghuis. DK 11 Constraints in een 3-D animatiesysteem, door ir. G. van den Bergen. Het wetenschappelijke onderzoek binnen het programma is gegroepeerd rondom vier thema's: a. kennisrepresentatie op basis van typentheorie, b. object-georienteerde domeinrepresentatie, c. contextgevoelige natuurlijke-taalinterpretatie en d. computationele verwerking van taalhandelingen. Deze thema's worden afzonderlijk uitgevoerd binnen een aantal deelprojecten en geintegreerd binnen het zogenaamde 'integratieproject' DK4. Naast het computationeel modelleren van dialoogsituaties wordt tevens gewerkt aan een op de modellering gebaseerde implementatie van een generiek mens-machine interface en een of meerdere concrete applicaties. Voor een beknopte inleiding in het DenK-programma als geheel zie Ahnet al. 1995, ofhet recentere Bunt et al. 1998. In mei 1997 is het DenK-programma zijn laatste jaar ingegaan. Daardoor heeft in het verslagjaar de nadruk in het onderzoek gelegen op wetenschappelijke verslaglegging over de behaalde resultaten, voor het merendeel van de uitvoerders betekent dit het schrijven van een proefschrift. In de implementatie van de mens-machine interface worden de componenten in deelprojecten ontwikkeld op basis van fundamenteel onderzoek. Voor elk van de componenten worden hierbij drie stadia doorlopen: - onderzoek (de voor de component benodigde theorie),

16

- specificatie (de gewenste functionaliteit van de component) en - implementatie (schrijven van de software). Nadat in een eerder stadium de specificaties van de verschillende componenten onder Ieiding van het integratieproject in overeenstemming waren gebracht met de beoogde architectuur, zijn in het verslagjaar de (eerste) versies van de componenten beschikbaar gekomen. Het samenvoegen van de componenten tot een werkend systeem is de verantwoordelijkheid van het integratieproject. Als eerste stap is hiertoe door uitvoerder Ahn een 'software platform' tot stand gebracht. Elk van de in de deelprojekten ontwikkelde componenten veronderstelt namelijk een bepaalde onderliggende functionaliteit van het systeem, een aantal 'diensten' die hij kan aanroepen. Het software-platform stelt deze diensten, eerder gespecificeerd in onder andere Ahn, Kievit & Piwek 1996, ter beschikking aan de componenten. Deze diensten hebben voor een belangrijk deel betrekking op de verbinding met het applicatie-domein. Voor het prototypische DenK-systeem is het applicatiedomein een electronenmicroscoop; de mens-machine interface werkt als een interactieve trainingssimulator voor een (Philips Electron Optics) elektronenmicroscoop. Deze microscoop wordt gesimuleerd door de Generalized Display Processor (zie 'ad b'), op basis van een object-georienteerde beschrijving. Toen het platform beschikbaar was, zijn in nauw overleg tussen de uitvoerders van de deelprojekten en het integratieprojekt steeds meer komponenten 'aangekoppeld' tot een volledig en werkend systeem ontstond, dat nog steeds verder ontwikkeld wordt. Tijdens dit proces zijn niet aileen technische problemen opgelost, maar kwamen ook een aantal zaken aan het licht die aanleiding hebben gegeven tot verfijning van behaalde onderzoeksresultaten (en zelfs nieuwe resultaten) in de deelprojekten. Hieronder worden in het kort de resultaten aangegeven van de onderzoekswerkzaamheden op ieder van de bovengenoemde deelgebieden. ad a.

Het formaliseren van de kennis van het systeem gebeurt in typentheorie. De expressiemogelijkheden en methoden van bewijsvoering van het typentheoretisch formalisme moesten echter worden uitgebreid om aile relevante eigenschappen van de context te kunnen formaliseren. Op basis van de vereiste temporele redeneerfaciliteiten van het dialoogsysteem (Ahn & Borghuis 1996), is binnen projekt DKlO en het integratieprojekt een nieuwe methode van temporeel redeneren ontwikkeld (Ahn 1996) die het mogelijk maakt om de ontwikkeling van het domein in de tijd op een cumulatieve wijze te representeren en het redeneren over deze ontwikkeling te vereenvoudigen. In het verslagjaar is gewerkt aan het toesnijden van deze en andere (eerder gemaakte) uitbreidingen van typentheorie op de representatie van kennistoestanden van dialoogdeelnemers. Het gaat hierbij om het inzetten van de nieuwe representatie- en redeneermogelijkheden in het typentheoretisch model voor kennisoverdracht door communicatie, zoals dat is beschreven in Ahn & Borghuis 1997.

ad b.

Binnen het DenK-programma is gekozen voor het grafisch representeren van domeinen op basis van object-georienteerde beschrijvingen daarvan. Veranderingen in een domein dienen gedurende de dialoog met het systeem zichtbaar gemaakt te worden en de gebruiker moet de gerepresenteerde objecten rechtstreeks kunnen manipuleren.

17 Hiertoe is in de voorafgaande jaren een interactief animatiesysteem gerealiseerd in de vorm van de Generalized Display Processor (GDP). In project DKll wordt gewerkt aan het opstellen van algoritmen voor het detecteren van botsingen tussen 3wD objecten in een animatie, hetgeen van belang is voor het representeren van domeinen met objecten met een autonoom bewegingsgedrag. In het verslagjaar heeft dit werk geresulteerd in het beschikbaar komen van de softwarewbibliotheek SOLID (Sofware Library for Interference Detection). Deze bibliotheek maakt het mogelijk de gevonden algoritmen te gebruiken in interactieve drie-dimensionale grafische applicaties die zijn opgezet volgens in de praktijk gangbare grafische standaards (als VRML en OpenGL). ad c.

Bij de contextgevoelige natuurlijke-taalinterpretatie wordt een koppeling gelegd tussen de natuurlijke taaluitingen van de gebruiker en de inhoud van het formele dialoogmodel. Voor de ontleding van de uiting worden grammaticale regels en een lexicon geformuleerd in Head-driven Phrase Structure Grammar (HPSG). Ret resultaat van deze ontleding is een expressie in een logische tussentaal die ULF (Underspecified Logical Form) beet, waarin de contextonafhankelijke aspecten van de uiting worden weergegeven. Deze expressie wordt tenslotte omgezet in een zogeheten 'geannoteerd segment', bestaande uit een typentheoretisch deel dat de inhoud van de uiting representeert en een annotatiedeel dat informatie bevat over de pragmatische functie van de uiting en het verloop van het interpretatieproces. In het verslagjaar is binnen deelproject 8a een ontleedwcomponent tot stand gebracht voor het natuurlijke-taalfragment voor het DenK-systeem. Hierbij kwamen een aantal onduidelijkheden in de theorie aan het licht, die hebben geleid tot een verdere verfijning van de onderliggende HPSG-grammatica, met name in de behandeling van koppelwerkwoorden en relatieve bijzinnen. Binnen deelproject 8b is de component ontwikkeld die de expressies in de tussentaal ULF (opgeleverd door de ontleedcomponent) omzet naar geannoteerde segmenten. Een probleem hierbij is dat inhoudswoorden in de natuurlijke taal veel flexibeler gebruikt kunnen worden dan hun typentheoretische equivalenten in typentheorie. Om dit verschil in flexibiliteit te compenseren, zijn een aantal nieuwe technieken (onder ander 'coercion' en 'qualia structures') opgenomen in de formalisering en implementatie van de omzetting van ULF-expressies naar geannoteerde segmenten (Kievit 97).

ad d.

In project DK9 worden de effecten van dialooguitingen op de kennistoestand van de dialoogdeelnemers formeel beschreven in een model dat gebaseerd is op het werk op gebieden a-c; dialooguitingen worden gerepresenteerd als geannoteerde segmenten en de kennistoestanden van de dialoogdeelnemers zijn geformaliseerd in typentheorie. Ben belangrijk element van dit model is de zogenaamde 'Pending Context'. Dialooguitingen worden, voordat ze worden toegevoegd aan de kennistoestand van de dialoogdeelnemers, eerst (in het geannoteerde segmenten formaat) in deze 'voorlopige' context geplaatst. Hier worden ze met behulp van contextinformatie verder ge1nterpreteerd en kunnen tevens corrigerende taalhandelingen worden gegenereerd indien problemen optreden in het interpretatieproces. De hiervoor gevonden regels worden in bet dialoogsysteem gebruikt om bet effect van een uiting van de gebruiker op de kennistoestand van het systeem te berekenen, alsmede een adequate reactie op deze uiting.

18

In het verslagjaar zijn de Pending Context en de bijbehorende dialoogregels ge'implementeerd tot een component die het dialooggedrag van het DenK-systeem stuurt. Hierbij is het model op diverse punten aangevuld, zoals bijvoorbeeld voor de structurele interpretatie van indirecte taaluitingen met modale hulpwerkwoorden, om a11e pragmatische verschijnselen te kunnen bestrijken die in samenwerking met het integratieprojekt waren ge'lnventariseerd (Beun & Piwek, 1997). Daarnaast is de typentheoretische theorie voor de behandeling van presupposities verder uitgewerkt, zie Piwek & Krahmer 1998. Referenties: Ahn, R. & Borghuis, T. (1997), Communication Modelling and Context-dependent Interpretation: An Integrated Approach. In Mundial '97, proceedings of the Munich Workshop on Formal Semantics and Pragmatics of Dialogue, Anton Benz & Gerhard Jaeger (eds.), Centrum fuer Informations- und Sprachverarbeitung Universitaet Muenchen. Beun, R.J. & Piwek, P. (1997) Pragmatische features in DenK: PRAGTAGS. DenK-report 97/29, SOBU, Tilburg. Kievit (1997) CLUES I, DenK-report 97/30, SOBU, Tilburg.

10. De interuniversitaire werk~:roep Logica en Informatiesystemen De interuniversitaire werkgroep Logica en Informatiesystemen, die is opgericht tussen de faculteit Wijsbegeerte van de KUB en de faculteit Wiskunde en Informatica van de TUE, heeft haar negende programmajaar achter de rug. Inmiddels hebben ook de vakgroep Bestuurlijk Informatiekunde en Accountancy van de Faculteit der Economische Wetenschappen en het Centrum voor Recht en Informatisering van de Faculteit der Rechtsgeleerdheid, beide van de KUB, zich bij de werkgroep aangesloten. Het verslag van de activiteiten van de werkgroep over 1997 is opgenomen als bijlage A van ditjaarverslag.

11. Samenwerking bij onderwijs Op het terrein van onderwijs bestaan verschillende vormen van samenwerking. Op de eerste plaats de mogelijkheid voor studenten om bij de andere instelling colleges te volgen. Enkele vakgebieden mochten zich met name hierin verheugen: Bedrijfseconomie van de KUB en Organisatiekunde en Informatie-ergonomie van de TUE. Ook heeft in het verslagjaar een aantal KUB-studenten deelgenomen aan de cursus Gerontechnologie op de TUE. Op een aantal gebieden zijn gastcolleges, lezingen en colloquium-bijdragen verzorgd, in veel gevallen een uitvloeisel van onderzoeksprojecten. Regelmatig wordt door docenten van de andere instelling zitting genomen in examen-, benoemings- of promotiecommissies en vindt begeleiding van stagiaires, afstudeerders en promovendi plaats.

19

12. V ergaderingen. externe contacten en publiciteit Het SOBU kwam in de verslagperiode zoals gebruikelijk tweemaal bijeen. Ook het dagelijks bestuur (db) kwam in 1997 tweemaal bijeen. In de vergaderingen van het SamenwerkingOrgaan Brabantse Universiteiten werd overleg tussen de universiteiten gevoerd over een veelheid van onderwerpen. Zo zijn voorstellen gedaan om te bevorderen dat de samenwerking zich uitbreidt over nieuwe onderzoeksgebieden. Zoals eerder genoemd, zijn de nieuwe structuur van het SamenwerkingsOrgaan en de nieuwe overeenkomst aan de orde geweest. De VC BSP kwam in 1997 driemaal bijeen. Naast haar hoofdtaak, het adviseren van het SamenwerkingOrgaan over de toewijzing van aanvragen voor nieuwe projecten en voor verlenging van lopende projecten, werd over een aantal hiermee samenhangende onderwerpen gesproken. Een aantal onderzoekers van lopende samenwerkingsprojecten organiseerde wetenschappelijke bijeenkomsten om met vakgenoten uit binnen- en buitenland te discussieren over de onderzoeksbevindingen. De interuniversitaire werkgroep Logica en Informatiesystemen organiseerde wederom een groot aantal colloquia en bovendien een wetenschappelijke dag. Het jaarverslag 1996 werd, zoals gebruikelijk, op ruime schaal in- en extern verspreid, evenals het Onderzoekplan 1997. Ook de aanvraagbrochure voor nieuwe projectvoorstellen en verlengingsaanvragen werd in grote aantallen rondgestuurd in de beide instellingen.

20 Bijlage A

Verslag en activiteiten van de interuniversitaire werkgroep Logica en Informatiesystemen

0.

SOBU-onderzoek:mrojecten Afgerond: - T. Laan (TUB, 01.11.1993 tot 0 1.11.1997), De ontwikkeling van het typebegrip. Promotores: prof.dr. J. Baeten, dr. R. Nederpelt en prof.dr. H. de Swart. Proefschrift: The Evolution of Type Theory in Logic and Mathematics; 29.09.1997. - R. Seljee (KUB, 01.07.1991 tot 01.07.1996, 0.8 fte), Integriteit in Deductive Databases. Promotores: profdr. H.C.M. de Swart en prof.dr. P.M.E. de Bra. Proefschrift: FICCS, A Fact Integrity Constraint Checking System, 20.06.1997. In 1997 in uitvoering:

- L. Matthijssen (KUB, 01.03.1994 tot 01.03.1998), Intelligente interfaces voor juridische databanken. Bege1eiders: prof.mr. J.E.J. Prins, prof.dr. P. de Bra en dr. W. Voermans. - B. Knaack (TUB, 01.12.1994 tot 01.12.1997), Automatische Verificatie van Computer Systemen. Begeleiders: dr. R.T. Gerth en prof.dr. H.C.M. de Swart. Beeindigd per 01.12.1997. - M. Franssen (TUB, 01.01.1996 tot 01.01.2000), Ben ontwikkelomgeving voor correct programma ontwerp. Begeleiders: dr. C. Hemerik, dr. R.P. Nederpelt en prof.dr. H.C.M. de Swart. 1.

Promotie-onderzoek van 1eden van de werkgroep Twan Basten (TUB) heeft gedurende het afgelopen jaar zijn onderzoek naar algebraische verificatie van modulaire Petri netten en inheritance van dynamisch gedrag verder uitgewerkt. Bovendien heeft hij een begin gemaakt met zijn proefschrift. Roel B1oo (TUB) heeft zijn proefschrift afgerond en op 2 Oktober succesvol verdedigd: Preservation of Termination for Explicit Substitution. Andre Engels (TUB) heeft in samenwerking met Mauw en Reniers implementatie-aspecten van Message Sequence Charts, inzonderlijk buffers, onderzocht. In samenwerking met Cobben en Feijs is de taal LOGAN ontwikkeld. Michael Franssen (SOBU, TUB) heeft in 1997 gewerkt aan de theoretische verantwoording van de koppeling van 3 essentiele onderdelen van de programmeeromgeving. Deze onderdelen zijn: (1) een pure type system, (2) een automatische stellingenbewijzer, (3) een programmeerlogica. De koppeling tussen (1) en (2) is beschreven in een Eindhovens rapport (CSR 97-15). De koppeling tussen (1) en (3) zal nog worden beschreven.

21

Jan Hidders (TUE) heeft onderzoek gedaan naar de toepasbaarheid van graafmanipulatietalen zoals GOOD voor andere algemenere datamodellen zoals relationele datamodellen, functionele datamodellen en diverse objectgeorienteerde datamodellen. Herman Jurjus (KUB) heeft zijn proefschrift afgerond en op 3 december succesvol verdedigd: The Exception proves the Rule; non-monotonic logic via topology. Bart Knaack (SOBU, TUE) heeft in 1997 een duidelijk inzicht gekregen in implementeerbare criteria die gebruikt kunnen worden om partiele orde technieken te gebruiken bij het model-checken van real-time systemen. Een generalisatie van deze inzichten kan ook gebruikt worden voor andersoortige systemen. Luuk Matthijssen (SOBU, KUB) was bezig met de afronding van zijn proefschrift over toegangstechnieken voor juridische databanken. Als altematief voor de bestaande full-text retrievaltechnieken wordt in dit onderzoek een interface voorgesteld die is voorzien van een model van het (iuridische) taakdomein van de gebruiker. In het kader van dit onderzoek is een systeem ontwikkeld dat met behulp van zo'n taakmodel informatie ontsluit voor de taak van het schrijven van bezwaarschriften. Het doe I van het promotie-onderzoek van Aldo de Moor (KUB) is het ontwikkelen van een gebruikers-gestuurde specificatiemethode voor netwerk-informatiesystemen. Hij heeft zich in 1997 gericht op het onderliggende kennisrepresentatie-raamwerk, waarin hij ontologische en normatieve kennis modelleert in conceptuele grafen. Reinier Post (TUE) heeft in 1997 in deeltijd gewerkt aan zijn proefschrift, betreffende formalismen voor het ondervragen van op grafen gebaseerde databases, voor toepassing op hypertext. A graph can be drawn in many ways, including minimum crossings, orthogonal, polyline, straight-line, smallest angle, or maximum symmetrical display. It is impossible to draw a graph which can satisfy all of the properties, even two of them. Drawing a graph in minimum crossings is NP-hard, and drawing a graph in maximum symmetrical display is NP-hard too. Percy Pu (TUE) developed an algorithm that generates the solutions to these problems, and gives a trade-off for approximating minimum crossings and maximum symmetries. Eind 1996 is de tekstuele en grafische syntax van de taal MSC gestandaardiseerd door de ITU. In 1997 heeft Michel Reniers (TUE) een begin gemaakt met het definieren van een formele semantiek voor deze taal. Voor grote delen van de taal is er inmiddels zo'n semantiek. Daamaast is er gewerkt aan het in kaart brengen van de relatie tussen MSCs en communicatiemodellen. Ron Seljee (SOBU, KUB) heeft op 20 Juni zijn proefschrift succesvol verdedigd: FICCS; A Fact Integrity Constraint Checking System for the validation of semantic integrity constraints after updating consistent deductive databases. Jan Zwanenburg (TUE) heeft een uitbreiding van de tweede orde lambda calculus ontworpen, met subtypering en concatenatie van records, en een aantal eigenschappen van dit uitgebreide systeem bewezen. Daamaast heeft hij een uitbreiding van de Pure Type Systemen met subtypering onderzocht.

22 2.

Onderzoek van de overige leden van de werkgroep Hiervoor zij verwezen naar - het onderzoekprogramma van de sectie Logica en Taalanalyse Wijsbegeerte KUB, - het programma van de. Vakgroep Bestuurlijke Informatiekunde en Accountancy KUB, - het programma Informatiesystemen van de Vakgroep Informatica van de TUE - het programma Parallellisme van de TUE en - het onderzoekprogramma van de Vakgroep Encyclopedie van de KUB.

3.

Colloquium Door R.P. Nederpelt en H.C.M. de Swart werd in het kader van de werkgroep tweewekelijks het Zuidelijk Interuniversitair Colloquium (ZIC) over Logica en Informatiesystemen georganiseerd, waarvoor steeds een goede belangstelling bestond. Een lijst van voordrachten is bijgevoegd. Het voorziene colloquium aan de KUB over informatie systemen in een economische en juridische context is door drukke werkzaamheden van de organisatoren nog niet begonnen. Een en ander zal nu in 1998 gerealiseerd worden door Hans Weigand, Frank Dignum en Harrie de Swart.

4.

Symposium over Electronic Commerce Dit symposium vond plaats op 24 september 1997 aan de KUB en werd georganiseerd door dr. F. Dignum (TUE) en dr. H. Weigand (KUB). Er waren ongeveer 50 deelnemers. De sprekers waren: H. de Brabander (Ministerie EZ), Introductie F. Dignum (TUE), Electronic Commerce: een overzicht H. Konstapel (ABN-AMRO), Research topics concerning electronic commerce S. Kimbrough (USA), Towards a formal language for business communication Y. Tan (EUR), A requirements analysis for software environments for electronic commerce C. Girot (KUB), Legal obstacles in electronic commerce: the present state R. Lee (EUR), INTERPROCS, a tool for analyzing international trade procedures.

5. Workshop Language I Action Perspective '97 Genoemde workshop werd georganiseerd door Hans Weigand (KUB) en Frank Dignum (TUE) en vond plaats van 9 tot 11 juni 1997. De werkgroep heeft tevens een fmanciele bijdrage aan deze werkgroep gegeven.

Overzicht van de colloquia in het Zuidelijk Universitair Colloquium (ZIC) in 1997 04-02-97: Twan Laan (TUE) The origin of Propositions as Types and Proofs as Terms. 18-02-97: dr. Jaco v.d. Pol (TUE) Terminatie van hogere-orde herschrijfsystemen.

23

11-03-97: David Spelt (UT) Higher-Order Logic representation of 00 database schemas. 25-03-97: dr. Francois Monin (TOE/University of Savoie, France) The ProPre sytem and the ordinal measures. 08-04-97: dr. Bernd van Linder (Philips Research, IST) Formalizing agents. 13-05-97: dr. C. Huizing (TUE) Java. 27-05-97: dr.ir. Jan Friso Groote (TUE/CWI) A Process Verfication Methodology. 10-06-97: dr. Alex Hendriks (UvA) Propositional logics, programs and possible worlds. 24-06-97: dr. S. Mauw in samenwerking met ir. M.A. Reniers en drs. A.G. Engels (TUE) A hierarchy of communication models for Message Sequence Charts. 23-09-97: drs. Twan Laan (TUE) The Evolution of Type Theory in Logic and Mathematics. 30-09-97: drs. Roel Bloo (TUE) Lambda calculi with explicit substitution. 02-10-97: prof.dr. P. Lescanne (Ecole Normale Superieure de Lyon, L.I.P.) A direct proof of termination of a typed lambda calculus with explicit substitution. 21-10-97: drs. J.J. Vereijken (TUE) Discrete-tijd procesalgebra en het lege proces. 04-11-97: ir. Michel Reniers (TUE) Message Sequence Charts, een bodemloze put. 18-11-97: drs. Jan Zwanenburg (TUE) Yarrow, a proof-assistant based on Pure Type Systems.

24 02-11-97: dr.ir. Hans Tonino (TIJD) Semantiek van Many-sorted abstract State Machines. 16-12-97: Annette ten Teije (VUA) Automatische Configuratie van Probleem-oplosmethoden in Diagnose.

25

Bijlage B

Eindverslag samenwerkingsproject 92 W De ontwikkeling van bet typebegrip

Projectbegeleiding:

prof.dr. H.C.M. de Swart (KUB) dr. R.P. Nederpelt (TUE)

Proj ectuitvoerder:

drs. T.D.L. Laan

Vakgroepen:

informatica, Faculteit Wiskunde en Informatica - TUE wijsbegeerte, Faculteit Wijsbegeerte - KUB

Probleemstelling Het project beoogt inzicht te geven in de ontwikkeling van het begrip type in logica en wiskunde in de afgelopen honderdtwintig jaar. Hierbij wordt nadrukkelijk meer gedaan dan (een vorm van) geschiedschrijving. Type-systemen die in deze periode zijn ontwikkeld worden dan ook niet aileen formeel beschreven, ze worden ook vertaald naar een moderne terminologie die voldoet aan de eisen die heden ten dage aan formele type-systemen gesteld worden. Daardoor kunnen deze systemen binnen een en hetzelfde kader worden geplaatst, zodat een onderlinge vergelijking tussen deze systemen mogelijk wordt. Methode Het project volgt, chronologisch, de ontwikkeling van de type-theorie sinds Frege (1879). Een aantal belangrijke type-systemen wordt bestudeerd, waaronder ook minder bekende. Deze systemen worden beschreven in een tegenwoordig gebruikelijke terminologie, zonder dat de oorspronkelijke filosofie achter het systeem geweld wordt aangedaan. Hierdoor wordt een moderne, maar historisch verantwoorde beschrijving van de diverse type-systemen gegeven. Ook een aantal belangrijke ontwikkelingen binnen de type-theorie wordt beschreven en hun invloed op de hedendaagse type-theorie wordt besproken. Resultaten Het blijkt dat abstractie (een van de belangrijkste pijlers van de moderne type-theorie, functie-abstractie en functie-applicatie) reeds te vinden is in de theorie van Frege. Het abstractie-begrip van Frege wordt overgenomen door Bertrand Russell in diens Vertakte Type-theorie (VTT) (1908), die ontstaat als reactie op de logische paradoxen die rond de eeuwwisseling ontdekt werden. Het project geeft een formalisering van VTT. Met name het begrip functie-applicatie blijkt in het oorspronkelijke systeem slechts op informeel niveau aanwezig te zijn. Met behulp van technieken uit de moderne lambda-calculus kan een accurate formulering gegeven worden van de functie-applicatie zoals die aanwezig is in VTT. VTT bestaat uit twee hierarchieen: een van types en een van ordes. Door Ramsey (1926) wordt aangetoond dat de logische paradoxen ook vermeden kunnen worden met een enkelvoudige type-theorie, waarin geen hierarchic van ordes zit. Het project laat echter zien dat het begrip

26 orde nog steeds een belangrijke plaats inneemt in de logica. Het project legt een nauwkeurig verband tussen de ordes uit VTT en de waarheidsniveaus in Kripkes Theory of Truth (1975). Het blijkt dat Kripkes waarheidsniveaus kunnen worden gezien als een semantische interpretatie van het orde-begrip uit VTT. Behalve de vertaling van VTT in moderne terminologie beschrijft het project VTT ook in zogenaamde "propositions-as-types"-stijl. Hierdoor krijgt VTT een plaats binnen het raamwerk van "Pure Type Systems" (PTSs), een framework waarbinnen reeds vele moderne type-systemen zijn geclassificeerd. De type-theorie die ten grondslag ligt aan de proof checker Automath is reeds eerder geplaatst in het raamwerk der PTSs, maar daarbij is geen aandacht geschonken aan het definitiemechanisme en het parametermechanisme, die in Automath prominent aanwezig zjjn. In het project wordt eerst een nauwkeurige beschrijving van Automath gegeven. Daarna wordt het raamwerk van PTSs uitgebreid met een parameter-mechanisme. Dit raamwerk is zo opgesteld, dat de uitbreiding gecombineerd kan worden met de uitbreiding van PTSs met definities zoals omschreven door Severi en Poll. In het fijnere raamwerk dat zo verkregen wordt, PTSs met definities en parameters, worden niet aileen de verschillende Automath-systemen geclassificeerd. Ook andere belangrijke type-systemen, zoals de systemen die ten grondslag liggen aan LF en ML, kunnen met dit fijnere raamwerk nauwkeuriger beschreven worden. Conclusies Het project is in grate lijnen verlopen zoals voorgesteld in het projectvoorstel. De synthetische studie heeft onder andere geleid tot een framework van type-systemen dat een verfijning is van het framework voorgesteld door Barendregt (de zgn. Barendregt-kubus). In de aangebrachte verfijning kunnen * meer typesystemen geclassificeerd worden dan in de Barendregt-kubus (bv. Automath).

* systemen die reeds in de Barendregt-kubus waren geclassificeerd (zoals ML) worden op een meer natuurlijke wijze geplaatst. Inzet/mankracht Projectuitvoerder: dr. T.D.L. Laan (1993-1997, 1 fte). Projectbegeleiding: dr. R.P. Nederpelt, prof. dr. H.C.M. de Swart. De projectuitvoerder heeft twee maal circa vijf weken doorgebracht aan de University of Glasgow, alwaar intensief is samengewerkt met dr. F. Kamareddine. Publicaties

* * * *

T. Laan. A formalization of the Ramified Type Theory. Technical Report 94-33, TUE Computing Science Reports, Eindhoven University of Technology, 1994. T. Laan. A Modern View on the Ramified Theory of Types. In J.C. van Vliet, editor, Proceedings CSN 95, pages 122-133, Amsterdam 1995. Stichting Mathematisch Centrum. T. Laan and R.P. Nederpelt. A modern elaboration of the Ramified Theory of Types. Studia Logica 57(2/3):243-278, 1996. F. Kamareddine and T. Laan. A Correspondence between Nuprl and the Ramified Theory of Types.

27

*

* * *

*

Technical Report 96-12, TUE Computing Science. Notes, 1996. Also as Technical Report TR-1996-18, Department of Computing Science, University of Glasgow, 1996. F. Kamareddine and T. Laan. A reflection on Russell's ramified types and Kripke's hierarchy of truths. Journal of the Interest Group in Pure and Applied Logic, 4(2):195-213, 1996. T. Laan. The Evolution of Type Theory in Logic and Mathematics. Proefschrift, Technische Universiteit Eindhoven, 1997. T. Laan. Refining the Barendregt Cube using Parameters. In preparation. T. Laan. The historical development of the notions of functionalisation and instantiation in type theory. In preparation. M. Franssen en T. Laan. Embedding first..:order logic in a pure type system with parameters. In preparation.

28

Eindverslag samenwerkingsproject 94 C Automated Verification of Computer systems (AVOCS)

Projectbegeleiding:

Prof. dr. H.C.M. de Swart (KUB) Dr. R. Gerth (TUE)

Projectuitvoerder:

Ir. B. Th. Knaack

Yakgroepen:

sectie logica, Faculteit der Wijsbegeerte- KUB informatica, Faculteit Wiskunde en Informatica - TUE

Introductie Dit eindverslag is geschreven als afsluiting van het AVOCS project zoals dit is uitgevoerd bij het SOBU in de periode december 1994 tot december 1997. In dit verslag zal duidelijk worden gemaakt wat de doelstelling van het onderzoek was, wie bij het project betrokken waren, wat de resultaten van het project zijn geweest en waarom het project beeindigd is. Probleemstelling In de huidige informatietechnologie komt er steeds meer nadruk te liggen op de correctheid van programma's en computersystemen. Hierdoor is er een grote interesse ontstaan voor de automatische verificatie van computersystemen, waardoor de correctheid van een programma met betrekking tot een specificatie automatisch kan worden bepaald. Een van de gebmikte methoden hiervoor is model-checking waarbij alle bereikbare toestanden van een systeem worden gecheckt op hun correctheid. Een van de grote problemen bij model-checking is dat bij kleine systemen, het aantal bereikbare toestanden erg groot kan zijn. Hierdoor is de hoeveelheid geheugen die nodig is om een systeem automatisch correct te bewijzen erg groot. Om deze hoeveelheid terug te dringen, zijn een aantal reductietechnieken geintroduceerd. Omdat het toepassingsgebied voor model-checking verschuift van tijdsonafhankelijke systemen naar tijdsafhankelijke systemen, is het nodig om ook de bestaande reductiemethoden aan te passen. De vraagstelling van dit onderzoek kan dan ook het best door de volgende vragen verwoord worden: - In welke mate en op welke manier kan de automatische verificatie van computersystemen door middel van model-checking worden uitgebreid van tijdsonafhankelijke systemen naar tijdsafhankelijke systemen? - Op welke wijze kunnen reductiemethoden die gebruikt worden voor het verifieren van tijdsonafhankelijke systemen op bovengenoemde manier ook worden toegepast bij de verificatie van tijdsafhankelijke systemen? - Op welke manier kunnen theorem-proving technieken gebruikt worden om bovengenoemde verificatie methoden efficienter te maken?

29 Methode De planning van dit onderzoek voorzag in vier fases. Berst is door middel van een literatuurstudie het vakgebied onderzocht op reeds aanwezige oplossingen en studies op het gebied van real-time modelchecking. Vervolgens is een eigen formalisme opgezet om tijdsafhankelijke systemen te modelleren. Hierna is dit formalisme gebruikt om de bestaande reductietechnieken te bestuderen en tot een aanpassing van deze technieken voor tijdsafhankelijke systemen te komen. Nadat de nieuw ontwikkelde reductietechnieken correct bewezen zijn, zou een implementatie van de ideeen in een bestaande Model-Checker (SPIN) volgen, om door middel van experimenten te kijken in welke mate de reductietechnieken inderdaad succesvol zijn. Reden van beeindiging van het project Het A vocs project is om een aantal redenen beeindigd, waarbij twee redenen duidelijk de doorslag hebben gegeven: a. het beoogde onderzoek bleek niet origineel genoeg te zijn om tot een innovatief proefschrift te leiden, b. door het wegvallen van de TUE-begeleider is de omvang van de onderzoeksgroep te klein geworden. In het tweede jaar bleek dat een deel van de resultaten van het werk dat in de eerste twee jaar van het onderzoek gedaan was, reeds in een eerdere studie door D. Dill uitgewerkt was. De hieruit volgende theorie was ook reeds in gebruik bij een eerdere uitbreiding van het SPIN model-checking pakket. Helaas zijn deze studie en uitbreiding tijdens de literatuurstudie gemist. Verdere resultaten uit de eerste twee jaar onderzoek bleken tegelijkertijd ook in Denemarken uitgewerkt te worden, waarbij de resultaten ongeveer een maand eerder gepubliceerd werden dan dat de uitwerking in Eindhoven klaar was. Hierdoor leverde de eerste twee jaar geen zichtbaar nieuwe resultaten op. Aan het begin van bet derde jaar werd duidelijk dat in Frankrijk een onderzoeksteam met soortgelijk werk bezig was. Zodra daar de eerste resultaten van bekend werden bleek dat ook de nieuwste resultaten uit bet eerste dee I van het derde jaar door hen eerder bereikt waren. Kort hierop vertrok de eerste begeleider dr. R. Gerth uit Eindhoven. Daar hiermee een groot deel van de vakinhoudelijke kennis verdween en de voorgestelde vervangende begeleiding in ogen van de projectuitvoerder niet voldoende op de hoogte was van het vakgebied, heeft deze, gezien de staat van het onderzoek, besloten om bet project niet voort te zetten. Hierna is het op zijn verzoek tot een ontslagprocedure gekomen. Resultaten De resultaten zoals deze uit het onderzoek naar voren zijn gekomen zijn: - Ben discretisatie-methode voor tijdsafhankelijke systemen door gebruik te maken van zones, zoals eerder beschreven door D. Dill. - Ben voorstel tot aanpassing van partiele orde reductie technieken zoals deze door M. Vardi en P. Wolper zijn geintroduceerd voor tijdsonafhankelijke systemen zodat deze voor tijdsafhankelijke systemen gebruikt kunnen worden. - Ben bewijs van correctheid van de voorgestelde aanpassing en een set criteria om te komen tot een implementatie van deze aanpassing.

30

Conclusies Uit het onderzoek kunnen we concluderen dat de reductietechnieken, zoals deze voor tijdsonafhankelijke systemen zijn opgezet, inderdaad naar tijdsafhankelijke systemen kunnen worden omgezet. Door gebrek aan een implementatie hebben we helaas niet op experimentele wijze kunnen vast stellen hoe efficient de reductietechnieken zijn. Verder mogen we uit de literatuurstudie concluderen dat het hier om een vakgebied gaat waar veel interesse voor bestaat en waar op veel plaatsen in de wereld aan gewerkt wordt. Intemationale samenwerking met andere groepen op hetzelfde gebied is dan ook een onmisbare basis voor succesvol onderzoek. Publicaties De laatste twee punten uit de paragraaf 'Resultaten' zullen worden gepubliceerd in: Partial-Order Reduction Techniques for Real-time Model Checking, D. Dams, R. Kuiper, B. Knaack, Vires-report nr. 221. Samenwerking De samenwerking tussen de universiteiten is in dit project niet tot grote bloei gekomen omdat enerzijds het model-checking paradigma in Tilburg een te kleine bekendheid had en anderzijds omdat de theorem-proving technieken waarbij de inbreng van Tilburg het grootste zou zijn, weinig toepasbaar bleken voor de reductie methoden zoals die beoogd werden.

31 Eindverslag samenwerkingsproject 95 AB Determinanten van de behoefte aan en beleving van assortimenten Projectbegeleiding:

ir. K. Koelemeijer (KUB) dr. H. Oppewal (TUE) prof.dr. H. Timmermans (TUE)

Proj ectuitvoerder:

drs.

Vakgroepen:

architectuur, urbanistiek en beheer, Faculteit Bouwkunde TUE bedrijfseconomie, sectie marketing en marktonderzoek, Faculteit der Economische Wetenschappen- KUB

van der Pols

Probleemstelling Met dit project wordt beoogd meer inzicht te krijgen in de behoefte aan en beleving van assortimenten door consumenten, en daarmee in de effecten van assortimentskenmerken op keuzegedrag. Gelet op het werkterrein van de participerende vakgroepen worden assortimenten daarbij beschouwd op drie niveaus, nl. als winkelcentrum, winkel en productcategorie. Centrale vragen zijn: Welke functies vervullen assortimenten voor consumenten. Welke effecten hebben assortiments-, taak- en persoonsgebonden kenmerken op de behoefte aan en beleving van de substitutieerbaarheid, complementariteit en varieteit binnen en tussen assortimenten. Wat is de invloed van assortimentskenmerken op de vorming van keuzesets? Beantwoording van deze vragen is relevant voor zowel bedrijfseconomische als bouwkundige vraagstukken. Het project is gericht op (i) het theoretisch beter onderbouwen van bestaand assortiments- en keuze-onderzoek en (ii) op het ontwikkelen van nieuwe methoden voor belevings- en keuzeonderzoek naar assortimenten met behulp van stated preference of conjuncte meetmethoden. Fasering en Methode: yoorgenomen en feitelijke uitvoering 1. Literatuurverkenning. In de eerste fase van het project werd, zoals voorgesteld in de projectaanvraag, een literatuurverkenning verricht en zijn het conceptueel kader en de te toetsen hypothesen nader uitgewerkt. De fase resulteerde in een intern rapport (Vander Pols, 1997) dat als basis zal dienen voor verdere publicaties van de aanvragers (bijv. Koelemeijer en Oppewal, 1998). 2. Exploratief onderzoek. Er is een kleinschalig vooronderzoek verricht met enkele respondenten om een mogelijke opzet voor een stated preference taak te verkennen. Tevens is op basis van enkele diepte-interviews het conceptueel model nader bijgesteld. Daamaast is tijdens deze fase de opzet van het kwantitatieve deel verder uitgewerkt. Met name is gekeken hoe de in de aanvraag voorgestelde vormen van dataverzameling (experimentele en cross-sectionele methoden) zouden kunnen worden gecombineerd en aansluiting bij de in het model veronderstelde fasering van het keuzeproces van consumenten. Helaas moest door het vertrek van de uitvoerder het project worden beeindigd voordat deze fase voltooid was. 3. Kwantitatief onderzoek met behulp van "stated preference en choice" experimenten. 4. Kwantitatief onderzoek met behulp van cross-sectie data: De voorgenomen wijze van uitvoering is grotendeels ongewijzigd gebleven, zoals hierboven vermeld, is gewerkt aan nadere uitwerking van deze fasen. Resultaten

32

Het project heeft geresulteerd in een geactualiseerd literatuuroverzicht met betrekking tot assortimenten en consumentenkeuzegedrag. Daarnaast heeft de toespitsing en uitwerking van het conceptueel model en de te hanteren methode het de aanvragers mogelijk gemaakt een publicatie voor te bereiden over het onderzoek dat de basis vormde voor het huidige project. Inmiddels zijn ook vervolgprojecten opgestart waarin kan worden voortgebouwd op de resultaten van het huidige project. Tenslotte mag worden opgemerkt dat een van de belangrijkste resultaten van de eerste projectfase is geweest dat een capabele, gemotiveerde en goed opgeleide onderzoeker beschikbaar was voor de verdere uitvoering van het project. Helaas is door omstandigheden extern aan bet project deze onderzoeker niet !anger beschikbaar, waardoor het project moest worden stopgezet. Conclusies De eerste fase van bet project is voorspoedig verlopen en resulteerde in een literatuuroverzicht, een nadere uitwerking van bet te hanteren conceptuele model en een verdere uitwerking van de te volgen methode van onderzoek. Wegens een wijziging in haar carriere perspectiefverkoos de uitvoerder, mevr drs. E. van der Pols, echter na deze eerste fase niet verder aan het project mee te werken. Helaas stond SOBU niet toe dat een vervanger voor mevr. Vander Pols zou worden geworven. Het project is daarom per 1 juli 1998 beeindigd. Het literatuuroverzicht en de theoretische en methodische uitwerkingen blijken niettemin een goede basis voor verder onderzoek en worden als zodanig momenteel gebruikt voor vervolgonderzoek door de projectaanvragers. Inzet/mankracht drs. E. van der Pols, 38 uur per week (inclusief gevolgd onderwijs*) ir. K. Koelemeijer, 2 uur per week dr. H. Oppewal, 2 uur per week prof.dr. H. Timmermans, 1 uur per maand prof dr. Th. Verhallen, 1 uur per maand *) zie opleidingsplan Publicaties Vander Pols, Esther (1997). "Het winkel-keuzeproces van consumenten en de rol van assortimenten hierbij". Intern rapport. Koelemeijer, Kitty, en Harmen Oppewal (1997), "Substitution and Complementarity Within and Among Retail Assortments: An Experimental Choice Analysis," Paper presented to the INFORMS Marketing Science Conference, Berkeley, California, March 1997 Koelemeijer, Kitty and Harmen Oppewal (1998), "Using Choice Experiments to Investigate How Assortment Composition and Store Ambiance Affect Consumers' In-store Purchase Decisions: An Applicaton to Florist Stores", submitted to Journal of Retailing. Koelemeijer, Kitty en Harmen Oppewal (1998), "Het gebruik van keuze-experimenten en kruiseffecten-modellen voor bet analyseren van substitutie in assortimenten: Een toepassing op snijbloemen", te verschijnen in Onderzoek

33 Eindverslag samenwerkingsproject 96 I International comparisons of productivity in manufacturing in developing countries Projectbegeleiding:

prof.dr. J. James (KUB) prof.dr. A. Szirmai (TUE)

Proj ectuitvoerder:

ir. D.M. van Engelen

Vakgroepen:

techniekdynamica, Faculteit Technologie Management - TUE vakgroep algemene economie/Center for Economic Research, Faculteit der Economische Wetenschappen- KUB

Probleemstelling Het project stelt zich ten doel de ontwikkelingen in relatieve produktiviteitsverschillen tussen een tweetal ontwikkelingslanden (India en Indonesie) en de Verenigde Staten (de wereld produktiviteitsleider) voor een beperkt aantal industrieen te bepalen en te verklaren. Betreffende de verklaring van deze verschillen zal er in het bijzonder aandacht worden besteed aan de rol van technologie en technologische vooruitgang als determinant van produktiviteitsverschillen. Methode Het eerste jaar van het project is gewijd aan onderwijs, inlezen en het nadenken over de onderzoeksstrategie. Naast de kennismaking met het bredere theoretische kader waarbinnen het onderzoek zich afspeelt, is er tijd besteed aan het inlezen in het specifieke onderzoeksveld. Daartoe behoort een kennismaking met de ICOP (International Comparison of Output and Productivity) methodologie, met growth accounting, industrialisatie en industrialisatiebeleid, met de hoofdlijnen van economische ontwikkeling en industrialisatie in India en Indonesie, en de technological capabilities literatuur. Tevens is er industrie-specifieke literatuur verzameld, waarmee de eerste stap naar de samenstelling van een "industrialisatie-archief' voor India en Indonesie is genomen. Zowel het onderwijs als het inlezen hebben de gedachtegang en discussie over de te voeren onderzoeksstrategie danig aangescherpt. Probleemgebieden binnen het originele voorstel zijn gaandeweg gelokaliseerd. Dit heeft geleid tot discussies over het onderzoeksveld en de te hanteren methodologie. Met betrekking tot het onderzoeksveld heerst er op dit moment consensus dat het onderzoek zich binnen de ICOP/growth accounting traditie gaat afspelen. In tegenstelling tot het merendeel van dergelijke studies, zal het onderzoek zich niet op nationaal maar op sectoraal niveau afspelen. Daardoor schept het de mogelijkheid onopgeloste problemen binnen het ICOP project nader onder de loep te nemen, zoals het kwaliteitsprobleem en dubbele deflatie. Daamaast biedt het onderzoek meer inzicht in de rol van technologische ontwikkeling en kapitaal- en arbeidsaccumulatie als determinanten van groei (growth accounting), een wetenschappelijke discussie die op dit moment weer zeer actueel is. De keuze voor dit onderzoeksveld heeft geresulteerd in de formulering van een tweetal onderzoeksaanpakken. Enerzijds is een combinatie van stochastic frontier analysis en matched

34

plant comparisons overwogen. Nadelen van dat voorstel zijn echter dat een groot aantal bedrijven in zes maanden moet worden doorgelicht, en dat het accent sterk richting (ontwikkelings) economie verschuift. De rol van techniek en technologische vooruitgang komt enkel zijdelings aan de orde. Aangezien de rol van technologie een belangrijke plaats in het onderzoek dient in te nemen, is daarom gekozen voor de combinatie van best practice comparisons en gedetailleerde case studies. De keuze van een onderzoeksaanpak is samen gegaan met de keuze van een industrie waarop het onderzoek betrekking zal hebben. Er is een keuze gemaakt voor de schoenindustrie, die behoort tot de leer- en schoen-industrietak. Deze industrie vertoont in beide Ianden aanzienlijke produktiviteitsverbeteringen, wordt gekenmerkt door technologische verandering, en laat vooral in Indonesie sterke groei zien. Tevens is het een ontwikkelingsrelevante industrie. Tot slot biedt het ook nog de mogelijkheid international competitiveness te incorporeren in het onderzoek. Publicaties Gezien het vroege stadium waarin het project zich bevindt, is er nog niet gepubliceerd.

35

Bijlage C

SOBU-bijdrage aan de wetenscha;g;gelijke verslagen 1997

Onderzoekfonds Samenwerkende Brabantse Universiteiten Omvang van het onderzoek en aantal publicaties Eerste geldstroom:

f

1,6 miljoen (waarmee onder meer gerealiseerd werd 21,04 fte aio's en 2,34 fte onderzoekers*) Derde geldstroom : 0,06* (*gerekend naar de gemiddelde bezetting over 1997).

Dissertaties: 4 Overi~:

Aantal publikaties: Diss.

4

17

21

24

Interuniversitaire werkJ:rotmen: a. Dialoogvoering en Kennisopbouw (DenK), SOBU-zwaartepuntprogramma, metals deelprojecten: DK 4. Het Integratieproject. DK8a. DK8b. DK9. DK 10. DKll.

Natuurlijke taal Interface. Natuurlijke taal Interface. Dialoogmodellering in cooperatieve situaties. Temporaliteit in Constructieve Typentheorie. Constraints in een 3-D animatiesysteem

Werkverband Taal en Informatica, Faculteit der Letteren- KUB. Instituut voor Perceptie Onderzoek (IPO), waarin samenwerken de Faculteit Technologic Management en de N.V. Philips. Vakgroep Informatica, Faculteit Wiskunde en Informatica- TUE. b. Logica en Informatiesystemen (Lenl): Vakgroep Wijsbegeerte, Faculteit Wijsbegeerte- KUB. Vakgroep Bestuurlijke Informatiekunde en Accountancy, Faculteit der Economische

36 Wetenschappen - KUB. Vakgroep Encyclopedic, Faculteit der Rechtsgeleerdheid- KUB. Vakgroep Informatica, Faculteit Wiskunde en Informatica- TUE. Projecten: (afgesloten projecten waarvan nog wetenschappelijke bijdragen worden opgenomen, zijn hieronder niet meer vermeld)

1. 92 - W De ontwikkeling van het typebegrip. Vakgroep Wijsbegeerte, Faculteit der Wijsbegeerte- KUB Vakgroep Informatica, Faculteit Wiskunde en Informatica- TUE 2. 93 - CD Intelligente interfaces voor juridische databanken en juridische kennissystemen. Werkverband Centrum voor Recht en Informatisering, Schoordijk Instituut, Faculteit der Rechtsgeleerdheid - KUB Werkverband Taal & Informatica, Faculteit der Letteten- KUB Vakgroep Informatica, Faculteit Wiskunde en Informatica- TUE 3. 93 - K

De expressie van emoties in spraak. Vakgroep Psychologic, Faculteit der Sociale Wetenschappen- KUB Instituut voor Perceptieonderzoek - IPO , Faculteit Technologic Management - TUE

4. 93 - R

Encryptie van gegevens: justitiele en particuliere belangen. Vakgroep Strafrechtswetenschappen, Faculteit der Rechtsgeleerdheid- KUB Vakgroep Discrete Wiskunde, Faculteit Wiskunde en Informatica- TUE Vakgroep Techniek-dynamica, sectie Recht en Techniek, Faculteit Technologic Management - TUE

5. 93- Z

Waarde van informatie bij voorraadbeheer. Vakgroep Econometric, Faculteit der Economische Wetenschappen- KUB Vakgroep Logistieke Besturingssystemen, Faculteit Technologic Management - TUE

6. 94 - C

Automatische Verificatie van Computersystemen. Sectie Logica, Faculteit der Wijsbegeerte - KUB Vakgroep Informatica, Faculteit Wiskunde en Informatica- TUE

7. 94 - CB Dynamica onder ongelijkheidsnevenvoorwaarden. Vakgroep Econometric, Faculteit der Economische Wetenschappen- KUB Vakgroep Meten en Regelen, Faculteit Elektrotechniek- TUE

37

8. 94 - CE Op vakantie in Nederland. Vakgroep Vrijetijdwetenschappen, Faculteit der Sociale WetenschappenKUB Vakgroep Architectuur, Urbanistiek en Beheer, Faculteit Bouwkunde- TUE 9. 94- CH Validatie van neurofysiologische signalen. Vakgroep Psychologie, Faculteit der Sociale Wetenschappen- KUB Vakgroep Medische Elektrotechniek, Faculteit Elektrotechniek- TUE 10. 95 - AB Determinanten van de behoefte aan en beleving van assortimenten. Vakgroep Bedrijfseconomie sectie Marketing en Marktonderzoek, Faculteit der Economische Wetenschappen - KUB Vakgroep Architectuur, Urbanistiek en Beheer, sectie Urbanistiek, Faculteit Bouwkunde - TUE 11. 95 - AD Event-Related Dcsynchronisation en langzame herscnpotentialen. Vakgroep Psychologic, Faculteit der Sociale Wetenschappen- KUB Vakgroep Medische Elektrotechniek, Facultcit Elektrotechniek- TUE 12. 95- AF Een programmeeromgcving voor correct programmaontwerp. Vakgroep wijsbcgecrte, Faculteit der Wijsbegeerte- KUB Vakgroep Informatica, Faculteit Wiskunde en Informatica- TUE 13. 95- L Evenwichtsmodellen met algemene goederen. Vakgroep Econometric, Faculteit der Economische Wetenschappen- KUB Vakgroep Analyse, Faculteit Wiskunde en Informatica- TUE 14. 95- Q Stochastische modellering van de bevciliging van electriciteitsnctten. Vakgrocp Econometric, Faculteit der Economische Wctenschappen- KUB Vakgroep Elektrische Energiesystemen, Faculteit Elektrotechniek- TUE 15. 95- T Mobiele telecommunicatie: adoptie van standaarden en Europees-rechtelijke conscquenties in een nieuw tijdperk. Centrum voor Recht en Informatisering, Faculteit der Rechtsgeleerdheid KUB Vakgroep Techniekdynamica, Faculteit Technologic Management- TUE 16. 95- Y Ret gebruik van informatietechnologie bij integraal ketenbeheer: juridische en technische randvoorwaarden. Centrum voor Recht en Informatisering, Faculteit der Rechtsgeleerdheid KUB Centrum voor milieutechnologie, Faculteit ScheikundigeTechnologie - TUE

38

17. 96 E

Een gebouw voor liturgie, het liturgisch gebouw aan het begin van het derde millennium. Vakgroep Systematische Theologie/sectie liturgic- KUB Vakgroep Produktie en Uitvoering, Faculteit bouwkunde- TUE

18. 96- I

Internationale Produktsvergelijkingen in de nijverheid in ontwikkelingslanden. V akgroep Algemene Economic I Center for Economic Research, Faculteit der Economisehe W etenschappen - KUB Vakgroep Techniekdynamica, Faculteit Technologic Management- TUE

19. 96 U

Model for the assessment of the optimal sustainable energy technology mix for rapidly developing areas. Vakgroep Bestuurlijke Informatiekunde en Accountancy, Faculteit der Economische Wetenschappen - KUB Vakgroep WOC, Faculteit Werktuigbouwkunde- TUE

20. 96 UB Handleiding voor ouderen. Vakgroep Tekstwetenschappen, Faculteit der Letteren- KUB Vakgroep Psychologic en Taal in de Techniek, Faculteit Technologic Management -TUE 21. 96 UC De prosodische realisatie van tekststructuur. Vakgroep Tekstwetenschap, Faculteit der Letteren- KUB Vakgroep Perceptieleer, Faculteit Technologic Management- TUE 22. 97 J

Machine learning algorithms for linguistic aspects of speech synthesis. Vakgroep Taal en Informatica, Faculteit der Sociale Wetenschappen- KUB Vakgroep Wijsbegeerte en Maatschappijwetenschappen, IPO- TUE

23. 97 0

Berekening en selectie van speltheoretische evenwichten. Vakgroep Econometric, Faculteit der Economische Wetenschappen- KUB Vakgroep Wiskunde, Faculteit Wiskunde en Informatica - TUE

24. 97 X

Coherentie in instructies. Werkverband Tekstwetenschap, Faculteit der Letteren- KUB Vakgroep Psychologic en Taal in de Techniek, Faculteit Wijsbegeerte en Maatschappijwetenschappen

39 dissertaties Bij de TUE verdedigd Laan, T.D.L. (1997). The evolution oftypetheory in logic and mathematics. Co-operation centre Tilburg and Eindhoven universities, Tilburg University. 1 - 344. Promotoren: prof.dr. J.C.M. Baten, prof.dr. H.C.M. de Swart, co-promotor: dr. R.P. Nederpelt. ISBN 90-386-05315. Bij de KUB verdedigd Seljee, R.R. (1997). A fact integrity constraint checking system for the validation of semantic integrity constraints after updating consistent deductive databases. Co-operation centre Tilburg and Eindhoven universities, Tilburg University. 1 -218. Promotoren: prof.dr. H.C.M. de Swart & prof.dr. P.M.E. de Bra.

Bij de KUB verdedigd Vos, J.C. de (1997). Golden-Ten and related trajectory games. Co-operation centre Tilburg and Eindhoven universities, Tilburg University. 1 - 164. Promotoren: prof.dr. B.B. van der Genugten & prof.dr.ir. J. de Graaf, co-promotor: dr.ir. A.A.F. van de Ven. ISBN: 90-3610016-X. Bij de KUB verdedigd Zon, M.D.C.M. van. Speech processing in Dutch: a cross-linguistic approach. Co-operation centre Tilburg and Eindhoven universities, Tilburg University. 1- 203. Promotoren: prof.dr. B.L.M.F. de Gelder & prof.dr. R. Collier. ISBN 90-9010650-2.

40 wetenschappelijke publicaties sub 1 Bargeman, B. (1997). De keuze van de vakantiebestemming. Een multidisciplinaire benadering. De Psycholoog, 32 (7/8), 283-288. Bargeman, B. (1997). Dutch vacation decision making from an integrated theoretical perspective: an explorative study. Journal of Vacation Marketing, 3 (4), 327-340. Herings, P.J.J. (1997). Endogenously Determined Price Rigidities. Economic Theory, 9, 471-498. Herings, P.J.J. (1997). A Globally and Universally Stable Price Adjustment Process. Journal of Mathematical Economics, 27, 163-193. Herings, P.J.J., Laan, G. van der, Talman, A.J.J., & Venniker, R. (1997). Equilibrium Adjustment ofDisequilibrium Prices. Journal ofMathematical Economics, 27, 53-77. Van Hooff, J.C., Beer, N.A.M. de, Brunia, C.H.M., Cluitmans, P.J.M., Korsten, H.H.M. ( 1997). Event-related potential measures of information processing during general anesthesia. Electroencephalography and clinical Neurophysiology. 103,268-281. Koops, B.J. (1997). Crypto Regulation in Europe. Some key trends and issues. Computer Networks and ISDN Systems 29 (15), 1823-1831. Lengkeek, J., Bargeman, B. (1997). Voluntary Associations and Leisure: At the Core of Social Change. Loisir et societe/Society and Leisure, 20 (1), 237-254. Thoraval, L., Carrault, G., Schleich, J.M., Summers, R., Velde, M. van de, Diaz, J. (1997). Data Fusion ofElectrophysiological and Haemodynamic Signals for Ventricular Rhythm Tracking. IEEE Eng. Med. Bioi., Special Issue, 1997, 16, 6:48-55. Voermans, W (1997). Legimatica; informatica en communicatietechnologie in dienst van wetgeving, preadvies voor de landelijke toogdag van de Nederlandse V ereniging voor Informatietechnologie en Recht. Recht via de elektronische snelweg, NvviR, Leiden 1997, p. 89-108. Voermans, W., Matthijssen, L., Verharen, E. (1997). The LEDA-system. The New Review of Applied Expert Systems (NRAES), ISSN 1363-0244, 1997, vol. 3, p. 155-168. Voermans, W. (1997). Bringing IT-support for legislative drafting one step further: from drafting support to design assistance, in: M. Bar, C.A. Morand, La Methode Legislative, Verne Congres de 1'Association Intemationale de Methodologie Juridique (AIMJ)/Xeme Seminaire en Va1ais (Proceedings), Montreux/Sion 24-27 septembre 1997, p. 141-145

41 sub2 Bra, P. de, Houben, G.J., Dignum, F. (1997). Task-Based Information Filtering: Providing Information that is Right for the Job. Informatiewetenschap 1997 (ed. P.M.E. De Bra), 1997, pp. 11-15. REF Onderzoeksschool: SIKS. Boeker, K.B.E., Boxtel, G.J.M. van (1997). Stimulus-preceding negativity: a class of anticipatory slow potentiaal. Brain and Behavior: past present and future. Til burg: Tilburg University Press. 1997: 105-116. Houben, G.J., Bra, P. de (1997). World Wide Web Presentations for Volatile Hypermedia Database Output. Proceedings ofWebNet97, World Conference of the WWW, Internet & Intranet {S. Lobodzinski, I. Tomek, eds.), 1997, pp. 229-234. REF Onderzoeksschool: SIKS. Koops, B.J. {1997). Notaris, ik houd mijn sleutels liever zelf. Computerrecht 1997 (4), 150-154. Verheul, E., Koops, B-J., Tilborg, H. van (1997). Binding Cryptography. A fraud-detectible alternative to key-escrow proposals. The Computer Law and Security Report, 13 (1 ), 3-14.

vakpublicaties

Bekkers, R.N.A., Smits, J.M. (1997). Mobiele Telecommunicatie: Standaarden, regulering en toepassingen. Kluwer I Segment, Deventer. ISBN 90-5577-014-0, 393 pag. Bekkers, R.N.A., Smits, J.M. Mobiele Telecommunicatie: Europese netwerken, Kluwer I Segment, Deventer, 1997. ISBN 90-5576-114-1, 47 pag. Bekkers, R.N.A .. Smits, J.M. (1997) #De ontwikkeling van mobiele communicatiesystemen.#. Elektronica voor markten van morgen. 89-124, Kluwer, Deventer. Beun R-J., Piwek, P. (1997. Pragmatische features in DenK: PRAGTAGS Tilburg/Eindhoven: SamenwerkingsOrgaan Brabantse Universiteiten. Franssen, M. (1997), Tools for the Construction of Correct Programs: an Overview (Computing Science Report 97-06). Eindhoven University ofTechnology. Department of Mathematics and Computing Science. Franssen, M. (1997). Lambda: P A Pure Type System for First Order Logic with Automated Theorem Proving (Computing Science Report 97-15) Eindhoven University of Technology. Department of Mathematics and Computing Science. Heemels, W.P.M.H., Schumacher, J.M., Weiland, S. Linear Complementarity Systems series:

42

Measurement and Control Systems - Internal report series-nr: 97IIO 1 department: Eindhoven University of Technology, Dept. of Electrical Engineering, Measurement and Control Systems. Janssen, F.B.S.L.P., de Kok, A.G. (1997). The optimal number of suppliers in an (s,W) inventory system with order splitting. CentER discussion paper 9761, Tilburg University. Janssen, F.B.S.L.P., De Kok, A.G. (1997). The fill rate service measure in an (s,Q) inventory system with order splitting. CentER discussion paper 9762, Tilburg University. Kievit, L. (1997). "Clues I", (SOBU DenK Report 97/30). Tilburg/Eindhoven: SamenwerkingsOrgaan Brabantse Universiteiten. Koops, B.J. (1997). Regulating Cryptography is Harder than You Think, so the Government experiences. XOOTIC Magazine 4 (1), 11-14. Koops, B.J. (1997). Een richtlijn zonderrichting. IT&Recht 2 (3), 1-3. Koops, B.J. (1997). TEMPEST- een beeldige opsporingsmethode. IT&Recht 2 (5), 1-3. Koops, B.J. (1997). Hoe voorzienbaar is 2000? Over aansprakelijkheid bij het millenniumvraagstuk. Management & Informatie 5 (6), 41-50. Salden, J.H.L. (1997). EEG stationarity detection using classical and auto-regressive methods. M.Sc. Thesis. Eindhoven: Eindhoven University of Technology, The Netherlands, 1997. Voermans, W. Juri cas Curator: hulp bij surseance en faillissement. R&EM; het computertijdschrift voor de jurist, W.E.J. Tjeenk Willink, Deventer, jg 2, 1997, 1, ISSN 13852736, p. 18-19. Voermans, W. (1997). Leuker kunnen we het niet maken .... R&EM;, W.E.J. Tjeenk Willink, Deventer, jg. 2, 1997, 1, ISSN 1385-2736, p. 22-23. Voermans, W. (1997) Juricas Algemene voorwaarden. R&EM; het computertijdschrift voor de jurist, W.E.J. Tjeenk Willink, Deventer,jg. 2, 1997,2, ISSN 1385-2736, p. 7-9. Voermans, W. (1997). Boeken met CD-ROM's ofCD-ROM's met boeken. R&EM; het computertijdschrift voor de jurist, W.E.J. Tjeenk Willink, Deventer, jg. 2, 1997, 2, ISSN 13852736, p. 22-23. Voermans, W. (1997). Intelligente tekstverwerkers?. R&EM; het computertijdschrift voor de jurist, W.E.J. Tjeenk Willink, Deventer, jg. 2, 1997, 3, ISSN 1385-2736, p. 3. Voermans, W., Matthijssen, L. (1997). Twee weten meer dan een; de CD Awb van Vuga en Sdu. R&EM; het computertijdschrift voor de jurist, W.E.J. Tjeenk Willink, Deventer, jg. 2, 1997, 4, ISSN 1385-2736, p. 3-5.

43

overige onderzoekoutput Bargeman, B., Joh, C.H,., Timmermans, H. (1997). A typology of tourist choice of travel destination and duration: the Dutch case. Paper presented at the FUTROINWO workshop 'Battle for the tourist', Eindhoven, The Netherlands, 8-10 June 1997. Bastiaansen, M.C.M. Boeker, K.B.E. Brunia, C.H.M. Cluitmans P.J.M. (1997). Patterns of event-related desynchronization related to the anticipation of a stimulus providing knowledge of results. 3rd European Congress ofPsychophysiology, May 28-31, Konstanz, Germany. Bastiaansen, M.C.M., Boeker, K.B.E., Brunia, C.H.M. (1997). Event-related desynchronization and the P300. Electroencephalography and Clinical Neurophysiology, 1997, 103: 155. Bekkers, R.N.A. (1997). Formal (European) Standards versus Industry Standards for Mobile Communications, Interdisciplinary Workshop on Standardization Research, University of the Federal Armed Forces Hamburg, 20-23 May 1997. Bekkers, R.N.A. (1997). Europese telecommunicatienormen: macht of onmacht van de Europese Unie?. Techniekdynamica Onderzoekscolloquium TUE, 8 oktober 1997. Heemels, W.P.M.H., van Eijndhoven, S.J.L., Stoorvogel, A.A. (1997). Linear Quadratic Regulator Problem with Positive Controls conference: European Control Conference. Brussels, 1-4 July 1997. paper no. : 470 Heemels, W.P.M.H., Schumacher, J.M., Weiland, S. (1997). Complete description of dynamics in the linear complementarty-slackness class of hybrid systems conference: Conference on Decision and Control place: San Diego 10-12 December 1997. pages: 1243-1248. Houben, G.J., Dignum, F. (1997). Integrating Information for Organized Work. Proceedings of the 4th KRDB Workshop: Intelligent Access to Heterogeneous Information (F. Baader, M.A. Jeusfeld, W. Nutt, eds.), 1997, also at http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WSNol-8/. REF Onderzoeksschool: SIKS. Houben, G.J. (1997). Work Activity Coordination: It is not just business processes, it is intelligent people too. International Workshop on Reserach Directions in Process Technology, 1997. REF Onderzoeksschool: SIKS. Koops, B.J. (1997). Crypto Regulation in Europe. Some key trends and issues. H. Lubich, & P. Rendek (Eds.), 8th Joint European Networking Conference, 12-15 May 1997, Edinburgh, (pp. 811/1-8)

44 Koops, B-J. (1997). 'Crypto Regulation in Europe. Some key trends and issues', 8th Joint European Networking Conference, Edinburgh, 12 mei 1997. Koops, B-J. (1997). 'The Politics of Cryptography- or why the police wants your keys', Hacking In Progress, Almere, 10 augustus 1997. Kralingen R.W. (1997). Frame-based conceptual models of statute law/Peppijn R. Visser, Knowledge specification for multiple legal tasks (boekbeschouwing), in: Rechtsgeleerd Magazijn Themis,jg. 158, nr. 1, 1997, p. 28-34. Kralingen, R.W. van (1997). A Conceptual Frame-based Ontology for the Law. In: Proceedings of the First International Workshop on Legal Ontologies (LEGONT'97), 4 Juli 1997, University of Melbourne, Melbourne, Australia, pp. 15-22. refereed publication. Quist, M.J., Bastiaansen, M.C.M., Margarita, O.R.E., Cluitmans, P.J.M. (1997). Estimation of a smoothing parameter for Spherical Splines on single trial data. Proceedings of the 8th World Congress of the International Society for Brain Electromagnetic Topography (ISBET), March 6-8, 1997, Zurich, Switzerland. Van de Velde, M., Ghosh, l.R. (1997). Validation of the EEG in ICU patients: classification of signal characteristics and detection of non-stationary events. (Abstract) contribution to: Workshop on Techniques and Interpretation ofEEG and Evoked Potentiaal in Intensive Care and Anaesthesia for IBIS Data Collection, Copenhagen, 11-12th October 1997. Verlinden, M. (1997). A practical treatment ofbare plurals without empty determiners. 6. Fachtagung der Sektion Computerlinguistik DGfS-CL, 8-10 okt.'97, Heidelberg. Verlinden, M. (1997). An efficient implementation of optional specifiers. Eighth CLIN Meeting, 12 dec.'97, Nijmegen. Verlinden, M. (1997). A practical treatment of bare plurals without empty determiners. In 'Beitrage zur 6. Fachtagung der Sektion Computerlinguistik DGfS-CL'. Heidelberg, Institut fur Logik und Linguistik der IBM Deutschland Informationssysteme GmbH, 6 pages. (geen paginanummers, geen redacteuren, programma commissie: Block, H., Hoelter, M., Kiss, T., Meyer-Klabunde, R., Nerbonne, J., Ney, H., Pinkal, M. & Rollinger, C.) Visser, P.R.S., Kralingen, R.W. van, Bench-Capon, T.J.M. (1997). A Method for the Development of Legal Knowledge Systems. Proceedings of the !CAlL '97, ACM, ISBN 089791-924-6, Melbourne, Australia, pp. 151-160. refereed publication. Voermans, W., Kralingen, R.W. van (1997). Bringing IT-support for legislative drafting one step further: from drafting support to design assistance, (summary). Proceedings of the Sixth International Conference on Artificial Intelligence and the Law, June 30-July 3 1997, Melbourne 1997, p. 259.

45

Voermans, W. Kralingen, R.W. van (1997). Bringing IT support for legislative drafting one step further: from drafting support to design assistance. ICAIL Poster Proceedings, La Trobe University, Australia, M. Gaw1er (ed.), pp. 49-53. refereed publication. Voermans, W., Kralingen, R.W. van (1997). Bringing IT-support for legislative drafting one step further: from drafting support to design assistance, in: M. Gawler (ed. ), Artificial Intelligence & the Law ICAIL-97, June 30 -July 3, p. 49-53.

46

Samenstelling van bet SamenwerkingsOrgaan Brabantse Universiteiten per oktober 1997*

namens de Katholieke Universiteit Brabant prof.dr. L.F.W. de Klerk

voorzitter

prof.dr. L.G.M. Noordman

voorzitter Vaste Commissie Beoordeling Samenwerkingsproj ecten

prof.dr. F.A. van der Duyn Schouten

namens de Technische Universiteit Eindhoven prof.dr. M. Rem prof.dr.ir. P. van den Bosch lid van buiten: dr. P. Tindemans

secretarissen van het SamenwerkingsOrgaan Brabantse Universiteiten

mevr.mr. K. Leurs mevr.drs. M. Wagemans

* Op 13 oktober 1997 is de nieuwe samenwerkingsovereenkomst KUB- TUE herzien, waarin een nieuw SOBU-bestuur is vastgesteld.

47 Bijlaee E

Samenstelline van de Vaste Commissie Beoordelin& Samenwerkinesprojecten (VC BSP) in 1997

prof.dr. J.C.M. Baeten

(vanafjuli 1997)

prof.dr. P.M. Bagchus

(totjuli 1997)

prof.dr. H. Bouma prof.dr. J.A.P. Hagenaars

prof.dr. C. Midden

(vanaf november 1997)

prof.dr. L.G.M. Noordman

(voorzitter)

mevr.prof.mr. J.E.J. Prins prof.dr. H.J.P. Timmermans prof.dr. J. Wessels prof.dr. A.J. de Zeeuw

secretarissen van de VC BSP

mevr.mr. K. Leurs mevr.drs. M. Wagemans

(tot juli 1997)

48

Bijlaee F

Overzicht medewerkers en uitvoerders

stafbureau mevr. H. Ghering

(secretaresse) **)

mevr.mr. K. Leurs

(secretaris/hoofd stafbureau)**)

mevr. E. van Loon

(secretaresse) **)

mevr. M. Reijven

(secretaresse) *) **)

mevr.drs. M. Wagemans

(secretaris/hoofd stafbureau) **)

samenwerkingsprojecten ir. R. Ahn **)

ir. M. van de Velde*)**)

drs. A. Arts *) **)

mevr.ir. M.E.M.C. Verlinden

mevr. ir. A. Bargeman **)

ir. B. Vermeulen

drs. M. Bastiaansen

mr. T.deWit

ir. N. van Beeck*) **)

drs. W.J.J.M. Wijnen*)**)

ir. R. Bekkers **) dr.ir. R-J. Beun **) dr. V. Borghuis drs. G. Busser ir. D. van Engelen *) ir. M. Franssen ir. W. Heemels drs. F. van Horen *) ir. F.B.S.L.P. Janssen ir. S. de Jonge *) drs. L.A. Kievit ir. B.T. Knaack*)**) drs. E.J. Koops drs. T. Laan *) drs. L. Matthijssen mevr.drs. S. Mozziconacci **) drs. H. den Ouden*)**) drs. R. Peeters*) drs. P. L.A. Piwek drs. E. van der Pols*)

*) niet gedurende geheel1997 werkzaam

mevr.ir. S. Schalk **)

**) deeltijds