A GOLOG Specification of a Hypertext System

GOLOG, a logic programming language for dynamic domains is utilized to give a specification of a hypertext system. The situation calculus is used to specify the basic actions such as traversing a link, while the overall control structure is modelled with the complex actions of GOLOG. The result serves as both a logical specification of a software system and as an executable model of the very same system.

[1]  Raymond Reiter,et al.  On Specifying Database Updates , 1995, J. Log. Program..

[2]  G. Halasz Frank,et al.  Reflections on NoteCards: seven issues for the next generation of hypermedia systems , 1987, CACM.

[3]  Vladimir Lifschitz,et al.  Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .

[4]  Polle Zellweger,et al.  Specifying temporal behavior in hypermedia documents , 1992, ECHT '92.

[5]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

[6]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[7]  Steven Kimbrough,et al.  On the Logic of Generalized Hypertext , 1992, Decis. Support Syst..

[8]  Fabio Vitali,et al.  A situation calculus model of hypertext , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[9]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[10]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[11]  A. Haas.  The Case for Domain-Specific Frame Axioms , 1987 .

[12]  Daniel Marcu,et al.  A Logical Approach to High-Level Robot Programming A Progress Report* , 1994 .

[13]  Henry E. Kyburg,et al.  Knowledge Representation and Defeasible Reasoning , 1990 .

[14]  Jakob Nielsen,et al.  Multimedia and Hypertext: The Internet and Beyond , 1995 .

[15]  P. David Stotts,et al.  Programmable browsing semantics in Trellis , 1989, Hypertext.

[16]  Hector J. Levesque,et al.  Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus , 1997, IJCAI.

[17]  Raymond Reiter,et al.  Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..

[18]  Lenhart K. Schubert.  Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds wi , 1990 .

[19]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .

[20]  Jeff Conklin,et al.  Hypertext: An Introduction and Survey , 1987, Computer.

[21]  Raymond Reiter,et al.  Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.

[22]  Mayer D. Schwartz,et al.  The Dexter Hypertext Reference Model , 1994, CACM.

[23]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[24]  Frank Wm. Tompa,et al.  Hypertext by link-resolving components , 1993, HYPERTEXT '93.

[25]  Jakob Nielsen,et al.  The art of navigating through hypertext , 1990, CACM.

[26]  David Carter,et al.  Butterflies and Moths , 1992 .

[27]  Daniel Marcu,et al.  Foundations of a Logical Approach to Agent Programming , 1995, ATAL.