You are here

XcelLog: A User - Centered Deductive Spreadsheet System

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: W31P4Q-05-C-R034
Agency Tracking Number: 04SB3-0147
Amount: $98,729.00
Phase: Phase I
Program: SBIR
Solicitation Topic Code: SB043-040
Solicitation Number: 2004.3
Timeline
Solicitation Year: 2004
Award Year: 2004
Award Start Date (Proposal Award Date): 2004-11-15
Award End Date (Contract End Date): 2005-07-31
Small Business Information
25 East Loop Road, Suite 217
Stony Brook, NY 11790
United States
DUNS: 031505071
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 David Warren, Ph.D.
 Senior Knowledge Engineer
 (631) 444-6814
 warren@xsb.com
Business Contact
 Rupert Hopkins
Title: President
Phone: (631) 444-6800
Email: r.hopkins@xsb.com
Research Institution
N/A
Abstract

In this Phase I SBIR proposal XSB, Inc. will explore the technical feasibility of building XcelLog - a user-centered deductive spreadsheet system. Using XcelLog end users can program intelligent applications using the spreadsheet metaphor without having a programming background. These applications are characterized by a knowledge base encoding knowledge of the application domain, and an inference engine that reasons over it to deduce new knowledge. XSB, Inc. will undertake a three-pronged approach to this feasibility study, namely: 1. Conducting a language design for deductive spreadsheets. This will include syntax and semantics of textual and gestural operators that will be used by end users for encoding their problem. 2. Developing translators for converting the encoded problems in deductive spreadsheets into logic programs that will execute on the XSB tabled logic programming system. 3. Developing the computing infrastructure to experiment with the language design choices from the twin perspectives of their expressive power and end user usability. These design choices will emerge from the exercise of encoding a variety of problems using the spreadsheet metaphor. This exercise will be conducted in Phase I and the problems will be drawn from different application domains to provide the breadth needed to design a robust language.

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government