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 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.
The Commonsense Reasoning organization runs a biannual symposium series devoted to publicizing advances in commonsense reasoning and developing the community of interest.
In spring 2015, the Twelfth Commonsense Symposium will be held in Stanford as part of the AAAI 2015 Spring Symposium Series. For more information, please click here.
The Commonsense Reasoning organization will administer the Nuance-sponsored Winograd Schema Challenge. For more information, please click here.
If you would like to become involved with the symposia or the community, please contact us.