Be familiar with the techniques of defeasible logics, associated research issues, ad the scope of their application.
The course will present defeasible logics, a particular approach to nonmonotonic reasoning. Theoretical aspects will be covered, imple,ented sustems provided for exercises, and cutting-edge research problems presented and discussed with the students. Specific topics include: - Motivation - Basic defeasible logic: syntax, proof theory, properties - Variations of the basic defeasible logic - Arguentation semantics - Computational complexity analysis - Modal and temporal extensions - Applications: e-business, ambient intelligence, semantic web - Related approaches: defeasible logic prograsmming, systems of argumentation - Implemented systems - Research problems: forgetting, explanation
This is a course of the PhD School.
Nicht erforderlich