Logico-Computational Aspects of Rationality

Abstract

Taking a broad historical line, we discuss major aspects of rationality that can be analyzed in a logical and computational perspective. Topics include classical notions from the foundations of computability, insights from the development of computer science and AI, and the richer picture of rationality emerging in current logical studies of agency. We also discuss two challenges. Distributed computing and evolutionary games replace 'high rationality' by 'low rationality' in behavior, machine learning defies classical views of representation and inference. Both trigger new logical themes in the study of rationality