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.
The Commonsense Reasoning organization runs a biannual symposium series devoted to publicizing advances in commonsense reasoning and developing the community of interest.
In 2013, the Eleventh Commonsense Symposium will be held in Cyprus on May 27-29, 2013. For more information, please click here.
If you would like to become involved with the symposia or the community, please contact us.