Logical Formalizations of Commonsense Reasoning

  • About Us
  • Gifts
  • AITopics
  • AI Magazine
  • Conferences
  • Library
  • Membership
  • Publications
  • Symposia
  • Contact

Logical Formalizations of Commonsense Reasoning

Papers from the 2011 AAAI Spring Symposium

Ernest Davis, Patrick Doherty, and Esra Erdem, Program Cochairs

Technical Report SS-11-06
193 pp., $35.00
ISBN 978-1-57735-498-7
[Add to Cart] [View Cart]

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

AAAI Press

Ordering Information

Conference Reports

EAAI Symposium Reports

Fall Symposium Reports

Spring Symposium Reports

Workshop Reports

Press Books

Press Proceedings

Journals

For Authors

Permissions Requests

Other Links

AAAI Home Page

Awards

Calendar

Jobs

Meetings

AAAI Press

Resources

AAAI Workshops

Follow @RealAAAI

This site is protected by copyright and trademark laws under US and International law. All rights reserved. Copyright © 1995–2014 Association for the Advancement of Artificial Intelligence.
Your use of this site is subject to our Terms and Conditions and Privacy Policy | Home | About AAAI | Search | Contact AAAI
AAAI Conferences | AI Magazine | AITopics | Awards | Calendar | Digital Library | Jobs | Meetings | Membership | Press | Press Room | Publications | Resources | Symposia | Workshops