6 ECTS credits
150 u studietijd

Aanbieding 1 met studiegidsnummer 4014885FNR voor alle studenten in het 1e semester met een gespecialiseerd master niveau.

Semester
1e semester
Inschrijving onder examencontract
Niet mogelijk
Beoordelingsvoet
Beoordeling (0 tot 20)
2e zittijd mogelijk
Ja
Onderwijstaal
Engels
Faculteit
Faculteit Wetenschappen en Bio-ingenieurswetensch.
Verantwoordelijke vakgroep
Computerwetenschappen
Onderwijsteam
Geraint Wiggins (titularis)
Onderdelen en contacturen
26 contacturen Hoorcollege
26 contacturen Werkcolleges, practica en oefeningen
Inhoud

1) Theoretical background: syntax, semantics and proof theory of clausal logic
2) From logic programming to Prolog: SLD-resolution, steering the search process, negation as failure
3) Applications: knowledge representation, search algorithms, meta-programming
4) Evaluation variants: co-routining evaluation
5) Advanced reasoning techniques: definite clause grammars in natural language processing, constraint logic programming

 
Studiemateriaal
Digitaal cursusmateriaal (Vereist) : All transparencies and their accompanying code are available on the website.
Digitaal cursusmateriaal (Vereist) : Simply Logical - Intelligent Reasoning by Example, Freely available at http://www.cs.bris.ac.uk/~flach/SimplyLogical.html, Peter Flach, http://www.cs.bris.ac.uk/~flach/SimplyLogical.html, 1994
Bijkomende info

All transparencies and their accompanying code are available on the website.

Book:
Simply Logical - Intelligent Reasoning by Example
Peter Flach, Wiley, 1994
Freely available at http://www.cs.bris.ac.uk/~flach/SimplyLogical.html

Leerresultaten

Algemene competenties

The goal of this course is three-fold:
- to offer students insight into the theoretical background that underlies the declarative programming paradigm
- to familiarize students with specific programming languages in this paradigm
- to acquaint students with applications in the domain of artificial intelligence and automated reasoning for which declarative programming is well-suited

The corresponding competences are:

Knowledge and Understanding:
Students have to be able to describe and motivate the underlying principles of declarative programming and logic programming in particular. Based on this theoretical background, students have to be capable of deriving the declarative as well as the procedural interpretation of a concrete logic program.

Application of Knowledge and Understanding:
Students have to be able to apply their newly gained knowledge to typical problems in artificial intelligence.
To this end, the students will develop modest logic programs during the exercise sessions.
Students also have to be able to design a more elaborate knowledge-based system and implement this using logic programming techniques. To this end, students will complete an individual programming project.

Making Judgements:
Students have to be capable of determining whether a given problem lends itself to an implementation that is based on logic programming.

Communication:
Students have to be able to motivate the decisions they make with respect to the aforementioned project, demonstrating that they can communicate clearly on the above topics.

Learning Skills:
Referencing the concepts taught in this course, students will be able to acquaint themselves independently with programming languages from the declarative paradigm and recognize opportunities for applying such languages in practice.

Beoordelingsinformatie

De beoordeling bestaat uit volgende opdrachtcategorieën:
Examen Schriftelijk bepaalt 50% van het eindcijfer

ZELF Praktijkopdracht bepaalt 50% van het eindcijfer

Binnen de categorie Examen Schriftelijk dient men volgende opdrachten af te werken:

  • Closed Book Written Exam met een wegingsfactor 100 en aldus 50% van het totale eindcijfer.

    Toelichting: an oral test with written preparation about the entire course

Binnen de categorie ZELF Praktijkopdracht dient men volgende opdrachten af te werken:

  • Autotutorial met een wegingsfactor 5 en aldus 5% van het totale eindcijfer.

    Toelichting: an oral defense of the aforementioned programming project
    The end result is calculated as the average of the results on both parts. If one of both results is 7 or less, however, the end result cannot exceed 7.
  • Formative project in Prolog met een wegingsfactor 15 en aldus 15% van het totale eindcijfer.
  • Summative project in Prolog met een wegingsfactor 30 en aldus 30% van het totale eindcijfer.

Aanvullende info mbt evaluatie

The exam consists of two parts:
- a written exam about the entire course (50%)
- three programming projects, 1 being an on-line quiz, and 2 solving a given problem in prolog (50%)
The end result is calculated as the average of the results on both parts.

 
Toegestane onvoldoende
Kijk in het aanvullend OER van je faculteit na of een toegestane onvoldoende mogelijk is voor dit opleidingsonderdeel.

Academische context

Deze aanbieding maakt deel uit van de volgende studieplannen:
Master in Applied Sciences and Engineering: Computer Science: Artificial Intelligence (enkel aangeboden in het Engels)
Master in Applied Sciences and Engineering: Computer Science: Multimedia (enkel aangeboden in het Engels)
Master in Applied Sciences and Engineering: Computer Science: Software Languages and Software Engineering (enkel aangeboden in het Engels)
Master in Applied Sciences and Engineering: Computer Science: Multimedia for Northwestern Polytechnical University (NPU) (enkel aangeboden in het Engels)
Master in Applied Sciences and Engineering: Computer Science: Data Management and Analytics (enkel aangeboden in het Engels)
Master of Applied Informatics: Profiel profiel Big Data Technology (enkel aangeboden in het Engels)
Master of Applied Informatics: Profiel profiel Artificial Intelligence (enkel aangeboden in het Engels)