nach oben

Erschienen in:

2013 | OriginalPaper | Buchkapitel

11. Future Developments

verfasst von : Iliano Cervesato

Erschienen in: The Deductive Spreadsheet

Verlag: Springer Berlin Heidelberg

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

This concluding chapter outlines future development and discusses approaches to implementing an application based on the work presented in this book.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Preliminary Experiments

It featured a 2.33 GHz Intel Core Duo processor and 2 GB of RAM.

This paper presents the design of a visual logic programming language that supports visual representation and visual reasoning in a declarative way.

This is the original paper on the attention investment model. It focuses on the initial attitude of non-professional end-users when given tasks that have a programming component (e.g., writing spreadsheet formulas or programming a VCR). In particular, the attention investment model examines the first steps these users take and tries to understand their actions based on task and system at hand.

This paper describes a general, logic-based, methodology to compile a logic program into an intermediate logical language that can be executed more efficiently. This is in contrast to traditional approaches to compiling logic programs, which took a purely operational view.

This expanded version of [CGT89] is an excellent survey with some in-depth analysis of important concepts, in particular semantics, optimizations and the interface with actual databases. It covers the experimental deductive database system of the time at length.

This paper attempts to rein in the high error rate found in spreadsheets by relying on “units” implicitly inferred from a spreadsheet rather than a rigid system of types. Such units are classified and correlated into dependent units, multiplicities and generalizations, with the aim to capture the user’s intention and fend off mistakes.

This article contains an in-depth discussion of the semi-naïve strategy.

This paper applies the cognitive dimensions of notation framework to the evaluation for visual programming environments, finding it particularly effective and a good complement for other techniques.

This paper models the propagation of the assertion of new facts or the retraction of old facts in the Datalog system by means of inference in linear logic. To this effect, it translates Datalog clauses into linear logic formulas that also contain specifications about how to propagate updates.

This paper advocates a design methodology for graphical systems that is driven by concrete examples of tasks that users are expected to accomplish (problems) rather than abstract cognitive targets. This expands the space of design alternatives and acts as a benchmark to evaluate solutions.

This paper explores an efficient asynchronous algorithm to incrementally compute the changes to the states of a distributed Datalog system, as proposed in some network protocols and multi-agent systems, in response to the insertions and deletions of base facts.

This collection of essays brings together the best approaches to predictive user modeling in use at the time, with special emphasis on various types of cognitive walkthrough. It reports on numerous case studies and gives practical guidance to developers interested in embedding usability inspection into the software cycle.

This very influential article carried out a systematic study of the number and type of errors found in spreadsheets. At the outset, the results are surprisingly high, which should limit our confidence about decisions made on the basis of spreadsheet calculations. This research also finds that this type and number is similar to programming in general, except that software engineering has developed methods to curb this error rate, while spreadsheet users take a more informal approach.

This paper describes the XcelLog deductive spreadsheet system [RRW07] with particular emphasis on using the spreadsheet metaphor for the purpose of taming the rule interactions. It also discusses the details of its implementation as an Excel addon powered by the XSB tabled logic programming system [War98] as a back-end.

This paper describes the design and implementation of XcelLog, an extension of the traditional spreadsheet with deductive capabilities. Like the proposal in this book, XcelLog is meant to retain the usability of the spreadsheet while enabling end-users to use it to draw logical consequences. The approach treats sets as the fundamental data type and inference rules as specifying among sets. The spreadsheet metaphor is used to create and view the materialized sets. The implementation relies on the XSB system [War98].

This paper reviews the state of the art of bottom-up evaluation and proposes a transformation on Datalog programs to speed up that semi-naïve evaluation. It also discusses extensions to negation, set terms, constraints and quantitative reasoning. Comparisons with numerous systems are included.

This paper describes a series of experiments aimed at analyzing the cognitive impact on analytic process of conditional reasoning with negations and double negations.

XSB is Prolog with a form of memoization called tabling. Declaratively, it does not differ substantially from Prolog. Procedurally, however, it substantially improves on the standard top-down SLDNF resolution strategy of this language by nearly eradicating control-induced infinite loops. In particular, an XSB query always terminates against a Datalog program. Tabling can also have a positive effect on efficiency, although this may depend on how the user writes his programs. This makes XSB a promising candidate as the underlying explanation engine of a deductive spreadsheet.

This classic cognitive psychology textbook is concerned with why we reason the way we do: we are not infallible reasoners yet certain deductions come to us naturally while others require quite a bit of effort, and often end up being erroneous. One such difficult pattern is negation. This book is a fascinating in-depth analysis of the often problematic relationship between man and logic.

[APRS96].

Agustí, J., Puigsegur, J., Robertson, D., & Schorlemmer, M. (1996). Visual logic programming through set inclusion and chaining. In CADE-13 workshop on visual reasoning, New Brunswick. ²

[Bla02].

Blackwell, A. (2002). First steps in programming: A rationale for attention investment models. In Conference on human-centric computing languages and environments, Arlington (pp. 2–10). IEEE Computer Society. ³

[Cer12].

Cervesato, I. (2012). An improved proof-theoretic compilation of logic programs. In A. Dovier & V. Santos Costa (Eds.), 28th international conference on logic programming – ICLP’12, Budapest (Theory and practice of logic programming). Cambridge University Press. ⁴

[CGT90].

Ceri, S., Gottlob, G., & Tanca, L. (1990). Logic programming and databases. Berlin/New York: Springer. ⁵

[EB02].

Erwig, M., & Burnett, M. (2002). Adding apples and oranges. In Practical aspects of declarative languages, 4th international symposium – PADL’02, Portland (Lecture notes in computer science, Vol. 2257, pp. 173–191). Springer. ⁶

[GKB87].

Güntzer, U., Kiessling, W., & Bayer, R. (1987). On the evaluation of recursion in (deductive) database systems by efficient differential fixpoint iteration. In Proceedings of the third international conference on data engineering, Los Angeles (pp. 120–129). IEEE Computer Society. ⁷

[GP96].

Green, T., & Petre, M. (1996). Usability analysis of visual programming environments: A “cognitive dimensions” framework. Journal of Visual Languages and Computing, 7, 131–174. ⁸

[LC12].

Lam, E. S. L., & Cervesato, I. (2012). Modeling datalog fact assertion and retraction in linear logic. In A. King (Ed.), Proceedings of the 14th international ACM symposium on principles and practice of declarative programming – PPDP’12, Leuven. ⁹

[LRB91].

Lewis, C., Rieman, J., & Bell, B. (1991). Problem-centered design for expressiveness and facility in a graphical programming system. Human-Computer Interaction, 6(3–4), 319–355. ¹⁰

[NJLS11].

Nigam, V., Jia, L., Loo, B. T., & Scedrov, A. (2011). Maintaining distributed logic programs incrementally. In Proceedings of the 13th international ACM symposium on principles and practice of declarative programming – PPDP’11, Odense (pp. 125–136). ACM. ¹¹

[NM94].

Nielsen, J., & Mack, R. L. (Eds.). (1994). Usability inspection methods. New York: Wiley. ¹²

[Pan98].

Panko, R. R. (1998). What we know about spreadsheet errors. Journal of End User Computing (Special issue on Scaling Up End User Development), 10(2), 15–21. Available at http://panko.shidler.hawaii.edu/ssr/Mypapers/whatknow.htm. ¹³

[RRW06].

Ramakrishnan, C. R., Ramakrishnan, I. V., & Warren, D. S. (2006). Deductive spreadsheets using tabled logic programming. In Proceedings of the 22nd international conference on logic programming – ICLP’06, Seattle (pp. 391–405). ¹⁴

[RRW07].

Ramakrishnan, C. R., Ramakrishnan, I. V., & Warren, D. S. (2007). XcelLog: A deductive spreadsheet system. The Knowledge Engineering Review, 22(03), 269–279. ¹⁵

[RSS92].

Ramakrishnan, R., Srivastava, D., & Sudarshan, S. (1992). Efficient bottom-up evaluation of logic programs. In P. Dewilde & J. Vandewalle (Eds.), The state of the art in computer systems and software engineering. Kluwer Academic. ¹⁶

[SSFd00].

Schroyens, W., Schaeken, W., Fias, W., & d’Ydewalle, G. (2000). Heuristic and analytic processes in propositional reasoning with negation. Journal of Experimental Psychology: Learning, Memory, and Cognition, 26(6), 1713–1734 ¹⁷

[War98].

Warren, D. S. (1998). Programming with tabling in XSB. In D. Gries & W. P. de Roever (Eds.), Programming concepts and methods, IFIP TC2/WG2.2,2.3 international conference on programming concepts and methods (PROCOMET’98): Vol. 125 of IFIP conference proceedings, Shelter Island (pp. 5–6). Chapman & Hall. ¹⁸

[WJL72].

Wason, P. C., & Johnson-Laird, P. N. (1972). Psychology of reasoning: Structure and content. Cambridge: Cambridge University Press. ¹⁹

Titel: Future Developments
verfasst von: Iliano Cervesato
Verlag: Springer Berlin Heidelberg
Buch: The Deductive Spreadsheet
Print ISBN: 978-3-642-37746-4

Electronic ISBN: 978-3-642-37747-1

Copyright-Jahr: 2013
DOI: https://doi.org/10.1007/978-3-642-37747-1_11

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"