Please note that this newsitem has been archived, and may contain outdated information or links.
1-3 June 2009, 9th International Symposium on Logical Formalizations of Commonsense Reasoning, Toronto, Canada
One of the major long-term goals of AI is to endow computers with common sense. Although we know how to build programs that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we have very little idea how to program computers to do well at commonsense tasks which are easy for humans. One approach to this problem is to formalize commonsense reasoning using mathematical logic.
The symposium aims to bring together researchers who have studied the formalization of commonsense reasoning. The focus of the symposium is on representation rather than on algorithms, and on formal rather than informal methods.
For more information, see http://www.commonsensereasoning.org/
We aim for rigorous and concrete paper submissions. While mathematical logic is expected to be the primary lingua franca of the symposium, we also welcome papers using a rigorous but not logic-based representation of commonsense domains. Technical papers offering new results in the area are especially welcome; object-level theories as opposed to meta-level results are preferred. Papers should be submitted by February 16, 2009.
Please note that this newsitem has been archived, and may contain outdated information or links.