论文信息 - Naming Observed Objects (revised)

Naming Observed Objects (revised)

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 illus- trate 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.

[1] David S. Touretzky,et al. The Mathematics of Inheritance Systems , 1984 .

[2] Anthony S. Maida. Knowledge Representation Requirements for Description-Based Communication , 1992, KR.

[3] Saul A. Kripke,et al. Naming and Necessity , 1980 .

[4] Stig K. Andersen,et al. Probabilistic reasoning in intelligent systems: Networks of plausible inference , 1991 .

[5] Anthony S. Maida. Propositionally representing incomplete knowledge about existence , 1993, J. Exp. Theor. Artif. Intell..

[6] Verzekeren Naar Sparen,et al. Cambridge , 1969, Humphrey Burton: In My Own Time.

[7] Kim Sterelny,et al. Language And Reality , 1987 .

[8] Raymond Reiter,et al. On Reasoning by Default , 1978, TINLAP.

[9] Shaohua Tang,et al. Description-based communication for autonomous agents under ideal conditions , 1997, J. Exp. Theor. Artif. Intell..

[10] H. Putnam. Meaning and Reference , 1973 .

[11] J. Fodor. The Language of Thought , 1980 .

[13] Michael R. Genesereth,et al. Software agents , 1994, CACM.

[14] Judea Pearl,et al. Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.