Deductive Spreadsheets

By tapping into recent research in Logic Programming, Databases and Human-Computer Interaction, Deductive Solutions proposes to develop a deductive extension to the spreadsheet. This tool is intended as an automated assistant for the daily reasoning and decision-making needs of computer users, in the same way as the traditional spreadsheet assists them every day with calculations simple and complex. Users without formal training in Logic or Computer Science will be able to interactively define logical rules in the same way as they define formulas in a spreadsheet. The user will then present questions and the Deductive Spreadsheet will use these rules to provide either yes/no answers or lists of value that satisfy them. This deductive component will be seamlessly integrated into the traditional spreadsheet so that a user will not only still have access to the usual functionalities, but will be able to use them as part of the logical inference.