Ninth International Symposium on Logical Formalizations of Commonsense Reasoning
1-3 June 2009, Toronto, Canada; www.commonsensereasoning.org
Call for Papers
We invite submissions for presentation at Commonsense-2009, the 9th International Symposium on Logical Formalizations of Commonsense Reasoning, to be held at the University of Toronto on June 1-3, 2009.
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 formalizing commonsense reasoning using a formal language like mathematical logic.
The challenges to creating such a formalization include the accumulation of large amounts of knowledge about our everyday world, the representation of this knowledge in suitable formal languages, the integration of different representations in a coherent way, and the development of explicit reasoning methods that use these representations. The scaling problem is a particular challenge: Many bounded tasks which we already know how to build still cannot scale to broad scenarios involving commonsense knowledge, such as query answering and web service composition on the semantic web, corpora-based computational biology, diagnosis, exploration of unfamiliar domains by robots and autonomous vehicles, and natural-language question answering.
We aim at a science of commonsense reasoning that enables applications in such broad domains as well as a deeper understanding of the ways in which humans engage in commonsense reasoning. This is the focus of Commonsense-2009. Topics of interest include, but are not limited to:
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. We aim for rigorous and concrete paper submissions.
Traditionally, most papers submitted to this symposium have used some form of mathematical logic as the underlying representation. However, we also welcome papers that use other forms of rigorous representations of commonsense reasoning domains, even if they are not logic based. For example, we welcome pre-formal representations in precise natural language, especially if accompanied by rigorous discussion and analysis of the representation.
Technical papers offering new results in the area are especially welcome; object-level theories as opposed to meta-level results are preferred. However, survey papers, papers studying the relationship between different approaches, and papers on methodological issues such as theory evaluation, are also encouraged.
Camera ready papers or extended abstracts of no more than 6 pages (in AAAI format) should be submitted as pdf files via the submission website. Camera ready papers are due by May 15, 2009.
The working notes of Commonsense-2009 will include all accepted papers and will be published by the University of Technology, Sydney ePress (with an ISBN).
Best student paper award
We are offering a best-paper student award, with a $500 prize to partly cover the student's travel. Please indicate on the paper if the author is a student. We thank IBM Research Labs for funding this award.
Multiple Submissions Allowed
Papers may be submitted to Commonsense-2009 even if they have been submitted to (or are currently under review by) other conferences or symposia (such as IJCAI or NRAC). However, previously published papers are not acceptable for Commonsense-2009, unless they include substantial new results.
Persons wishing to attend the symposium should submit a 1-2 page research summary including if possible a list of relevant publications. This is not required for the authors of submitted papers. PhD students need only to send the title and abstract of their dissertation. All requests for attendance should be sent to the program chairs or to firstname.lastname@example.org
Summary of Important Dates