Commonsense Reasoning

Commonsense Reasoning ~ Home

Commonsense Reasoning

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.

Commonsense Symposia

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.

For questions or comments about please email

Website design by Benjamin Johnston, based on the Fluid 960 Grid System by Stephen Bau and Nathan Smith. Crowd photo by James Cridland.