Situation calculus model of hypertext

Document Type

Conference Proceeding

Publication Date

1-1-1998

Abstract

We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hypertext systems. In our presentation, a particular version of the situation calculus (which includes a language for programming complex actions) developed for the modeling of dynamic worlds and for the control of robotic agents (as studied in artificial intelligence) is used to represent the dynamics of a hypertext system. We argue that the formulation besides being of interest in itself has a number of advantages over other methods of formalizing hypertext systems.

Identifier

0031611042 (Scopus)

Publication Title

Proceedings of the Hawaii International Conference on System Sciences

ISSN

10603425

First Page

205

Last Page

214

Volume

5

This document is currently not available here.

Share

COinS