Logical Formalizations of Commonsense Reasoning
Papers from the 2015 AAAI Spring Symposium
Leora Morgenstern, Theodore Patkos, Robert Sloan, Program Chair
Technical Report SS-15-04
Published by The AAAI Press, Palo Alto, California.
168 pp.
Electronic Version of the Technical Report (Download only): $10.00 (Special Introductory Price)
Softcover version of the technical report: $35.00 softcover
(For international orders please shipping options before ordering on website.)
ISBN 978-1-57735-708-4
[View Cart]
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. The challenges to creating such formalizations 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.