Workshop on Logics for Resource Bounded Agents

Workshop description

Logics of knowledge and belief, as well as other attitudes such as
desire or intention, have been extensively studied. However, most of
the treatments of knowledge and belief make strong and idealised
assumptions about the reasoners. For example, traditional epistemic
logic say that agents know all logical consequences of their
knowledge. Similarly, logics of action and strategic interaction are
usually based on game theoretic models which assume perfect
rationality. Models based on such assumptions can be used to describe
ideal agents without bounds on resources such as time, memory, etc,
but they fail to accurately describe non-ideal agents which are
computationally bounded. The workshop aims to provide a forum for
advanced PhD students and researchers to present and discuss possible
solutions to the problem of formally capturing the properties of
knowledge, belief, action, etc. of non-idealised resource-bounded
agents with colleagues and researchers who work in logic, computer
science and other areas represented at ESSLLI.