Logic List Mailing Archive

LRBA 2010: Logics for Resource-Bounded Agents

30 Aug - 3 Sep 2010
Lyon, France

The Third Workshop on Logics for Resource-Bounded Agents (LRBA),
Domaine Valpre, Lyon, France

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 Third Workshop on Logics for Resource-Bounded Agents (LRBA) (with 
special emphasis on awareness and limited reasoning) 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.

The workshop will be held as part of Multi-Agent Logics, Languages, and 
Organisations  Federated Workshops (MALLOW 2010) (see 
http://mallow2010.emse.fr/).

Authors are invited to submit a full paper. Submission deadline 7 June 
2010.

For more information, see http://www.agents.cs.nott.ac.uk/events/lrba10