Wednesday, January 11, 2006
Workshop on Logics for Resource Bounded Agents at ESSLLI06
Workshop on Logics for Resource Bounded Agents at ESSLLI06: "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."
I believe that for many years to come, any notion of semantic understanding by machines will be severely resource bounded. Many say the limitations are so severe that it is pointless to speak of it. Others, as this workshop suggests, believe that it is possible to deal with severe limitations and still work with "knowledge, belief, action, etc."
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."
I believe that for many years to come, any notion of semantic understanding by machines will be severely resource bounded. Many say the limitations are so severe that it is pointless to speak of it. Others, as this workshop suggests, believe that it is possible to deal with severe limitations and still work with "knowledge, belief, action, etc."
0 Comments:
