In this paper I argue that an intentional methodology is appropriate in the design of robot agents in cooperative planning domains–at least in those domains that are sufficiently open-ended to require extensive reasoning about the environment (including other agents).
An account of utterance interpretation in discourse needs to face the issue of how the discourse context controls the space of interacting preferences.
H.G. Barrow, Thomas D. Garvey, Jan H. Kremers, J.M. Tenenbaum, & H.C. Wolf
This report covers the six-month period October 1975 to April 1976. In this report, the application areas of ARPA-supported Machine Vision work at SRI were changed to Cartography and Photointerpretation.
Stuart M. Shieber, Lauri Karttunen, Fernando C. N. Pereira, & Martin Kay
This report is the second compilation of papers by members of the PATR group at SRI International and collaborators reporting on ongoing research on both practical and theoretical issues concerning grammar formalisms.
Stuart M. Shieber, Lauri Karttunen, & Fernando C. N. Pereira
This report is a compilation of papers by the PATR group in the Artificial Intelligence Center at SRI International reporting on ongoing research on both practical and theoretical issues concerning grammar formalisms.
Default logic is a formal means of reasoning about defaults: what normally is the case, in the absence of contradicting information. Autoepistemic logic, on the other hand, is meant to describe the consequences of reasoning about ignorance: what must be true if a certain fact is not known
