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.
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.