{"product_id":"depth-bounded-reasoning-classical-propositional-logic-paperback","title":"Depth-bounded Reasoning. Classical Propositional Logic - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eMarcello D'Agostino\u003c\/b\u003e (Author), \u003cb\u003eDov Gabbay\u003c\/b\u003e (Author), \u003cb\u003eCostanza Larese\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThe \"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.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eHowever, 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.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 252\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.53 x 9.25 x 6.13 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e November 11, 2024\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":47337150480633,"sku":"9781848904422","price":31.68,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/2782\/3097\/files\/NiBdvNfIRy9781848904422.webp?v=1769675184","url":"https:\/\/bookscloud.io\/products\/depth-bounded-reasoning-classical-propositional-logic-paperback","provider":"BooksCloud Book Dropshipping","version":"1.0","type":"link"}