HOFFMANN@KL.SRI.COM (Marcelo Hoffmann) (10/21/87)
John Sowa, a member of the IBM Systems Research Institute will be giving a talk titled "Crystallizing Theories out of Knowledge Soup (knowledge base)", on Thursday, October 22, at 7:00 PM in Room 380C Mathematics Department, Stanford University (while facing the Quad from Palm Drive, in the nearest, right hand corner of the Quad). The talks is sponsored by the IEEE Computer Society. Abstract: "The most challenging problems for AI arise from the difficulty of characterizing the knowledge soup, analyzing it, and codifying it in formal symbolic terms. These problems appear in many different guises in knowledge acquisition, machine learning, metaphor analysis, nonmonotonic reasoning, and reasoning with uncertainty. No complete, formal solutions are possible, but methods of conceptual analysis, belief revision, and dynamic type hierarchies permit special-case subtheories to be crystallized out of the knowledge soup as needed. This talk will use conceptual graphs as the formalism for representing the crystallized theories and show how they can be used with belief revision systems and dynamically changing type hierarchies". Attendance is free. -------