Logisch Programmeren en Zoektechnieken

Logic Programming and Search Methods

Studiewijzer 2015/2016

Globale inhoud

De eerste helft van het college is een inleiding in het declaratieve programmeren, aan de hand van de logische programmeertaal Prolog. In de tweede helft van het college ligt de nadruk op algoritmische problem solving technieken, met toepassingen in een aantal traditionele deelgebieden van de kunstmatige intelligentie, zoals kennisrepresentatie en planning. Een belangrijk onderdeel in deze context zijn fundamentele zoektechnieken, zoals breadth-first search, depth-first search en heuristic-guided search met de A*-algoritme. Verder worden de Big-O notation uit de algorithmiek geintroduceerd en de logische grondslagen van Prolog uitgelegd.

Studiemateriaal

Literatuur

• I. Bratko. Prolog Programming for Artificial Intelligence, 4th edition, Addison- Wesley Publishers, 2012

   

  U. Endriss. An Introduction to Prolog Programming. Lecture Notes, King’s Col- lege London and University of Amsterdam, 1999–2015 (freely available online).

   

Leerdoelen

Kennis van de declaratieve programmeertaal Prolog en het vermogen Prolog te gebruiken voor het ontwikkelen van oplossingen in de kunstmatige intelligentie. Kennis van een aantal fundamentele algoritmische technieken, in het bijzonder de meest belangrijke zoektechnieken.

Onderwijsvormen

• Hoorcollege
• (Computer)practicum

Hoorcolleges en computer practica.

Verdeling leeractiviteiten

Aanwezigheid

Aanwezigheidseisen opleiding (OER-B):

• Voor practica en werkgroepbijeenkomsten 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.
  

Aanvullende eisen voor dit vak:

Toetsing

Opdrachten

reading assignments

• zie Blackboard voor opgaven

exercises

• huiswerk zowel als zelfstudieopdrachten

Onderstaande opdrachten komen aan bod in deze cursus:

•    Naam opdracht 1 : beschrijving 2
•    Naam opdracht 2 : beschrijving 1
•    ....

Fraude en plagiaat

Dit vak hanteert de algemene ‘Fraude- en plagiaatregeling’ van de UvA. Onder plagiaat of fraude wordt verstaan het overschrijven van het werk van een medestudent dan wel het kopiëren van wetenschappelijke bronnen (uit bijvoorbeeld boeken en tijdschriften en van het Internet) zonder daarbij de bron te vermelden. Uiteraard is plagiaat verboden. Hier wordt nauwkeurig op gecontroleerd en streng tegen opgetreden. Bij verdenking van plagiaat wordt de examencommissie van de opleiding ingeschakeld. Wanneer de examencommissie overtuigd is dat er plagiaat gepleegd is dan kan dit maximaal leiden tot een uitsluiting van al het onderwijs van de opleiding voor een heel kalenderjaar. Zie voor meer informatie over het fraude- en plagiaatreglement van de Universiteit van Amsterdam.www.uva.nl/plagiaat

Weekplanning

Rooster

Aanvullende informatie

Information regarding the course is available on a public website (for the lecture notes and the slides), the Datanose system (for schedules and room information), and a dedicated UvA Blackboard site (for everything else):

• Website:  https://staff.science.uva.nl/u.endriss/teaching/prolog/
• Datanose: https://datanose.nl/#course[37123]
• Blackboard: https://blackboard.uva.nl

Contactinformatie

Coördinator

• dr. U. Endriss