Depth-Bounded Reasoning: Volume I: Classical Propositional Logic

Marcello D'Agostino, Dov Gabbay, Costanza Larese, Sanjay Modgil

Research output: Book/ReportBookpeer-review

209 Downloads (Pure)

Abstract

The “cost of reasoning”, i.e. the cognitive and computational effort required
by non-ideal, resource-bounded agents (whether human or artificial) in order to process available information, is a crucial issue in philosophy, AI,
economics and cognitive science. Accounting for this fundamental variable in modelling inference, argumentation and decision-making for limited
real-world agents is one of the most important and difficult challenges in
the theory of rationality. It is also pivotal to significant advances in the field
of “hybrid intelligence”, i.e. the combination of human and machine intelligence, one of the most promising directions of research in contemporary
human-centered AI. With this book, we intend to launch a series 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 rational argumentation and deliberation under
limited resources.

With this book we start a project that aims to put forward a specific “informational” view of bounded reasoning that stems from a long standing
research program. In this first volume we shall focus on reasoning in classical propositional logic. In future volumes we plan to cover first-order logic
as well as a variety of non classical reasoning systems. Proposals for other
projects related to the general theme of “logic and bounded rationality” will
be very welcome.

Original languageEnglish
PublisherCollege Publications
Number of pages242
Volume1
Publication statusPublished - 2024

Fingerprint

Dive into the research topics of 'Depth-Bounded Reasoning: Volume I: Classical Propositional Logic'. Together they form a unique fingerprint.

Cite this