SluitenHelpPrint
Switch to English
Cursus: INFOCR
INFOCR
Commonsense Reasoning and argumentation
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
3  (06-02-2017 t/m 21-04-2017)
Aanvangsblok
3
TimeslotD: WO-middag, WO-namiddag, Vrijdag
Onderwijsvorm
Voltijd
Opmerking
Cursusinschrijving geopendvanaf 30-10-2016 t/m 27-11-2016
AanmeldingsprocedureOsiris
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
Na-inschrijvingJa
Na-inschrijving geopendvanaf 23-01-2017 t/m 24-01-2017
WachtlijstJa
Plaatsingsprocedureadministratie onderwijsinstituut
Cursusdoelen
Upon successful completion of this course, the student:
  • knows the main logical techniques for formalizing commonsense reasoning;
  • knows the essence of dialogue models for argumentation;
  • is able to apply these logical and dialogical formalisms to formal examples;
  • has insight into the metatheoretic properties of the studied formalisms and can verify simple metatheoretic properties;
  • is aware of the main formal relations between different logical models of commonsense reasoning, and can formally verify simple relations;
  • is able to evaluate the suitability of the studied formalisms for modeling different types of commonsensereasoning and argumentation;
  • is able to formalize realistic problems of commonsense reasoning in a logical system for commonsense reasoning.
Inhoud
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. Attention is paid to the use of these formalisms in the specification of dynamic systems and in models of multi-agent interaction.
Ingangseisen
Je moet het bachelor examen behaald hebben en 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
Software
Geen software nodig
Werkvormen (aanwezigheidsplicht)
Hoorcollege (Verplicht)

Toetsen
Eindresultaat
Weging100
Minimum cijfer6

SluitenHelpPrint
Switch to English