64-415 Seminar: Integriertes Seminar Deontic Reasoning
Wintersemester 2011/12
|
| Veranstalter | |
|---|---|
|
|
|
| Zeit/Ort | |
| Di 12-14 F-534 | |
| Aktuelles | |
| Hinweis: Unterrichtssprache ist Englisch oder Deutsch (Deutsch, falls keine Studierenden mit Präferenz für Englisch teilnehmen) | |
| Inhalt | |
| Deontic logic is that extension of standard logic that is concerned with concepts of
permission and prohibition, of obligation and optionality, of rights and duties. Deontic
reasoning deals with inferences based on deontic concepts. During the last twenty years
deontic reasoning has become a well-established branch of formal reasoning in artificial
intelligence and other areas of computer science. For example, what a robot should do and
what it is not allowed to do can be specified in formal languages using deontic concepts.
Corresponding to this, the behavior of software agents in e-commerce can be characterized by
deontic logic. In this seminar we discuss deontic reasoning from a theoretical as well as from an application oriented perspective. The applicational domains used for exemplification are artificial agents - both virtual agents (e.g., e-commerce agents) and physical agents (robots), and - in case that some participants are interested in - the field of artificial intelligence and law. Major topics in presenting and discussing the theoretical basis of deontic reasoning will be:
|
|
| Vorgehen | |
| The sessions will be organized into two parts: 45 minutes for a student presentation and 45 minutes for a collective discussion. Additionally students have to write a term paper. Grading: Oral presentation in class (PPT): 30 percent, oral participation as discussant or in the moderator role: 30 percent, written term paper: 40 percent. | |
| Literatur | |
| Will be announced | |
