TEXT EDITING AND BEYOND: A STUDY IN LOGIC MODELING

This paper presents a logic modeling exercise in which we develop test and implement a logic model for a test editor and use it to test existing test editing software. We begin by presenting a first order Horn logic axiomatization of a text editor by providing domain equations for the primitive operations insert, delete and character retrieval. We show that this logic model captures the essential aspects of the text editing task and how more complex features are built using these primitives. We discuss possible implementations and conclude that any operational semantics - the set of algorithms that perform the task - must be strongly related to the logic model we present. In other words, each operational semantics constitutes a model of the logic theory Next, we illustrate the usefulness of the model by implementing a basic text editing system and testing the correctness of an existing text editor. We conclude by describing how we are integrating these modeling techniques into a larger and more complex knowledge-based system.Information Systems Working Papers Serie

TEXT EDITING AND BEYOND: A STUDY IN LOGIC MODELING

This paper presents a logic modeling exercise in which we develop test and implement a logic model for a test editor and use it to test existing test editing software. We begin by presenting a first order Horn logic axiomatization of a text editor by providing domain equations for the primitive operations insert, delete and character retrieval. We show that this logic model captures the essential aspects of the text editing task and how more complex features are built using these primitives. We discuss possible implementations and conclude that any operational semantics - the set of algorithms that perform the task - must be strongly related to the logic model we present. In other words, each operational semantics constitutes a model of the logic theory Next, we illustrate the usefulness of the model by implementing a basic text editing system and testing the correctness of an existing text editor. We conclude by describing how we are integrating these modeling techniques into a larger and more complex knowledge-based system.Information Systems Working Papers Serie

ON THE LOGIC OF GENERALIZED HYPERTEXT

Hypertext is one of those neat ideas in computing that periodically burst upon the scene, quickly demonstrating their usefulness and gaining widespread acceptance. As interesting, useful and exciting as hypertext is, the concept has certain problems and limitations, many of which are widely recognized. In this paper we describe what we call basic hypertext and we present a logic model for it. Basic hypertext should be thought of as a rigorously-presented approximation of first-generation hypertext concepts. Following our discussion of basic hypertext, we present our concept of generalized hypertext, which is aimed at overcoming certain of the limitations of basic hypertext and which we have implemented in a DSS shell called Max. We then present a logic model for browsing in generalized hypertext.Information Systems Working Papers Serie

On the Logic of Generalized Hypertext

Hypertext is one of those neat ideas in computing that periodically burst upon the scene, quickly demonstrating their usefulness and gaining widespread acceptance. As interesting, useful and exciting as hypertext is, the concept has certain problems and limitations, many of which are widely recognized. In this paper we describe what we call basic hypertext and we present a logic model for it. Basic hypertext should be thought of as a rigorously-presented approximation of first-generation hypertext concepts. Following our discussion of basic hypertext, we present our concept of generalized hypertext, which is aimed at overcoming certain of the limitations of basic hypertext and which we have implemented in a DSS shell called Max. We then present a logic model for browsing in generalized hypertext

ON THE LOGIC OF GENERALIZED HYPERTEXT

Hypertext is one of those neat ideas in computing that periodically burst upon the scene, quickly demonstrating their usefulness and gaining widespread acceptance. As interesting, useful and exciting as hypertext is, the concept has certain problems and limitations, many of which are widely recognized. In this paper we describe what we call basic hypertext and we present a logic model for it. Basic hypertext should be thought of as a rigorously-presented approximation of first-generation hypertext concepts. Following our discussion of basic hypertext, we present our concept of generalized hypertext, which is aimed at overcoming certain of the limitations of basic hypertext and which we have implemented in a DSS shell called Max. We then present a logic model for browsing in generalized hypertext.Information Systems Working Papers Serie