KEDAR-CABELLI@RUTGERS.ARPA (03/08/84)
From: Smadar <KEDAR-CABELLI@RUTGERS.ARPA> [Forwarded from the Rutgers bboard by Laws@SRI-AI.] III Seminar on AI and Mathematical Reasoning Title: Thinking About Graph Theory Speaker: Susan Epstein Date: Tuesday, March 13, 1984, 1:30-2:30 PM Location: Hill Center, Seventh floor lounge Dr. Susan Epstein, a recent graduate of our department, will give an informal talk based on her thesis work. Here is her abstract: A major challenge in artificial intelligence is to provide computers with mathematical knowledge in a format which supports mathematical reasoning. A recursive formulation is described as the foundation of a knowledge representation for graph theory. Benefits include the automatic construction of examples and related algorithms, hierarchy detection, creation of new properties, conjecture and theorem proving.