Studiewijzer 2020/2021
Globale inhoud
Kennis en Data syllabusContent
- Datanose
- Docent, times
- Literature
- Lecturenotes and Slides
- Software
- Week by Week/Course Plan
- Examination/toetsing
Docent
- Lecturer: Maarten Marx, http://staff.fnwi.uva.nl/m.j.marx
- For assistants, times, see Datanose
Eindtermen/leerdoelen
- Je kent de talen van de propositielogica en de predicaatlogica, en kunt daarheen en terug vertalen vanuit het Nederlands.
- Je kunt soepel werken met en begrijpt tot in de puntjes de semantiek van de logische connectieven en de kwantoren.
- Je weet wat een geldige redenering is, en kunt een tegenvoorbeeld maken bij een ongeldige redenering, en een bewijs voor een geldige.
- Je bouwt een theorem prover voor propositielogica.
- Je bouwt een functioneel equivalent van een SPARQL endpoint voor conjunctive queries.
- Je kunt een kennisbank opbouwen in RDF + RDFS en daar ook verdere beperkingen in diverse logische formalismes aan opleggen.
- Je hebt kennis gemaakt met (het gebrek aan) uitdrukkingskracht van formele talen, en met het verband tussen uitdrukkingskracht en computationele complexiteit van kennis en data vraagstukken.
- Je weet wat het semantische web is, wat een graaf kennis bank is en kunt die bevragen met SPARQL.
- Je kunt een aansprekende data gedreven applicatie maken gebaseerd op de kennis in Wikipedia, die je daaruit haalt met SPARQL, en verder verwerkt met Python en web technologieen, als Markdown, LaTeX, CSS, HTML, en moderne interactieve visualisaties zoals bijvoorbeeld plotly.
- Je kunt je eigen werk en dat van anderen wetenschappelijk en kwantitatief evalueren aan de hand van de begrippen precisie en pakkans, en geldigheid en volledigheid.
- Je leert samen te werken in teams, elkaar te stimuleren en om hulp te vragen, en jezelf en je teamleden te beoordelen.
Literature
All books are freely and legally available on the web:
Lecturenotes and Slides
Each week/topic will be accompanied by videos, lecture notes and/or slides. These notes are typically IPython Notebooks or MarkDown files.
Slides and Notes can be found in the Files tab in Canvas.
Software
We make use of Jupyter notebooks and Python 3. We will use several modules which are all easily installed with `pip` or `conda`.
You must have all this software installed on your own laptop.
We strongly advice you to install the Anaconda Python Distribution. This distribution contains most of the necessary modules and packages needed for this course. It is available for all platforms and provides a simple installation procedure/ You can download it from: http://continuum.io/downloads. More detailed installation instructions.
We assume you know quite some Python and are able and willing to learn more.
Weekly course plan
Je vindt het up to date en complete plan per week onder modules op canvas. Hier een ruw overzicht.
| Week |
Topic |
| 0 |
Test your Python skills |
| 1 |
Introductie, overzicht, propositielogica |
| 2 |
Intro Knowledge Graphs, Modeleren, Predicaat Logica (eigenschappen en 2-plaatsige relaties) |
| 3 |
* Meer predicaatlogica * Geldig redeneren * Automatisch checken van een bewijs * Afleidingen automatiseren |
| 4 |
Exam |
| 5 |
RDF en RDFS |
| 6 |
SPARQL, querying knowledge graphs |
| 7 |
More SPARQL and knowledge graphs * The twee fundamentele maten in de wetenschap * Precisie en Pakkans; Soundness and Completeness * Combining machine learning and reasoning |
| 8 |
geen les, afmaken laatste opdracht |
Examination/toetsing
We assess progess in this course by weekly group assignments which are graded, and by one (individual) exam in week 4.
For grading exams, we follow in this course the rules of the OER, which can be found at http://student.uva.nl/ifk/az/item/onderwijs-en-examenregeling-oer.html.
Your final grade is composed as follows
- 1 exam: 40%
- 6 assignments (each 10%).
All assignments can be found on Canvas under the Assignments tab in the menu.
Becijferen van de groepsopdrachten
Dit gaat op een leuke manier.
- Groepjes bestaan uit 4 personen die allemaal uit 1 "klas" (=groep op datanose) komen. Groepjes wisselen elke week en worden willekeurig door de computer samengesteld.
- De opdracht als geheel krijgt een cijfer. Soms automatisch, soms van de tutor, en soms van de andere groepjes binnen jouw groep.
- Binnen ieder groepje geeft elk lid voor alle leden (inclusief jezelf) de bijdrage aan de opdracht aan. Je verdeelt steeds 1 punt over 4 groepsleden.
- Het cijfer per groepslid wordt is dan het groepscijfer gewogen met het totaal ontvangen delen.
- Bij elke opdracht staat een rekenvoorbeeld.
Inleveren en beschikbaarheid van de groepsopdrachten
- Inleveren is steeds via Canvas voor vrijdag om 12:00.
- Daar vlak na komen alle ingeleverde opdrachten voor iedereen beschikbaar via het web.
- Je hebt het weekend om de opdrachten van de andere groepjes in jouw klas (en wie weet ook uit andere klassen) te bestuderen, en wanneer dat moet, te becijferen.
- Elke maandag/dinsdag komt je klas bij elkaar en bespreken we in de klas de gemaakte opdrachten. We streven ernaar om dan ook de cijfers beschikbaar te hebben.
Rooster en Aanwezigheid
- Hoorcolleges zijn niet verplicht.
- Werkcolleges zijn verplicht, zoals beschreven in de OER.
- Aanwezigheid wordt genoteerd alleen bij aanvang van het college
- Volgens de OER moet je in 95% van de werkcolleges aanwezig zijn.
- We hebben er maar 6 en dat betekent dus allemaal.
- De aanwezigheid met camera aan en actieve inbreng is onderdeel van het individuele cijfer van die week.
- Als je er niet bent zal er veelal toe leiden dat je voor die week geen cijfer kunt krijgen.
Fraud, plagiarism, sharing answers
- Each of you pledge with every assignment that you are honest.
- We use the UvA rules about fraud.
- When we find examples of cheating, then all people involved (the group who "gave" the answers, and those who "received" them) receive 0 points for the assignment and their names are sent to the Exam Committee.
Leerdoelen
- Alle leerdoelen staan vermeld in de syllabus
Onderwijsvormen
- Hoorcollege
- Werkcollege
- Laptopcollege
- Presentatie/symposium
- Zelfstudie
- Begeleiding/feedbackmoment
Verdeling leeractiviteiten
|
Activiteit
|
Uren
|
|
Hoorcollege
|
28
|
|
Laptopcollege
|
14
|
|
Zelfstudie
|
126
|
|
Totaal
|
168
|
(6 EC x 28 uur)
|
Academische vaardigheden
Zie de syllabus
Aanwezigheid
Aanwezigheidseisen opleiding (OER-B):
-
Voor practica en werkcolleges, met opdrachten, geldt een aanwezigheidsplicht, tenzij anders vermeld in de studiegids. Wanneer studenten niet voldoen aan deze aanwezigheidsplicht kan het onderdeel niet met een voldoende worden afgerond. De aanwezigheidsplicht met betrekking tot hoor-werkcolleges staat, indien van toepassing, vermeld in de studiegids.
Aanvullende eisen voor dit vak:
Zie de syllabus
Toetsing
| Onderdeel en weging
|
Details
|
|
| |
|
| |
zie de syllabus
Inzage toetsing
Op het responsiecollege
Opdrachten
zie de syllabus
Fraude en plagiaat
Dit vak hanteert de algemene 'Fraude- en plagiaatregeling' van de UvA. Hier wordt nauwkeurig op gecontroleerd. Bij verdenking van fraude of plagiaat wordt de examencommissie van de opleiding ingeschakeld. Zie de Fraude- en plagiaatregeling van de UvA: http://student.uva.nl
Weekplanning
| Weeknummer |
Onderwerpen |
Studiestof |
| 1Ook hier weer: zie de syllabus |
|
|
| 2 |
|
|
| 3 |
|
|
| 4 |
|
|
| 5 |
|
|
| 6 |
|
|
| 7 |
|
|
| 8 |
|
|
Rooster
Het rooster van dit vak is in te zien op DataNose.
Verwerking vakevaluaties
Hieronder vind je de aanpassingen in de opzet van het vak naar aanleiding van de vakevaluaties.
Coördinator
Docenten
- Mike Brink BSc
- Maythe Dirkzwager
- prof. dr. P.T. Groth
- Rachel de Haan
- R. de Haan
- Robin Langerak
- Iva Schenk