Logical Formalizations of Commonsense Reasoning
Papers from the 2011 AAAI Spring Symposium
Ernest Davis, Patrick Doherty, and Esra Erdem, Program Cochairs
Endowing computers with common sense is a major goal of artificial intelligence. One approach to this problem is to characterize commonsense reasoning using representations based on logic or other formal theories. The challenges to creating such formalizations include accumulating knowledge about the everyday world, representing this knowledge formally, integrating different representations, and developing reasoning methods for these representations.
A decade ago, the topic of commonsense reasoning was considered visionary, but reality has aggressively caught up with it. For example, robotic systems are becoming commercially feasible; they are deployed in complex environments and interact with humans. Commonsense knowledge is essential both for robust interaction and for public acceptance. Another example: information extraction systems combine commonsense domain knowledge with corpus-based learning to interpret texts. Therefore, the symposium will introduce a new applied track, to discuss progress in these areas, how logic-based commonsense reasoning contributes to this enterprise, and how these trends should influence our future research agendas