Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!watmath!clyde!burl!ulysses!mhuxl!ihnp4!zehntel!hplabs!sri-unix!KEDAR-CABELLI@RUTGERS.ARPA From: KEDAR-CABELLI@RUTGERS.ARPA Newsgroups: net.ai Subject: Thinking About Graph Theory Message-ID: <17416@sri-arpa.UUCP> Date: Thu, 8-Mar-84 12:55:47 EST Article-I.D.: sri-arpa.17416 Posted: Thu Mar 8 12:55:47 1984 Date-Received: Tue, 13-Mar-84 07:57:05 EST Lines: 22 From: Smadar[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.