We invite submissions for presentation at Commonsense-2015, to be held as part of the AAAI Spring 2015 Symposia series at Stanford University in Palo Alto California, March 23–25, 2015.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. The challenges to creating such formalizations 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. Commonsense reasoning is relevant for many applications, including systems in which robots and humans interact, and natural language systems that use both commonsense knowledge and corpus-based learning. In his IJCAI 2013 Research Excellence Award lecture, Hector Levesque argued that commonsense reasoning is central for intelligent behavior and proposed the commonsense-knowledge-based Winograd Schema Challenge as an alternative to the Turing Test. We especially solicit papers describing research on the Nuance-sponsored Winograd Schema Challenge Competition, http://commonsensereasoning.org/winograd.html
Topics of interest at the symposium include, but are not limited to:
We aim for rigorous and concrete submissions, in a wide variety of forms, including new results, demos, surveys, empirical comparisons of different approaches, and papers on methodological issues. 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.Primary Contacts: Leora Morgenstern (Leidos), Theodore Patkos (Foundation for Research and Technology Hellas), Robert Sloan (University of Illinois at Chicago)
Submissions will be through Easychair.