Naming Observed Objects (revised)

Contents

This paper sketches an operational semantics and protocol for naming observed objects. The semantics and protocol are motivated by a philosophical account of reference. We illustrate the protocol on an example in which two agents jointly explore an unknown domain and exchange information about observed objects. The protocol is examined for compatibility with two forms of default reasoning. We then raise problems for it, and discuss possible solutions.