Agents, Intellectics, and Logic
Organisation
- Lecture (in WS25/26 starting from 14 Oct, every Wednesday 12am -2 pm, VMP 6, Lecture Hall E, PD Dr. Özgür Özcep)
- Seminar (in WS25/26 starting from 14 Oct, every Wednesday 2-4 pm, VMP 6, B 5002, PD Dr. Özgür Özcep)
Content
- Agents, principle of bounded rationality: artificial intelligence, Turing test, Chinese room
- Deterministic game theory and social choice functions,
- Preference aggregation, mechanisms of agents
- Social mechanisms: Goal-directed interaction of agents and humans, design of social mechanisms,
- Intellectics as science
- Foundations of modeling in social mechanisms (propositional logic, first- and second-order predicate logic, modal logic, epistemic logic, knowledge and vision, knowledge and time, dynamic epistemic logic, doxastic logic, justification logic, knowledge-based programs)