Text Editing and Beyond: A Study in Logic Modeling

44 Pages Posted: 31 Oct 2008

See all articles by Michael Bieber

Michael Bieber

affiliation not provided to SSRN

Tomas Isakowitz

affiliation not provided to SSRN

Date Written: December 1991

Abstract

This paper presents a logic modeling exercise in which we developtest and implement a logic model for a test editor and use it to testexisting test editing software. We begin by presenting a first orderHorn logic axiomatization of a text editor by providing domain equationsfor the primitive operations insert, delete and character retrieval. We show that this logic model captures the essential aspects of thetext editing task and how more complex features are built using theseprimitives. We discuss possible implementations and conclude thatany operational semantics - the set of algorithms that perform thetask - must be strongly related to the logic model we present. In otherwords, each operational semantics constitutes a model of the logic theoryNext, we illustrate the usefulness of the model by implementinga basic text editing system and testing the correctness of an existingtext editor. We conclude by describing how we are integrating thesemodeling techniques into a larger and more complex knowledge-basedsystem.

Keywords: Logic Modeling, Text Editing, Operational Semantics, Hoare Logic, Horn Logic, Prolog, Hypertext

Suggested Citation

Bieber, Michael and Isakowitz, Tomas, Text Editing and Beyond: A Study in Logic Modeling (December 1991). NYU Working Paper No. IS-91-39, Available at SSRN: https://ssrn.com/abstract=1289068

Michael Bieber (Contact Author)

affiliation not provided to SSRN

No Address Available

Tomas Isakowitz

affiliation not provided to SSRN

No Address Available

Do you have negative results from your research you’d like to share?

Paper statistics

Downloads
53
Abstract Views
1,050
Rank
681,958
PlumX Metrics