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.
Call for papers
Invited speaker: Rohit Parikh
Accepted papers
- Olivier Roy. Commitment-Based Decision Making for Bounded Agents
- Michal Walicki, Marc Bezem and Wojtek Szajnkenig. A Strongly Complete Logic of Dense Time Intervals
- Ayelet Butman and Sarit Kraus. A modal logic of time-bounded reasoning agents
- Mikael Cozic. Impossible states at work
- Aaron Kaplan. Simulative Inference in a Computational Model of Belief
- Mikael Asker and Jacek Malec. Improving Active Consequence
- Slawomir Nowaczyk. Partial Planning for Situated Agents based on Active Logic
- Fenrong Liu. Diversity of agents
- Paul Egre. Logical Omniscience and Counterpart Semantics
- Mark Jago. Rule-based and Resource-bounded: A New Look at Epistemic Logic