• Docent: Michael Moortgat
• Werkcolleges: Michiel Hildebrand
• Ondersteuning 'Kwaliteit en Studeerbaarheid': Willemijn Vermaat
• Course-ware prakticum: Richard Moot

Cursusbeschrijving

De structuur van talen lijkt op het eerste gezicht erg verschillend. Toch is het bouwplan in zekere zin steeds hetzelfde: een taal beschikt over een eindige voorraad woorden (of vergelijkbare kleinste elementen) en over een eindige voorraad bewerkingen om grotere configuraties te bouwen uit kleinere. Bij de kleinste elementen is de verhouding tussen vorm en betekenis willekeurig (konijn, rabbit, lepus : wat past er niet in het rijtje?). Maar bij de bewerkingen is er een systematisch verband tussen de vorm- en de betekenisopbouw.

Welke eigenschappen hebben de grammaticale hoofdbewerkingen? Schrijven we A·B voor de combinatie van een uitdrukking A en een uitdrukking B. Het wordt snel duidelijk het rekenkundige vermenigvuldigen eigenschappen heeft die betekenisvolle taalpatronen verstoren. Commutativiteit (A·B = B·A) zou inhouden dat volgorde er niet toe doet. Vergelijk echter `man bijt hond' en `hond bijt man'. En ook Associativiteit, (A·B)·C = A·(B·C), wist relevante patrooninformatie uit: beschouw misleidende afbrekingen als `massa-gebed', of `massage-bed'.

In het hoorcollege bestuderen we een aantal convergerende ontwikkelingen in de wiskundige logica en de taalkunde die ons in staat stellen om structuur en werking van het grammaticale rekensysteem nauwkeurig in kaart te brengen. In het werkcollege en computerpracticum kan je de theoretische kennis omzetten in de praktijk, en ga je zelf aan de slag met een grammaticaal expertsysteem.

Terug naar de top van deze pagina

Hoorcollege

• Dinsdag 13.00-15.00, Minnaert 2.11 (op 23/5: 2.08)
• Donderdag 13.00-15.00, Minnaert 2.11

• Sessie 23/5
• Sessie 25/5
• Sessie 30/5
• 1/6: Hemelvaart. Geen college.
• Sessie 6/6
• Sessie 8/6
• Sessie 13/6
• Sessie 15/6
• Sessie 20/6
• Sessie 22/6
• Sessie 27/6
• Sessie 29/6

Terug naar de top van deze pagina

Werkcollege/computerpracticum

• In het werkcollege maak je in groepsverband 'pen-en-papier' oefeningen om de `rekenregels' van de grammaticale logica onder de knie te krijgen.
• De tweede werkvorm is een computerpracticum. Course-ware voor dit onderdeel is het GRAIL systeem, ontwikkeld door Richard Moot (OTS). Het thema voor het practicum is een natuurlijke-taal interface voor het raadplegen van een databank (de 'CKI Movie Database'). We starten met een zeer eenvoudige databank van filmgegevens, en een elementaire interface, en bouwen gaandeweg zowel de databank als de interface mogelijkheden uit.

De werkvormen staan samen voor 3/10 van je eindcijfer voor dit college. Opgaven en resultaten vind je op de Werkcollege/Computerprakticum webpagina.

Terug naar de top van deze pagina

Tentamen

• Datum: 6 juli 2000
• Tijd: 14.00 tot 17.00
• Plaats: Unnik 211/311

Het gaat om een 'open-boek' tentamen: je mag gebruik maken van de Reader. Het tentamen test je begrip van de volgende onderwerpen die in het college aan bod zijn gekomen:

• Oplossen van type-vergelijkingen
• Afleidingen in 'algebraisch' formaat
• Gentzen afleidingen
• Natuurlijke deductie en de semantische interpretatie van afleidingen
• Structurele regels

LEESOPDRACHT: één tentamenvraag is gebaseerd op het artikel 'Meaningful patterns' in de Reader. Lees dat artikel dus als voorbereiding op het tentamen!

Opgaven en uitwerkingen vind je (na 17.00) hier: [scherm], [print]. Kijk ook naar de resultaten.

Terug naar de top van deze pagina

Achtergrondlectuur

In het Handbook of Logic and Language vind je een overzichtsartikel over de stof van dit college. Hieronder een uittreksel met de meest relevante secties. De PDF versie is voorzien van uitgebreide navigatie instrumenten. Je kan deze versie bekijken met de Acrobat Reader/plug-in (zo nodig op te halen bij www.adobe.com).

• 'Categorial type logics'. Secties 1 t/m 4 uit Hoofdstuk 2 in J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier/MIT Press, 1997. (pdf)

Terug naar de top van deze pagina