DocumentCode
1626694
Title
A situation calculus model of hypertext
Author
Scherl, Richard ; Bieber, Michael ; Vitali, Fabio
Author_Institution
Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
Volume
5
fYear
1998
Firstpage
205
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 (1994) 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
Keywords
algebraic specification; formal logic; hypermedia; artificial intelligence; dynamic worlds; hypertext; logical model; programming; robotic agents; situation calculus model; Calculus; Databases; Dynamic programming; Hypertext systems; Intelligent agent; Intelligent robots; Logic; Navigation; Robot control; Robot programming;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences, 1998., Proceedings of the Thirty-First Hawaii International Conference on
Conference_Location
Kohala Coast, HI
Print_ISBN
0-8186-8255-8
Type
conf
DOI
10.1109/HICSS.1998.648314
Filename
648314
Link To Document