October 14, 2006
Hyatt Crystal City, Arlington, Virginia
Applications such as email clients, Web browsers, spreadsheets and personal finance programs have become an integral part of modern daily life. The user base of some of these programs are in the hundreds of millions of users.
Intelligent reasoners can aid the users of these programs in several ways. Firstly, they can automate routine, repetitive, or tedious tasks, freeing the user from doing so himself. Secondly, they can script time-critical actions to be taken by the application, even if the user is unavailable or not fast enough to do so himself. Finally, they can be used to constrain aspects of the program's behavior to meet the user's needs.
For example, email filtering rules save the user from having to send email from a known spammer to the trash can and can take timely action such as automatically forwarding important email to a coworker while the user is disconnected from the Internet. Or rules can specify constraints or preferences on what type of music an mp3 player should play during particular times of the day, or what types of programs a digital video recorder should record. These rules might be directly specified by the end user or learned automatically by the application. Furthermore, the application might be called upon to explain its actions, which requires further reasoning.
Looking to the future, the promise of the Semantic Web has opened up the possibility of "Scripting the World," as intelligent reasoners can reference arbitrary conditions on the Web and produce corresponding side-effects on the Web. Furthermore, the Semantic Desktop movement promises to integrate ontologies and metadata into the everyday desktop environment.
This symposium is concerned with all aspects of making intelligent reasoners accessible to everyday users, and in incorporating reasoners into everyday applications. Such applications include, but are not limited to: email clients, spreadsheets, Web browsers, multimedia players, digital video recorders, digital calendars, digital address books, internet telephony applications, financial and accounting applications, home robots, and word processors.
Topics of interest include, but are not limited to:
* Extensions of everyday applications to incorporate intelligent reasonersProgram:
This 1-day symposium will take place on Saturday, October 14.
The symposium will consist of several presentations, roundtables, and plenty of time for discussion. The symposium schedule can be found here. The following talks are scheduled:
A Spreadsheet for Everyday Symbolic Reasoning
Iliano Cervesato
Adding Deductive Logic to a COTS Spreadsheet
Marcelo Tallis, Rand Waltzman, and Bob Balzer
Implementing Logic Spreadsheets in LESS
Andre Valente, David Van Brackle, Hans Chalupsky and Gary Edwards
Applying Common Sense Reasoning to Suggest Lines of Enquiry in a Knowledge Management
Application
Michael Witbrock
Using Logical and Probabilistic Reasoning to Support Electronic,
Interpersonal Interactions
Luke McDowell
Semantic Email Addressing: Sending to People, Not Strings
Michael Kassoff, Charles Petrie, Lee-Ming Zen and Michael Genesereth
Factored Planning for Controlling a Robotic Arm
Jaesik Choi and Eyal Amir
Integrating Logical Inference into Statistical Text Classification Applications
Andrew Gordon and Reid Swanson
Registration:
The registration deadline is September 22. See http://www.aaai.org/Symposia/Fall/fss06.php for more infomation.
Organization (Alphabetical):
| Michael Kassoff (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) |
Deadlines:
| Abstracts due: | May 20, 2006 |
| Papers due: | June 16, 2006 |
| Notification of Acceptance: | July 1, 2006 |
| Camera-ready papers due: | August 29, 2006 |
| Discounted hotel deadline: | September 20, 2006 |
| Registration deadline: | September 22, 2006 |
| Symposium: | October 14, 2006 |
Further information will appear on this website once it becomes available.