We invite submissions for presentation at Commonsense-2011, to be held as part of the AAAI Spring Symposium Series at Stanford University, March 21-23, 2011.
Endowing computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using representations based on formal logic or other formal theories such as algebraic representations. 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 reasoning methods that use these representations.
A decade ago, commonsense reasoning was considered visionary and long term, but it is now considered highly relevant for current applications, such as robotic systems that can interact with humans in open environments, and information extraction systems that use commonsense knowledge together with corpus-based learning to interpret natural language texts. Commonsense-2011 will have a new applied track in order to characterize what has been done in these and other areas, how the logic-based commonsense reasoning community has contributed in this respect so far, and how these trends should influence our research agendas in the future.
At the same time, we continue to encourage solutions to difficult challenge problems of commonsense reasoning, such as those listed on the Commonsense Problem Page.
Topics of interest at the symposium include, but are not limited to:
The symposium aims to bring together researchers who have studied the formalization of commonsense reasoning. 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. We also welcome demos of practical systems that make use of commonsense reasoning. In addition, survey papers, papers studying the relationship between different approaches, and papers on methodological issues such as theory evaluation, are also encouraged.
Papers may be submitted via EasyChair.
(These have been revised since the original announcement.)