From: AAAI Technical Report SS-02-05. Compilation copyright © 2002, AAAI (www.aaai.org). All rights reserved. DeductiveChatLines for Multiple Agents --Invited Talk-Richard Abstract. Deductive synthesis techniques provide a mediumby which multiple agents can communicateand cooperate with each other to solve a common task, even though they don’t know about each other and haven’t been designed to work together. Thesemethodsare being applied to geographicquestion answeringand the developmentof a personal deductive organizer. Copyright(g) 2002, American Associationfor Artificial Intelligence(www.aaai.org). All fights reserved. 5 Waldinger SRI Biography. Richard Waldinger has done pioneering work in deductive programsynthesis and other applications of automateddeduction to software engineering and artificial intelligence, including programverification, knowledgerepresentation, and planning. He received the Ph.D. from Carnegie-MeUon in 1969, supervised by Herbert Simon. Since then, he has beenaffiliated with the Artificial Intelligence Center of SKI International, wherehe is a Principal Scientist. He has published several bookswith Zohar Manna,of Stanford University, and has also visited the NASA AmesResearch Center and the Kestrel Institute, for extendedcollaborations. Heis both a AAAIFellow and an SKI International Fellow.