Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-09T20:09:19.421Z Has data issue: false hasContentIssue false
  • English
  • Français

PrediCalc: a logical spreadsheet management system

Published online by Cambridge University Press:  01 September 2007

MICHAEL KASSOFF  and
MICHAEL R. GENESERETH
MICHAEL KASSOFF
Affiliation:
Gates Hall, Computer Science Department, Stanford University, Stanford, CA 94305, USA e-mail: [email protected], [email protected]
MICHAEL R. GENESERETH
Affiliation:
Gates Hall, Computer Science Department, Stanford University, Stanford, CA 94305, USA e-mail: [email protected], [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

In this article, we describe PrediCalc, a logical spreadsheet that allows for many-to-many constraints and propagation in all directions. We explain PrediCalc’s update mechanism and PrediCalc’s unique approach to handling inconsistencies between the spreadsheet values and the spreadsheet formulas. We have developed a paraconsistent entailment relation for the purpose of computing the consequences of PrediCalc’s value assignments under inconsistency.

We close with thoughts on the prospects of logical spreadsheets on the World Wide Web, and describe our initial Websheet prototypes.

Type
Research Article
Information
The Knowledge Engineering Review , Volume 22 , Issue 3 , September 2007 , pp. 281 - 295
Copyright
Copyright © Cambridge University Press 2007

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Chen, W., Kifer, M. and Warren, D. 1993 HILOG: a foundation for higher-order logic programming. Journal of Logic Programming, 15(3), 187–230.CrossRefGoogle Scholar
Elvang-Gøransson, M. and Hunter, A. 1995 Argumentative logics: reasoning with classically inconsistent information. Data and Knowledge Engineering 16(2), 125–145.CrossRefGoogle Scholar
Enderton, H. 2000 A Mathematical Introduction to Logic, 2nd edn. Academic Press, New York 2000.Google Scholar
Felfernig, A., Friedrich, G., Jannach, D., Russ, C. and Zanker, M. 2003 Developing Constraint-Based Applications with Spreadsheets. IEA/AIE 2003, pp. 197–207.CrossRefGoogle Scholar
Fischer, G. and Rathke, C. 1988 Knowledge-Based Spreadsheets. AAAI 1988, pp. 802–807.Google Scholar
Genesereth, M. R. 1995 Epilog for Lisp 2.0 Manual. Palo Alto, CA: Epistemics Inc.Google Scholar
Genesereth, M. R., Keller, A., & Duschka, O. 1997 Infomaster: An Information Integration System. SIGMOD1997, pp. 539–542.CrossRefGoogle Scholar
Gupta, G. and Akhter, S. 2000 Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. PADL 2000, pp. 308–323.Google Scholar
Hilliger von Thile, A. and Melzer, M. 2005 Smart Files: Combining the Advantages of DBMS and WfMS with the Simplicity and Flexibility of Spreadsheets. BTW 2005, pp. 175–184.Google Scholar
Kassoff, M. and Valente, A. 2007 An Introduction to Logical Spreadsheets. The Knowledge Engineering Review, 22, 213–219.CrossRefGoogle Scholar
Kassoff, M., Zen, L., Garg, A., & Genesereth, M. R. 2005 PrediCalc: A Logical Spreadsheet Management System. VLDB 2005, pp. 1247–1250.Google Scholar
Kriwaczek, F. 1988 LogiCalc: a prolog spreadsheet. Machine Intelligence, 11,193–208.Google Scholar
Love, N. and Genesereth, M. R. 2005 Computational Law. ICAIL 2005, pp. 205–209.CrossRefGoogle Scholar
Orman, L. V. 1998 Differential Relational Calculus for Integrity Maintenance. IEEE Trans. Knowl. Data Eng. 10(2): 328–341.CrossRefGoogle Scholar
Pu, P. and Faltings, B. 2002 Effective interaction principles for user-involved constraint problem solving. In Second International Workshop on User-Interaction in Constraint Satisfaction, CP 2002, pp. 77–91.Google Scholar
Russell, S. and Norvig, P. 2003 Artificial Intelligence: A Modern Approach. 2nd edn. Englewood Cliffs, NJ: Prentice-Hall.Google Scholar
Spenke, M. and Beilken, C. 1989 A Spreadsheet Interface for Logic Programming. CHI 1989, pp. 75–80.CrossRefGoogle Scholar