6 ECTS credits
150 u studietijd

Aanbieding 1 met studiegidsnummer 1024231ANR voor alle studenten in het 1e semester met een inleidend bachelor 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
24 contacturen Hoorcollege
24 contacturen Werkcolleges, practica en oefeningen
102 contacturen Zelfstudie en externe werkvormen
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) : Canvas
Bijkomende info

/

Leerresultaten

General competencies

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:

  • Written exam met een wegingsfactor 1 en aldus 50% van het totale eindcijfer.

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

  • Self practical assignment met een wegingsfactor 1 en aldus 50% van het totale eindcijfer.

Aanvullende info mbt evaluatie

The final grade is composed based on the following categories: 
Written Exam determines 50% of the final mark. 
SELF Practical Assignment determines 50% of the final mark.

Within the Written Exam category, the following assignments need to be completed:

  • Closed Book Written Exam with a relative weight of 100 which comprises 50% of the final mark. 
     

Within the SELF Practical Assignment category, the following assignments must be completed:

  • Autotutorial with a relative weight of 5 which comprises 5% of the final mark.
  • Formative project in Prolog with a relative weight of 15 which comprises 15% of the final mark.
  • Summative project in Prolog with a relative weight of 30 which comprises 30% of the final mark. 
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:
Bachelor in de artificiële intelligentie: Standaard traject