Description-based communication for autonomous agents under ideal conditions

References

• Allen , J. F. 1979 . A plan-based approach to speech act recognition , Technical Report 131/79 University of Toronto, Department of Computer Science . Doctoral dissertation
   Google Scholar
• Allen , J. F. and Perrault , C. R. 1980 . Analyzing intention in utterances . Artificial Intelligence , 15 : 143 – 178 .
   Web of Science ®Google Scholar
• Appelt , D. E. 1985a . Planning English referring expressions . Artificial Intelligence , 26 : 1 – 33 .
   Web of Science ®Google Scholar
• Appelt , D. E. 1985 . Planning English Sentences , Cambridge, MA : Cambridge University Press .
   Google Scholar
• Appelt , D. E. and Kronfeld , A. A computational model of referring . Proceedings of the 10th International Joint Conference on Artificial Intelligence . Milan, Italy. pp. 640 – 647 .
   Google Scholar
• Ballim , A. and Wilks , Y. 1991 . Artificial Believers: The Ascription of Belief , Hillsdale, NJ : Lawrence Erlbaum .
   Google Scholar
• Brachman , R. and Levesque , H. , eds. 1985 . Readings in Knowledge Representation , Los Altos, CA : Morgan Kaufmann .
   Google Scholar
• Brooks , R. A. 1991 . Intelligence without representation . Artificial Intelligence , 47 : 139 – 159 .
   Web of Science ®Google Scholar
• Chapman , D. 1987 . Planning for conjunctive goals . Artificial Intelligence , 32 : 333 – 377 .
   Web of Science ®Google Scholar
• Chapman , D. 1991 . Vision, Instruction, and Action , Cambridge, MA : MIT Press .
   Google Scholar
• Clark , H. H. and Wilkes-Gibbs , D. 1990 . “ Referring as a collaborative process ” . In Intentions in Communication , Edited by: Cohen , P. R. , Morgan , J. and Pollack , M. E. 463 – 493 . Cambridge, MA : MIT Press .
   Google Scholar
• Cohen , P. R. 1978 . On knowing what to say: Planning speech acts , Technical Report 118 University of Toronto, Department of Computer Science . Doctoral dissertation
   Google Scholar
• Cohen , P. R. The need for referent identification as a planned action . Proceedings of the 7th International Joint Conference on Artificial Intelligence . Vancouver. pp. 31 – 36 .
   Google Scholar
• Cohen , P. R. 1984 . The pragmatics of refering and the modality of communication . Computational Linguistics , 10 : 97 – 146 .
   Google Scholar
• Cohen , P. R. and Perrault , C. R. 1979 . Elements of a plan-based theory of speech acts . Cognitive Science , 3 : 177 – 212 .
   Google Scholar
• Dale , R. and Haddock , N. 1991 . Content determination in the generation of referring expression . Computational Intelligence , 7 : 252 – 265 .
   Google Scholar
• Davis , E. 1990 . Representations of Commonsense Knowledge , San Mateo, CA : Morgan Kaufmann .
   Google Scholar
• Davis , R. and Smith , R. G. 1983 . Negotiation as a metaphor for distributed problem solving . Artificial Intelligence , 20 : 63 – 109 .
   Web of Science ®Google Scholar
• Devitt , M. 1981 . Designation , New York : Columbia University Press .
   Google Scholar
• Edmonds , P. G. 1993 . A computational model of collaboration on reference in direction-giving dialogs , Technical Report CSRI-289 Toronto, , Canada : University of Toronto . Computer Systems Research Institute
   Google Scholar
• Etzioni , O. , Golden , K. and Weld , D. 1994 . Tractable closed world reasoning with updates , Technical Report 94-01-02 Seattle, WA : University of Washington, Computer Science Department . 98195. To appear in KR'94
   Google Scholar
• Etzioni , O. , Lesh , N. and Segal , R. 1993 . Building softbots for UNIX (preliminary report) , Technical Report 93-9-01 Seattle, WA : University of Washington . 98195. Computer Science Department
   Google Scholar
• Fodor , J. A. 1975 . The Language of Thought , New York : Thomas Y. Crowell .
   Google Scholar
• Forbus , K. D. and de Kleer , J. 1993 . Building Problem Solvers , Cambridge, MA : MIT Press .
   Google Scholar
• Genesereth , M. R. and Fikes , R. 1991 . Knowledge interchange format, version 2.2, reference manual , Technical Report Logic-90-4 Stanford, CA : Stanford University . 1991 version, 94305. Computer Science Department
   Google Scholar
• Goldman , R. P. and Lang , R. R. 1993 . Intentions in time , Technical Report TUTR 93-101 New Orleans, LA : Tulane University, Department of Computer Science . 70118
   Google Scholar
• Goodman , B. A. 1986 . Reference identification and reference identification failures . Computational Linguistics , 12 : 273 – 305 .
   Google Scholar
• Grice , H. P. 1975 . “ Logic and conversation ” . In Speech Acts , Syntax and Semantics 3: Edited by: Cole , P. and Morgan , J. L. New York : Academic Press .
   Google Scholar
• Grosz , B. J. , Jones , K. S. and Webber , B. L. , eds. 1986 . Readings in Natural Language Processing , Los Altos, CA : Morgan Kaufmann .
   Google Scholar
• Haas , A. R. 1986 . A syntactic theory of belief and action . Artificial Intelligence , 28 : 245 – 292 .
   Web of Science ®Google Scholar
• Heeman , P. A. and Hirst , G. 1992 . Collaborating on referring expressions , Technical Report TR 435 Rochester, NY : University of Rochester . Department of Computer Science
   Google Scholar
• Kaplan , D. 1968–69 . Quantifying in . Synthese , 19 : 178 – 214 .
   Google Scholar
• Kripke , S. 1977 . “ Speaker's reference and semantic reference ” . In Contemporary Perspectives in the Philosophy of Language , Edited by: French , P. A. Jr. , Uehling , T. E. and Wettstein , H. K. Minneapol is, MN : University of Minnesota Press .
   Google Scholar
• Levesque , H. J. 1986 . “ Making believers out of computers ” . In Artificial Intelligence 81 – 108 .
   Google Scholar
• Maida , A. S. 1991 . Maintaining mental models of agents who have existential misconceptions . Artificial Intelligence , 50 : 331 – 383 .
   Web of Science ®Google Scholar
• Maida , A. S. Knowledge representation requirements for description-based communication . Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference . 1992 . Edited by: Nebel , B. , Rich , C. and Swartout , W. pp. 232 – 243 . San Mateo, CA : Morgan Kaufmann .
   Google Scholar
• Maida , A. S. 1993 . Propositionally represent ing incomplete knowledge about existence . Journal of Experimental and Theoretical Artificial Intelligence , 5 : 185 – 197 .
   Web of Science ®Google Scholar
• McCarthy , J. 1990 . Elephant 2000: A programming language based on speech acts Unpublished manuscript
   Google Scholar
• McDermott , D. V. 1986 . Tarskian semantics, or no notation without denotation! . Cognitive Science , 2 : 277 – 282 . Reprinted in Grosz, et al
   Google Scholar
• Mellish , C. S. 1985 . Computer Interpretation of Natural Language Descriptions , Chichester : Ellis Horwood .
   Google Scholar
• Miller , M. and Perlis , D. Presentations of this and that: logic in action . Working Notes of AAAI Fall Symposium Series: Automated Deduction in Nonstandard Logics . A version of the paper also appears in the Proceedings of the 1993 Meeting of the Cognitive Science Society , Edited by: Jackson , In P. and Scherl , R. pp. 83 – 88 .
   Google Scholar
• Newell , A. and Steier , D. 1993 . Intelligence control of external software systems . Artificial Intelligence in Engineering , 8 : 3 – 21 .
   Google Scholar
• Nilsson , N. J. 1991 . Logic and artificial intelligence . Artificial Intelligence , 47 : 31 – 56 .
   Web of Science ®Google Scholar
• Perlis , D. 1985 . Languages with self-reference I: foundations (or we can have everything in first-order logic!) . Artificial Intelligence , 25 : 301 – 322 .
   Web of Science ®Google Scholar
• Psathas , G. 1991 . “ The structure of direction-giving interaction ” . In Talk and Social Structure , Edited by: Boden , D. and Zimmerman , D. H. 195 – 216 . Cambridge : Polity Press .
   Google Scholar
• Quine , W. V. 1956 . Quantifiers and propositional attitudes . The Journal of Philosophy , 53 : 177 – 187 .
   Web of Science ®Google Scholar
• Reiter , E. and Dale , R. A fast algorithm for the generation of referring expressions . Proceedings of the 14th Internat ional Conference on Computational Linguistics (COLING-92) . pp. 232 – 238 .
   Google Scholar
• Searle , J. R. 1969 . Speech Acts: An Essay in the Philosophy of Language , Cambridge : Cambridge University Press .
   Google Scholar
• Shoham , Y. 1993 . Agent-oriented programming . Artificial Intelligence , 3 : 51 – 92 .
   Google Scholar
• Singh , M. P. Towards a formal theory of communication for multiagent systems . Proceedings of the Twelfth International Conference on Artificial Intelligence . pp. 69 – 74 . San Mateo, CA : Morgan Kaufmann .
   Google Scholar
• Smith , B. C. 1985 . Reflection and semantics in a procedural language , The Massachusetts Institute of Technology . PhD thesis, Available as tech report: MIT/LCS/TR-272. Preface is reprinted in Brachman and Levesque
   Google Scholar
• Weizenbaum , J. 1966 . ELIZA—a computer program for the study of natural language communication between man and machine . Communications of the Association for Computing Machinery , 9 : 36 – 45 .
   Web of Science ®Google Scholar
• Winograd , T. 1972 . Understanding Natural Language , New York : Academic Press .
   Google Scholar
• Winograd , T. and Flores , F. 1987 . Understanding Computers and Cognition: A New Foundation for Design , Reading, MA : Addison-Wesley .
   Google Scholar