Search
Nederlands
  Prospectuses 2011-2012
Radboud universityProspectusesFaculty of Social Sciences > 2011-2012 Kunstmatige Intelligentie Bachelor

Beweren en Bewijzen 


(Course ID)
Vakcode
NWI-IPI004
(Credits)
Studiepunten
6
(Scheduled)
Periode
second semester
Toelatingsvoorwaarden (Prerequisites)
Vertrouwd zijn met het verschil tussen een informele en een formele benadering op het niveau van de cursus Formeel Denken, Discrete Wiskunde of een vergelijkbare cursus. Enige ervaring met modellering. Enige ervaring met een aantal formele programmeer- en modelleringstalen.
Doelstelling (Objectives)

Algemene bekwaamheden

  • inconsistenties en incorrectheden aanwijzen in niet deugende uitspraken
  • heldere, consistente en correcte uitspraken formuleren
  • de correctheid van eigen beweringen beredeneren
  • oplossingen systematisch kunnen afleiden c.q. een systematische afleiding presenteren
  • actief en constructief meewerken aan het verhelderen van onduidelijke uitspraken
  • teksten en discussies structureren d.m.v. begripsdefinities
  • het onderscheid kunnen aangeven tussen natuurlijke taal en formele talen
  • professioneel kunnen omgaan met verschillende notaties voor dezelfde taal

Specifieke bekwaamheden Logica

a) propositie- en predikatenlogica
  • herkennen welke redeneerproblemen met propositielogica worden aangepakt en welke niet
  • beweringen in natuurlijke taal omzetten naar logica
  • de betekenis van logische formules helder in natuurlijke taal weergeven
  • de betekenis van de regels voor natuurlijke deductie aangeven
  • eenvoudige beweringen bewijzen of weerleggen met behulp van natuurlijke deductie
  • bewijzen netjes opschrijven
b) propositielogica
  • voor gegeven beweringen de waarheidstabel opstellen
  • voor gegeven beweringen aangeven of deze tautologisch zijn
  • redeneerfouten herkennen en blootleggen
  • aangeven welke verzamelingen van voegtekens al dan niet functioneel volledig zijn
c) informatica
  • relevante eigenschappen van eenvoudige ingebouwde real-time-systemen en hun onderdelen logisch specificeren
  • de juistheid van logische specificaties aantonen
  • systemen hierarchisch onderverdelen
  • op basis van logische specificaties bewijzen dat een uit de juiste onderdelen samengesteld systeem de verlangde eigenschappen heeft
  • systeemanalyse, systeemontwerp en correctheidsbewijs helder presenteren
  • het verband aangeven tussen logische en enkele andere specificatieformalismen
Inhoud / Omschrijving (Contents)
Hoe bereikt men helderheid? Wanneer is een bewering waar? Wanneer doet een ICT-systeem wat het moet doen? We beschouwen verschillende toepassingsgebieden van taal, juridische wetten bijvoorbeeld, en contracten. Voor informatici belangrijke speciale gevallen zijn specificaties (als contract) en algoritmen (uitvoeringsvoorschriften, speciale gevallen van een speciaal geval van wetten). We gaan uit van uitspraken in natuurlijke taal. Deze gaan we
  • analyseren en beperken tot constructies die we echt begrijpen, en
  • formaliseren, d.w.z. in een notatie gieten met een goed gedefinieerde betekenis.
Vervolgens gaan we
  • bestuderen, aan welke regels deze formele uitspraken onderhevig zijn en hoe men tot aantoonbaar ware uitspraken kan komen,
  • dit toepassen op de ontwikkeling en validatie van systemen die doen wat ze moeten doen,
  • dit alles exemplarisch vergelijken met benaderingen, gebaseerd op enige andere formalismen (SQL, state based systems).
Literatuur (Literature)
Aangeraden: een leerboek over predikaatlogica en natuurlijke deductie, bijvoorbeeld J.F.A.K. van Benthem et al.: Logica voor informatica; Pearson Education Benelux, 2003, ISBN 90-430-0722-6 of een oudere of nieuwere oplage. Het is een boek waar je ook later nog veel aan kunt hebben. In deze cursus gebruiken we er alleen bepaalde onderdelen van. Je mag ook oudere oplagen of een ander boek gebruiken.
Werkvormen (Teaching methods)
  • 40 uur groepsgewijs college
  • 40 uur hoorcollege
  • 1 uur onbegeleid individueel project werk
  • 50 uur projectwerk
  • 37 uur zelfstudie
Toetsingsvorm (Exam)

De cursus bestaat uit een aantal inhoudelijke blokken. Elk blok wordt afgesloten met een schriftelijk deeltentamen. Ook maak je een groot werkstuk. Voor elk schriftelijk tentamen en voor het werkstuk moet je ten minste een 5,5 hebben.

Het werkstuk maakt 50% van het cijfer uit, de gemiddelde resultaten van de schriftelijke tentamens ook 50%.

Herkansingsmogelijkheid voor elk onderdeel een paar weken later.

Inschrijving ( Enrollment )
Through Student Portal
Bijzonderheden (Extra information)