Logical Formalization of Commonsense Reasoning
Papers from the AAAI Spring Symposium
Patrick Doherty, John McCarthy, and Mary-Anne Williams, Cochairs
Technical Report SS-03-05
154 pp., $30.00
ISBN 978-1-57735-182-5
[Add to Cart] [View Cart]
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.