PP-2018-18: The effort of reasoning: modelling the inference steps of boundedly rational agents

PP-2018-18: Solaki, Anthia and Smets, Sonja (2018) The effort of reasoning: modelling the inference steps of boundedly rational agents. [Pre-print]

[thumbnail of WoLLIC2018-FINALSonjaSmetsAnthiaSolaki-2-19.pdf]

Download (404kB) | Preview


In this paper we design a new logical system to explicitly model the different deductive reasoning steps of a boundedly rational agent. We present an adequate system in line with experimental findings about an agent’s reasoning limitations and the cognitive effort that is involved. Inspired by Dynamic Epistemic Logic, we work with dynamic operators denoting explicit applications of inference rules in our logical language. Our models are supplemented by (a) impossible worlds (not closed under logical consequence), suitably structured according to the effect of inference rules, and (b) quantitative components capturing the agent’s cognitive capacity and the cognitive costs of rules with respect to certain resources (e.g. memory, time). These ingredients allow us to avoid problematic logical closure principles, while at the same time deductive reasoning is reflected in our dynamic truth clauses. We finally show that our models can be reduced to awareness-like plausibility structures that validate the same formulas and a sound and complete axiomatization is given with respect to them.

Item Type: Pre-print
Report Nr: PP-2018-18
Series Name: Prepublication (PP) Series
Year: 2018
Subjects: Logic
Depositing User: asolaki1
Date Deposited: 06 Oct 2019 11:55
Last Modified: 06 Oct 2019 14:27
URI: https://eprints.illc.uva.nl/id/eprint/1714

Actions (login required)

View Item View Item