| Website: | website containing additional information |
| Course code: | WICROB |
| Credits: | 5.72 ECTS (=4 old credit points) |
| Period: | periode 1 (week 36 t/m 43, dwz 3-9-2001 t/m 26-10-2001; herkansing week 1)
|
| Participants: | up till now 43 subscriptions |
| Schedule: | Dit is een oud rooster!
|
| Contents: | Cognitieve Robotica houdt zich bezig met het construeren van robots
die beschikken over hoog-niveau cognitieve functies.
Dat wil dus zeggen robots die redeneren, handelen en waarnemen
in een veranderende, onvolledig bekende, onvoorspelbare omgeving.
Een cognitieve robot kan gezien worden als een instantie van een
intelligente, autonome agent die mentale of cognitieve toestanden
heeft die kennis, overtuigingen, wensen en bedoelingen bevatten
en die zowel 'informationele' als 'motivationele' attitudes heeft,
zoals waarnemen, communiceren, herziening van overtuigingen, planning,
en een commitment aangaan.
Deze visie brengt toepassing met zich mee van verschillende gebieden
in de AI zoals kennisrepresentatie, automatisch redeneren,
redeneren over acties, redeneren met onzekere en onvolledige kennis,
planning alsmede het gebruik van (agent) programmeertalen om de
transities tussen mentale toestanden te programmeren.
|
| Literature: | syllabus/reader |
| Course form: | hoorcollege en practicum met 3APL |
| Exam form: | practicumopdrachten en inleveropgaven, plus een kort individueel mondeling tentamen. |
| Minimum effort to qualify for 2nd chance exam: | Om aan de aanvullende toets te mogen meedoen is ontbreken van ten hoogte 1 toetsactiviteit toegestaan. |
| Description: |
- 1 college: inleiding "Wat is cognitieve robotica?"
- 1 college: filosofische achtergronden: Dennett, Bratman
- 4 colleges: logische grondslagen van acties en agents:
modale, temporele en dynamische logica,
de theorie van "belief, desire and intention" (Cohen & Levesque, Rao & Georgeff),
KARO-logica
- 4 colleges: redeneren over acties: frameprobleem,
situation calculus, fluent calculus, event calculus, planning
- 1 college: agent-architecturen
- 3 colleges: agent-georienteerd programmeren: agent-talen
(AGENT0, (CON)GOLOG, (Concurrent) METATEM, 3APL)
|
