Logics for Resource Bounded Agents 2007

to be held as part of

Multi-Agent Logics, Languages and Organisations – Federated Workshops (MALLOW'007)

in Durham, 3-7 September 2007

 

Group photo from the workshop:

Other photos from the workshop can be found here. Thanks to Ji Ruan for taking the pictures and permission to use the group photo.

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 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. 

Preliminary programme (Monday 3rd of September)

Session 1 (11:00-12:30)
Michael Fisher. Invited talk: Executable Specifications of Resource-Bounded Agents (11:00-12:00);
Slawomir Nowaczyk and Jacek Malec. Relative Relevance of Subsets of Agent's Knowledge (12:00-12:30)
 
Session 2 (14:00-15:30) 
Natasha Alechina and Brian Logan. A logic of situated resource-bounded agents (14:00-14:30)
Thomas Ã…gotnes and Dirk Walther. Towards a Logic of Strategic Ability under Bounded Memory (14:30-15:00)
LeeFlax. Agent Reasoning Under Bounded Resources (15:00-15:30)
 
Session 3 (16:00-17:30)
John-Jules Meyer. Invited talk: The Quest for the Holy Grail of Agent Verification (16:00-17:00)
Discussion (17:00-17:30)