Third International Workshop on Logics for Resource Bounded Agents (LRBA 2010)
to be held as part of
Domaine ValprÃ© in Lyon, France from the 30th of August to the 2nd of September, 2010
Formal models 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 assumptions about reasoners. For example, traditional epistemic logic says 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 discussing possible solutions to the problem of formally capturing the properties of knowledge, belief, action, etc. of non-idealised resource-bounded agents. We are particularly interested in formal models of agents' limited reasoning and (un)awareness.
Wednesday 1st September
|14:00||Andreas Herzig. Tableaux for logics of MAS (invited talk)|
Thursday 2nd September
|12:00||closing, discussion of postproceedings|