SluitenHelpPrint
Switch to English
Cursus: INFOCR
INFOCR
Commonsense reasoning
Cursus informatieRooster
CursuscodeINFOCR
Studiepunten (ECTS)7,5
Categorie / NiveauM (Master)
CursustypeCursorisch onderwijs
VoertaalEngels
Aangeboden doorFaculteit Betawetenschappen; Graduate School of Natural Sciences;
Contactpersoonprof. dr. mr. H. Prakken
Telefoon+31 30 2532313
E-mailH.Prakken@uu.nl
Docenten
Docent
prof. dr. mr. H. Prakken
Feedback en bereikbaarheid
Overige cursussen docent
Blok
2  (12-11-2012 t/m 01-02-2013)
Aanvangsblok
2
TimeslotA: MA-ochtend, DI-namiddag, WO-ochtend
Onderwijsvorm
Voltijd
Opmerking
Cursusinschrijving geopendvanaf 04-06-2012 t/m 16-11-2012
AanmeldingsprocedureOsiris
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedureadministratie onderwijsinstituut
Cursusdoelen
-
Inhoud

Artificial Intelligence often uses logical models of reasoning. Logic investigates the validity of patterns of reasoning. Standard logic confines itself to the study of fully reliable inferences. Although this is adequate for fields like mathematics, for many other applications standard logic is too restricted. In other scientific areas, as well as in commonsense reasoning, people are often faced with incomplete, uncertain or even inconsistent information. To deal with this, they use reasoning patterns where it can be rational to accept a conclusion even if its truth is not guaranteed by the available information.

This course focuses on logics that systematise rationality criteria for such 'defeasible' reasoning patterns. Logics of this kind are often called 'nonmonotonic logics', since new information may invalidate previously drawn conclusions. This course covers some of the best-known nonmonotonic logics, in particular default logic, circumscription and argumentation systems, as well as formal theories of abductive reasoning. Some attention will also be paid to the use of these formalisms in the specification of dynamic systems and in models of multi-agent interaction.

Upon completion of this course, the student will have obtained insight in and mastery of the main logical techniques for formalising defeasible commonsense reasoning patterns, and will be able to apply these techniques to basic examples of such reasoning.

 

http://www.cs.uu.nl/education/vak.php?vak=INFOCR

 

 

Ingangseisen
Je moet een geldige toelatingsbeschikking hebben
Voorkennis
Logica voor Informatica (INFOB1LI).
of een vak met vergelijkbare inhoud
Verplicht materiaal
-
Aanbevolen materiaal
Reader
Reader plus educational software tools
Werkvormen (aanwezigheidsplicht)
Hoorcollege (Verplicht)

Toetsen
Tentamen
Weging100
Minimum cijfer6

Beoordeling
Written exam (80%) and three or four intermediate exercises (20%)

SluitenHelpPrint
Switch to English