Description-based communication for autonomous agents under ideal conditions

Abstract. This paper analyses description-based communication for autonomous agents when it takes place under ideal conditions. By ideal conditions, is meant the following: agents operate in a domain consisting of novel objects but each object has a finite and unique set of basic properties. Agents are able to completely and accurately observe the basic properties of an object. Furthermore, when an agent describes an object, the agent completely and accurately describes the basic properties of the object. Finally, there are no transmission errors in the communication process and an agent that receives a message believes everything it is told. Under these conditions, it is shown that the object recognition problem is identical to the referent identification problem. Further, referent identification failures and object misrecognitions do not occur. Also, agents never acquire false beliefs, and for any object that an agent knows about, its knowledge of the basic properties of the object is complete. Sufficie...

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

[2]  Joseph Weizenbaum,et al.  ELIZA—a computer program for the study of natural language communication between man and machine , 1966, CACM.

[3]  Allen Newell,et al.  Intelligent control of external software systems , 1993, Artif. Intell. Eng..

[4]  Douglas E. Appelt,et al.  Planning English Referring Expressions , 1985, Artif. Intell..

[5]  Anthony S. Maida,et al.  Maintaining Mental Models of Agents who have Existential Misconceptions , 1991, Artif. Intell..

[6]  Oren Etzioni,et al.  Building Softbots for UNIX (Preliminary Report) , 1992 .

[7]  Ernest Davis,et al.  Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.

[8]  Philip R. Cohen On knowing what to say: planning speech acts. , 1978 .

[9]  Philip R. Cohen The Pragmatics of Referring and the Modality of Communication , 1984, Comput. Linguistics.

[10]  James F. Allen A plan-based approach to speech act recognition , 1979 .

[11]  Graeme Hirst,et al.  Collaborating on Referring Expressions , 1991, CL.

[12]  Donald Perlis,et al.  Presentations and this and that: logic in action , 1998 .

[13]  Nils J. Nilsson,et al.  Logic and Artificial Intelligence , 1991, Artif. Intell..

[14]  Andrew R. Haas,et al.  A Syntactic Theory of Belief and Action , 1986, Artif. Intell..

[15]  Robert Dale,et al.  A Fast Algorithm for the Generation of Referring Expressions , 1992, COLING.

[16]  Terry Winograd,et al.  Understanding natural language , 1974 .

[17]  W. V. Quine Quantifiers and Propositional Attitudes , 1956 .

[18]  Y. Wilks,et al.  Artificial Believers: The Ascription of Belief , 1991 .

[19]  Munindar P. Singh Towards a Formal Theory of Communication for Multi-agent Systems , 1991, IJCAI.

[20]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[21]  H. H. Clark,et al.  Referring as a collaborative process , 1986, Cognition.

[22]  Donald Perlis,et al.  Languages With Self-Reference I: Foundations , 1985, Artif. Intell..

[23]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artificial Intelligence.

[24]  Philip R. Cohen The Need for Referent Identification as a Planned Action , 1981, IJCAI.

[25]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[26]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[27]  C. Raymond Perrault,et al.  Elements of a Plan-Based Theory of Speech Acts , 1979, Cogn. Sci..

[28]  Norman J. Brown Speech Acts: An Essay in the Philosophy of Language . By John R. Searle. Cambridge: at the University Press. 1969 Pp. vi, 203. $7.25. , 1970, Dialogue.

[29]  Oren Etzioni,et al.  Tractable Closed World Reasoning with Updates , 1994, KR.

[30]  C. Raymond Perrault,et al.  Analyzing Intention in Utterances , 1986, Artif. Intell..

[31]  Bradley A. Goodman Reference Identification and Reference Identification Failures , 1986, Comput. Linguistics.

[32]  Yoav Shoham Agent-Oriented Programming , 1993, Artif. Intell..

[33]  Hector J. Levesque Making Believers out of Computers , 1989 .

[34]  R. Dale,et al.  Content determination in the generation of referring expressions , 1991 .

[35]  Saul A. Kripke,et al.  SPEAKER'S REFERENCE and SEMANTIC REFERENCE , 1977 .

[36]  Drew McDermott,et al.  Tarskian Semantics, or No Notation Without Denotation! , 1986, Cogn. Sci..

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

[38]  Douglas E. Appelt,et al.  A Computational Model of Referring , 1987, IJCAI.