4 research outputs found
A Spreadsheet for Everyday Symbolic Reasoning
We propose a deductive extension of the spreadsheet
paradigm as the basis for an automated assistant for
the daily reasoning and decision-making needs of computer
users, in the same way as a spreadsheet application
such as Microsoft Excel assists them every day with
calculations simple and complex. Users without formal
training in Logic or even Computer Science can interactively
define logical rules in the same simple way as
they define formulas in Excel. These rules are immediately
evaluated thereby returning lists of values that
satisfy them, again just like with numerical formulas.
The deductive component is seamlessly integrated into
the traditional spreadsheet so that a user not only still
has access to the usual functionalities, but is able to mix
deductive reasoning and numerical calculation
A Spreadsheet for Everyday Symbolic Reasoning β
We propose a deductive extension of the spreadsheet paradigm as the basis for an automated assistant for the daily reasoning and decision-making needs of computer users, in the same way as a spreadsheet application such as Microsoft Excel assists them every day with calculations simple and complex. Users without formal training in Logic or even Computer Science can interactively define logical rules in the same simple way as they define formulas in Excel. These rules are immediately evaluated thereby returning lists of values that satisfy them, again just like with numerical formulas. The deductive component is seamlessly integrated into the traditional spreadsheet so that a user not only still has access to the usual functionalities, but is able to mix deductive reasoning and numerical calculation
A Spreadsheet for Everyday Symbolic Reasoning β
We propose a deductive extension of the spreadsheet paradigm as the basis for an automated assistant for the daily reasoning and decision-making needs of computer users, in the same way as a spreadsheet application such as Microsoft Excel assists them every day with calculations simple and complex. Users without formal training in Logic or even Computer Science can interactively define logical rules in the same simple way as they define formulas in Excel. These rules are immediately evaluated thereby returning lists of values that satisfy them, again just like with numerical formulas. The deductive component is seamlessly integrated into the traditional spreadsheet so that a user not only still has access to the usual functionalities, but is able to mix deductive reasoning and numerical calculation