AAAI 2006 Fall Symposium on

Integrating Reasoning into Everyday Applications

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 reasoners
  * Logical reasoning in applications that utilize the Semantic Web / Semantic Desktop
  * User interfaces for viewing / editing rules
  * Cognitive studies of everyday users using rules
  * Computational aspects of incorporating rules into applications
  * Cross-application scripting with rules
  * Incorporating rules into procedural application scripting languages
  * Statistical reasoning in applications
  * Logical reasoning in applications
  * Automatic and semi-automatic means of generating and modifying rules in applications


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


The registration deadline is September 22. See 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)


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.