Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Integrating Logical Reasoning into Everyday Applications Papers from the AAAI Fall Symposium Technical Report FS-06-04 AAAI Press American Association for Artificial Intelligence AAAI Press 445 Burgess Drive Menlo Park, California 94025 ISBN 978-1-57735-302-7 FS-06-04 Integrating Logical Reasoning into Everyday Applications Papers from the AAAI Fall Symposium Michael Kassoff, Chair Technical Report FS-06-04 AAAI Press Menlo Park, California Copyright © 2006, AAAI Press The American Association for Artificial Intelligence 445 Burgess Drive Menlo Park, California 94025 USA AAAI maintains compilation copyright for this technical report and retains the right of first refusal to any publication (including electronic distribution) arising from this AAAI event. Please do not make any inquiries or arrangements for hardcopy or electronic publication of all or part of the papers contained in these working notes without first exploring the options available through AAAI Press and AI Magazine (concurrent submission to AAAI and an another publisher is not acceptable). A signed release of this right by AAAI is required before publication by a third party. ISBN 978-1-57735-302-7 FS-06-04 Manufactured in the United States of America Organizing Committee Michael Kassoff (Chair), Stanford University Heiner Stuckenschmidt, University of Mannheim Andre Valente, Knowledge Systems Ventures Michael Witbrock, Cycorp Program Committee Eyal Amir, University of Illinois Urbana-Champaign Richard Benjamins, ISOCO, Spain Hans Chalupsky, ISI Tim Finin, University of Maryland Lalana Kagal, MIT Holger Knublauch, TopQuadrant Luke McDowell, US Naval Academy Eyal Oren, DERI Galway, Ireland Filip Perich, Shared Spectrum Company Leo Sauermann, DFKI, Germany Michael Sintek, DFKI, Germany Warner ten Kate, Philips Research Frank van Harmelen, VU Amsterdam This AAAI Symposium was held October 13–15, 2006, in Crystal City, Arlington, Virginia USA iii Contents A Spreadsheet for Everyday Symbolic Reasoning / 1 Iliano Cervesato Factored Planning for Controlling a Robotic Arm / 9 Jaesik Choi and Eyal Amir Integrating Logical Inference into Statistical Text Classification Applications / 15 Andrew S. Gordon and Reid Swanson Semantic Email Addressing: Sending to People, Not Strings / 17 Michael Kassoff, Charles Petrie, Lee-Ming Zen, and Michael Genesereth Adding Deductive Logic to a COTS Spreadsheet / 22 Marcelo Tallis, Rand Waltzman, and Bob Balzer Implementing Logic Spreadsheets in LESS / 30 Andre Valente, David Van Brackle, Hans Chalupsky, and Gary Edwards v vi