{ "item_title" : "Depth-bounded Reasoning. Classical Propositional Logic", "item_author" : [" Marcello D'Agostino", "Dov Gabbay", "Costanza Larese "], "item_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 volume, we are launching 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 bounded rationality.However, 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 this first volume of the series we offer a novel view of classical propositional logic. We 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, our approach provides a plausible model for representing rational agents with increasing, albeit limited, computational resources.", "item_img_path" : "https://covers3.booksamillion.com/covers/bam/1/84/890/442/1848904428_b.jpg", "price_data" : { "retail_price" : "22.00", "online_price" : "22.00", "our_price" : "22.00", "club_price" : "22.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details