[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]
I den seneste tid er bibetingelser programmering blevet et værdifuldt værktøj til t løse forskellige kombinatoriske optimeringsproblemer, især sådanne som har en stærkt begrænset mængde af brugbare løsninger, og hvor det er vært at finde en løsning. Oprindeligt var bibetingelser programmering kun ænkt som et hjælpemiddel til at finde en brugbar løsning, men ikke til at optimere en funktion over en brugbar mængde. Bibetingelser rogrammering består af et bundt af forskellige teknikker til at
undersøge løsningsrummet implicit. Selv om nogle af disse metoder ligner implicitte opregningsmetoder og forbehandlingsmetoder fra området af heltalsprogrammering, har bibetingelser programmering sine rødder i området af kunstig intelligens og sær i logisk programmering. I kursets forløb forsøger vi at fælles erhverve iden om de vigtigste teorier, teknikker og metoder på dette område. Det forventes, at deltagere i kurset vil præsentere nogle kapitler fra J.N. Hookers bog.
Logik af præpositioner; logik af diskreter variabler; 0-1 uligheder; kardinalitetsklausuler; boolske metoder; logik-baserende programmering; bibetingelser udbredning; reducering af definitionsmængden; bibetingelser programmering.
Matematisk programmering.
Andreas Klose.
Studiegruppe (2 x 2 timer per uge).
Engelsk.
John N. Hooker (2000) Logic-Based Methods for Optimization, Wiley.
Institut for Matematiske Fag.
Informationskontoret, Institut for Matematiske Fag.
Ved slutningen af kursus skal den studerende kunne
Evalueringen er uden karakter. Beslutningen, om den studerende består kurset, afhænger af kvaliteten af præsentationen. Hver præsentation skulle ormalt dække et kapitel af bogen og tager omkring 90 minutter.
