We put forward a proposal for logics handling both non- monotonic reasoning and boundedly rational agents. We propose a hierarchy of depth-bounded non-monotonic logics. As the pa- rameter k, which controls the level of reasoning depth, increases, non-monotonicity decreases while inferential power, in a clas- sical sense, increases. Ultimately, these logics aim to provide non-monotonic approximations of classical logic. We present arguments and evidence supporting the adoption of this frame- work.
Non-monotonic bounded reasoners
D'Asaro, Fabio Aurelio
2025-01-01
Abstract
We put forward a proposal for logics handling both non- monotonic reasoning and boundedly rational agents. We propose a hierarchy of depth-bounded non-monotonic logics. As the pa- rameter k, which controls the level of reasoning depth, increases, non-monotonicity decreases while inferential power, in a clas- sical sense, increases. Ultimately, these logics aim to provide non-monotonic approximations of classical logic. We present arguments and evidence supporting the adoption of this frame- work.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
