Agents, Intellectics, and Logic

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)