Logical Formalization of Commonsense Reasoning
Papers from the AAAI Spring Symposium
Patrick Doherty, John McCarthy, and Mary-Anne Williams, Cochairs
One of the major long-term goals of artificial intelligence is to endow computers with commonsense reasoning capabilities. Although we know how to design and build systems that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we have little idea how to construct computer systems that do well at commonsense tasks which are easy for humans. Formalizing commonsense reasoning using logic-based approaches was the focus of the symposium. Emphasis was be placed on representation rather than algorithms, and on formal rather than informal methods.