Sensing actions, time, and concurrency in the situation calculus

Document Type

Conference Proceeding

Publication Date

1-1-2001

Abstract

A formal framework for specifying and developing agents/robots must handle not only knowledge and sensing actions, but also time and concurrency. Researchers have extended the situation calculus to handle knowledge and sensing actions. Other researchers have addressed the issue of adding time and concurrent actions. We combine both of these features into a unified logical theory of knowledge, sensing, time, and concurrency. The result preserves the solution to the frame problem of previous work, maintains the distinction between indexical and objective knowledge of time, and is capable of representing the various ways in which concurrency interacts with time and knowledge. © Springer-Verlag Berlin Heidelberg 2001.

Identifier

84867460207 (Scopus)

ISBN

[3540424229, 9783540424222]

Publication Title

Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics

External Full Text Location

https://doi.org/10.1007/3-540-44631-1_3

e-ISSN

16113349

ISSN

03029743

First Page

31

Last Page

45

Volume

1986 LNAI

This document is currently not available here.

Share

COinS