Agents interacting in a dynamically changing spatial environment often need to access the same spatial resources. A typical example is given by moving vehicles that meet at an intersection in a street network. In such situations right-of-way rules regulate the actions the vehicles involved may perform. For this application scenario we show how the Golog framework for reasoning about action and ...

Article history: Available online 3 April 2010

• Each table in the database has one column and stores the possible values for a ground fluent term. •Whenever there is complete knowledge about the term, the corresponding table has exactly one row. E.g., the ground fluent term door has only one possible value (Closed ) and so the table for door has exactly one row: Closed. •Whenever there is incomplete knowledge, the table has more than one r...

paper, we attempt to reconstruct the sitcalculus on a dense flow of time. The

This paper presents the way that an IndexMaximizing Linear Programming (LP) Model has been applied for dynamic reasoning in an intelligent Graphical User Interface. The graphical user interface is called IMailer and provides intelligent help to users during their interaction with an e-mailing system. For this purpose, IMailer constantly reasons about every user action in terms of the user’s goa...

Society is demanding larger and more complex information systems to support increasingly complex and critical organisational work. Whilst troubleshooting socio-technical issues in small-to-medium scale situations may be achievable using approaches such as ethnography, troubleshooting enterprise scale situations is an open research question because of the overwhelming number of socio-technical e...

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 ag...