The aim of this initiative is to bring together researchers from different fields interested in contributing to a systematic logical approach to bounded rationality and to launch a new
book
series with College Publications. Further details can be found on the
website.
All interested participants are warmly welcome.
Description
The “cost of reasoning”, i.e., the cognitive or computational effort required by non-ideal, resource-bounded (human or artificial) agents in order to perform non-trivial inferences, is a crucial issue in philosophy, AI, economics and cognitive (neuro)science.
Accounting for this fundamental variable in modelling real world reasoning and decision-making is one of the most important and difficult challenges in the theory of rationality. With this workshop, we are launching a book series for College Publications that,
under the general title of “Logic and Bounded Rationality”, aims to create a community of researchers from several areas that wish to cooperate towards a systematic logical view of bounded rationality. A key stumbling block for any effort in this direction,
is that a basic component of many reasoning and decision making tasks, namely deductive reasoning in propositional logic, is computationally hard. Hence, in the first volume of the series,
Depth-bounded
Reasoning. Volume 1: Classical Propositional Logic, Marcello D’Agostino, Dov Gabbay, Costanza Larese and Sanjay Modgil offer a novel view of classical propositional logic. They present an “informational semantics” for the classical operators
whose proof-theoretical presentation is a system of classical natural deduction that, unlike Gentzen’s and Prawitz’s systems, yields a simple way of measuring the “depth” of an inference. This approach leads to defining, in a natural way, a sequence of tractable
depth-bounded deduction systems. As recent applications in formal argumentation and non-monotonic reasoning suggest, this approach provides a plausible model for representing rational agents with increasing, albeit limited, computational resources.