i.uoh.oru.V5019.20201 DT4047 2026-06-21T05:09:55 2026-06-20 Inom många områden, från logisitiktillämpningar till autonoma servicerobotar, måste artificiella beslutssystem resonera kring tid och resurser. De måste bedöma vilka handlingar som ska utföras för att uppnå givna mål, och kan därmed behöva interagera eller förflytta sig på icketriviala sätt. Den här kursen berör grundläggande moment inom temporal slutledning, rörelseplanering, uppgiftsplanering och schemaläggning. Kursens huvudsakliga innehåll är klassisk planering, STRIPS-algoritmen och dess representationsformalism, planering som sökning, Graphplan och planering som satisfiering, planering med osäkerhet, rörelseplanering, gitterbaserade lösningar, villkorsbaserad temporal slutledning och villkorsbaserad resursschemaläggning. In many application domains, from logistics to autonomous service robots, artificial decision-making systems must reason about time and resources. They must also decide which actions to execute in order to achieve goals, and these actions may require interacting or moving in the real world in non-trivial ways. This course provides the fundamentals of motion planning, task planning, and scheduling. Course contents include classical planning and its representations, planning as search, Graphplan, and planning as boolean satisfiability, planning under uncertainty, motion planning, lattice-based approaches, temporal planning, and resource scheduling.

false 7.5 Examen på grundnivå om 180 högskolepoäng, med datavetenskap/datateknik som huvudområde och 15 högskolepoäng i matematik (analys och algebra). Alternativt examen på grundnivå om 180 högskolepoäng, varav 30 högskolepoäng i matematik (analys och algebra) samt 15 högskolepoäng i datateknik/datavetenskap (som innehåller programmering). Dessutom krävs Engelska 6/Engelska B. First-cycle degree of 180 credits, with Computer Science as the main field of study, and at least 15 credits in mathematics (analysis and algebra). The applicant must also have qualifications corresponding to the course "English 6" or "English B" from the Swedish Upper Secondary School. OR First-cycle degree of 180 credits, and at least 30 credits in mathematics (analysis and algebra), as well as at least 15 credits in Computer Science or Informatics (which includes programming). The applicant must also have qualifications corresponding to the course "English 6" or "English B" from the Swedish Upper Secondary School. uh