|Website:||website containing additional information|
|Period:||period 3 (week 6 through 15, i.e., 5-2-2018 through 13-4-2018; retake week 27)|
|Participants:||up till now 33 subscriptions|
|Schedule:||Official schedule representation can be found in Osiris|
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 models of multi-agent interaction.
Upon successful completion of this course, the student:
|Literature:||Online reader, online articles and educational software tools|
|Course form:||Interactive lectures (14x2 hours) plus self-study with exercises, partly supported by educational software tools.|
|Exam form:||Written exam (2/3) and three mandatory intermediate exercises (1/3).|
|Minimum effort to qualify for 2nd chance exam:||To qualify for the second-chance exam: